Masayuki Shio

According to our database, Masayuki Shio authored at least 10 papers between 1996 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance.

Tetsuya Mizutani, Shigeru Igarashi, Tatsuo Suzuki, Yasuwo Ikeda, Masayuki Shio

Proceedings of the Artificial Intelligence and Computational Intelligence, 2010

2009

Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal.

Tetsuya Mizutani, Tatsuo Suzuki, Masayuki Shio, Yasuwo Ikeda

Proceedings of the TASE 2009, 2009

Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus.

Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio

Proceedings of the TASE 2009, 2009

Formal Analysis of an Airplane Accident in <i>N</i>Sigma-Labeled Calculus.

Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio

Proceedings of the Artificial Intelligence and Computational Intelligence, 2009

2008

Human factors in continuous time-concerned cooperative systems represented by <i>N</i> Sigma-labeled calculus.

Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda

Frontiers Comput. Sci. China, 2008

2006

Labeled @-Calculus: Formalism for Time-Concerned Human Factors.

Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2001

Representation of a Discretely Controlled Continuous System in Tense Arithmetic.

Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio

Proceedings of the Computing: The Australasian Theory Symposium, 2001

1997

Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis.

Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio

Proceedings of the Advances in Computing Science, 1997

1996

Formal Verification and Evaluation of Execution Time in the Envelope Theory.

Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani

Proceedings of the Concurrency and Parallelism, 1996

Formal Analysis for Continous Systems Controlled by Programs.

Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio

Proceedings of the Concurrency and Parallelism, 1996