 | 2009 |
|---|
| 13 |       | Tetsuya Mizutani,
Shigeru Igarashi,
Yasuwo Ikeda,
Masayuki Shio:
Formal Analysis of an Airplane Accident in NSigma-Labeled Calculus.
AICI 2009: 469-478 |
| 12 | | 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 |
|---|
| 11 | | 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 |
|---|
| 10 | | Tetsuya Mizutani,
Shigeru Igarashi,
Yasuwo Ikeda,
Masayuki Shio:
Labeled @-Calculus: Formalism for Time-Concerned Human Factors.
AISC 2006: 25-39 |
| 2001 |
|---|
| 9 | | Tetsuya Mizutani,
Shigeru Igarashi,
Masayuki Shio:
Representation of a Discretely Controlled Continuous System in Tense Arithmetic.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
| 1997 |
|---|
| 8 |  | Tetsuya Mizutani,
Shigeru Igarashi,
Kohji Tomita,
Masayuki Shio:
Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis.
ASIAN 1997: 110-120 |
| 1996 |
|---|
| 7 | | Shigeru Igarashi,
Masayuki Shio,
Tetsuya Shirogane,
Tetsuya Mizutani:
Formal Verification and Evaluation of Execution Time in the Envelope Theory.
ASIAN 1996: 299-308 |
| 6 | | Shigeru Igarashi,
Tetsuya Mizutani,
Tetsuya Shirogane,
Masayuki Shio:
Formal Analysis for Continous Systems Controlled by Programs.
ASIAN 1996: 347-348 |
| 1994 |
|---|
| 5 | | Shigeru Igarashi,
Tetsuya Mizutani,
Takashi Tsuji,
Chiharu Hosono:
On Locomorphism in Analytical Equivalence Theory.
Logic, Language and Computation 1994: 173-187 |
| 4 | | Kohji Tomita,
Takashi Tsuji,
Shigeru Igarashi:
Analysis of a Software/Hardware System by Tense Arithmetic.
Logic, Language and Computation 1994: 188-205 |
| 1983 |
|---|
| 3 | | Shigeru Igarashi:
The nu-Conversion and an Analytic Semantics.
IFIP Congress 1983: 769-774 |
| 1974 |
|---|
| 2 | | 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 |
|---|
| 1 | | Shigeru Igarashi:
Admissibility of fixed-point induction in first- order logic of typed theories.
International Sympoisum on Theoretical Programming 1972: 344-383 |
