Formal Analysis for Continous Systems Controlled by Programs. - Shigeru Igarashi; Tetsuya Mizutani; Tetsuya Shirogane; Masayuki Shio (ASIAN, 1996)

Formal Verification and Evaluation of Execution Time in the Envelope Theory. - Shigeru Igarashi; Masayuki Shio; Tetsuya Shirogane; Tetsuya Mizutani (ASIAN, 1996)

Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. - Tetsuya Mizutani; Shigeru Igarashi; Kohji Tomita; Masayuki Shio (ASIAN, 1997)

Representation of a Discretely Controlled Continuous System in Tense Arithmetic. - Tetsuya Mizutani; Shigeru Igarashi; Masayuki Shio (CATS, 2001)

Labeled @-Calculus: Formalism for Time-Concerned Human Factors. - Tetsuya Mizutani; Shigeru Igarashi; Yasuwo Ikeda; Masayuki Shio (AISC, 2006)

Human factors in continuous time-concerned cooperative systems represented by N Sigma-labeled calculus. - Tetsuya Mizutani; Shigeru Igarashi; Masayuki Shio; Yasuwo Ikeda (Frontiers Comput. Sci. China, 2008)

Formal Analysis of an Airplane Accident in NSigma-Labeled Calculus. - Tetsuya Mizutani; Shigeru Igarashi; Yasuwo Ikeda; Masayuki Shio (AICI, 2009)

Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus. - Tetsuya Mizutani; Shigeru Igarashi; Yasuwo Ikeda; Masayuki Shio (TASE, 2009)

Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal. - Tetsuya Mizutani; Tatsuo Suzuki; Masayuki Shio; Yasuwo Ikeda (TASE, 2009)

A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance. - Tetsuya Mizutani; Shigeru Igarashi; Tatsuo Suzuki; Yasuwo Ikeda; Masayuki Shio (AICI (1), 2010)