Semantics of algol-like statements. - Shigeru Igarashi (Symposium on Semantics of Algorithmic Languages, 1971)

Admissibility of fixed-point induction in first- order logic of typed theories. - Shigeru Igarashi (International Sympoisum on Theoretical Programming, 1972)

Automatic Program Verification I: A Logical Basis and its Implementation. - Shigeru Igarashi; Ralph L. London; David C. Luckham (Acta Informatica, 1974)

The nu-Conversion and an Analytic Semantics. - Shigeru Igarashi (IFIP Congress, 1983)

Three-dimensional underwater imaging method - synthetic aperture image holography using an acoustic lens. - Tomomasa Sato; Shigeru Igarashi (ICASSP, 1986)

Experiments on Computerized Piano Accompaniment. - Shigeru Igarashi; Takashi Tsuji; Tetsuya Mizutani; Tsuyoshi Haraguchi (ICMC, 1993)

On Locomorphism in Analytical Equivalence Theory. - Shigeru Igarashi; Tetsuya Mizutani; Takashi Tsuji; Chiharu Hosono (Logic, Language and Computation, 1994)

Analysis of a Software/Hardware System by Tense Arithmetic. - Kohji Tomita; Takashi Tsuji; Shigeru Igarashi (Logic, Language and Computation, 1994)

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)

Visualized Music Experssions in an Object-Oriented Environment. - Rumi Hiraga; Shigeru Igarashi; Yohei Matsuura (ICMC, 1996)

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

Psyche: University of Tsukuba, Computer Music Project. - Rumi Hiraga; Shigeru Igarashi (ICMC, 1997)

A Computer-Assisted Music Analysis System: Daphne. - Jianli Liu; Rumi Hiraga; Shigeru Igarashi (ICMC, 1999)

Musical Analysis of a Computer Music Project, by Computer-Assistance, for Computer Music Applications. - Jianli Liu; Rumi Hiraga; Shigeru Igarashi (ICMC, 2000)

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)

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)

A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble System. - Tetsuya Mizutani; Keita Nishiyama; Shigeru Igarashi (AICI (1), 2011)

Expressive Secondo Performances of a Realtime Person-Computer Ensemble System. - Tetsuya Mizutani; Yuki Shinagawa; Naoki Murakami; Shigeru Igarashi (AICI, 2012)