Masayuki Shio

Publication Activity (10 Years)

Years Active: 1996-2010
Publications (10 Years): 0

Publications

Tetsuya Mizutani, Shigeru Igarashi, Tatsuo Suzuki, Yasuwo Ikeda, Masayuki Shio
A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance. AICI (1) (2010)
Tetsuya Mizutani, Tatsuo Suzuki, Masayuki Shio, Yasuwo Ikeda
Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal. TASE (2009)
Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus. TASE (2009)
Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
Sigma-Labeled Calculus. AICI (2009)
Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda
Sigma-labeled calculus. Frontiers Comput. Sci. China 2 (1) (2008)
Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
Labeled @-Calculus: Formalism for Time-Concerned Human Factors. AISC (2006)
Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio
Representation of a Discretely Controlled Continuous System in Tense Arithmetic. Electron. Notes Theor. Comput. Sci. 42 (2001)
Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio
Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. ASIAN (1997)
Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio
Formal Analysis for Continous Systems Controlled by Programs. ASIAN (1996)
Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani
Formal Verification and Evaluation of Execution Time in the Envelope Theory. ASIAN (1996)