Shigeru Igarashi

23 papers Misc 3Journal 2Unranked 17

Year	Rank	Type	Title / Venue / Authors
2012	—	`conf`	Expressive Secondo Performances of a Realtime Person-Computer Ensemble System. AICI Tetsuya Mizutani, Yuki Shinagawa, Naoki Murakami, Shigeru Igarashi
2011	—	`conf`	A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble System. AICI (1) Tetsuya Mizutani, Keita Nishiyama, Shigeru Igarashi
2010	—	`conf`	A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance. AICI (1) Tetsuya Mizutani, Shigeru Igarashi, Tatsuo Suzuki, Yasuwo Ikeda, Masayuki Shio
2009	—	`conf`	Formal Analysis of an Airplane Accident in AICI Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
2009	Misc	`conf`	Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus. TASE Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
2008	J	`jnl`	Human factors in continuous time-concerned cooperative systems represented by Frontiers Comput. Sci. China Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda
2006	Misc	`conf`	Labeled @-Calculus: Formalism for Time-Concerned Human Factors. AISC Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
2001	—	`conf`	Representation of a Discretely Controlled Continuous System in Tense Arithmetic. CATS Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio
2000	—	`conf`	Musical Analysis of a Computer Music Project, by Computer-Assistance, for Computer Music Applications. ICMC Jianli Liu, Rumi Hiraga, Shigeru Igarashi
1999	—	`conf`	A Computer-Assisted Music Analysis System: Daphne. ICMC Jianli Liu, Rumi Hiraga, Shigeru Igarashi
1997	—	`conf`	Psyche: University of Tsukuba, Computer Music Project. ICMC Rumi Hiraga, Shigeru Igarashi
1997	—	`conf`	Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. ASIAN Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio
1996	—	`conf`	Formal Analysis for Continous Systems Controlled by Programs. ASIAN Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio
1996	—	`conf`	Formal Verification and Evaluation of Execution Time in the Envelope Theory. ASIAN Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani
1996	—	`conf`	Visualized Music Experssions in an Object-Oriented Environment. ICMC Rumi Hiraga, Shigeru Igarashi, Yohei Matsuura
1994	—	`conf`	Analysis of a Software/Hardware System by Tense Arithmetic. Logic, Language and Computation Kohji Tomita, Takashi Tsuji, Shigeru Igarashi
1994	—	`conf`	On Locomorphism in Analytical Equivalence Theory. Logic, Language and Computation Shigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono
1993	—	`conf`	Experiments on Computerized Piano Accompaniment. ICMC Shigeru Igarashi, Takashi Tsuji, Tetsuya Mizutani, Tsuyoshi Haraguchi
1986	Misc	`conf`	Three-dimensional underwater imaging method - synthetic aperture image holography using an acoustic lens. ICASSP Tomomasa Sato, Shigeru Igarashi
1983	—	`conf`	The nu-Conversion and an Analytic Semantics. IFIP Congress Shigeru Igarashi
1974	J	`jnl`	Automatic Program Verification I: A Logical Basis and its Implementation. Acta Informatica Shigeru Igarashi, Ralph L. London, David C. Luckham
1972	—	`conf`	Admissibility of fixed-point induction in first- order logic of typed theories. International Sympoisum on Theoretical Programming Shigeru Igarashi
1971	—	`ch.`	Semantics of algol-like statements. Symposium on Semantics of Algorithmic Languages Shigeru Igarashi