- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c13 |      | Tetsuya Mizutani, Yuki Shinagawa, Naoki Murakami, Shigeru Igarashi: Expressive Secondo Performances of a Realtime Person-Computer Ensemble System. AICI 2012: 1-8 |
| 2011 | ||
| c12 | | Tetsuya Mizutani, Keita Nishiyama, Shigeru Igarashi: A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble System. AICI (1) 2011: 9-17 |
| 2010 | ||
| c11 | | 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: 256-265 |
| 2009 | ||
| c10 | | Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio: Formal Analysis of an Airplane Accident in NSigma-Labeled Calculus. AICI 2009: 469-478 |
| c9 | | Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio: Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus. TASE 2009: 311-312 |
| 2008 | ||
| j3 | | Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda: Human factors in continuous time-concerned cooperative systems represented by N Sigma-labeled calculus. Frontiers of Computer Science in China 2(1): 22-28 (2008) |
| 2006 | ||
| c8 | | Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio: Labeled @-Calculus: Formalism for Time-Concerned Human Factors. AISC 2006: 25-39 |
| 2001 | ||
| j2 | | Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio: Representation of a Discretely Controlled Continuous System in Tense Arithmetic. Electr. Notes Theor. Comput. Sci. 42: 220-231 (2001) |
| 1997 | ||
| c7 | | Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio: Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. ASIAN 1997: 110-120 |
| 1996 | ||
| c6 | | Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani: Formal Verification and Evaluation of Execution Time in the Envelope Theory. ASIAN 1996: 299-308 |
| c5 | | Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio: Formal Analysis for Continous Systems Controlled by Programs. ASIAN 1996: 347-348 |
| 1994 | ||
| c4 | | Shigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono: On Locomorphism in Analytical Equivalence Theory. Logic, Language and Computation 1994: 173-187 |
| c3 | | Kohji Tomita, Takashi Tsuji, Shigeru Igarashi: Analysis of a Software/Hardware System by Tense Arithmetic. Logic, Language and Computation 1994: 188-205 |
| 1983 | ||
| c2 |  | |
| 1974 | ||
| j1 | | Shigeru Igarashi, Ralph L. London, David C. Luckham: Automatic Program Verification I: A Logical Basis and its Implementation. Acta Inf. 4: 145-182 (1974) |
| 1972 | ||
| c1 | | Shigeru Igarashi: Admissibility of fixed-point induction in first- order logic of typed theories. International Sympoisum on Theoretical Programming 1972: 344-383 |
| 1971 | ||
| p1 | | Shigeru Igarashi: Semantics of algol-like statements. Symposium on Semantics of Algorithmic Languages 1971: 117-177 |
Colors in the list of coauthors
Last update Sat May 18 13:14:12 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page