 | 2009 |
|---|
| 7 |       | Tetsuya Mizutani,
Shigeru Igarashi,
Yasuwo Ikeda,
Masayuki Shio:
Formal Analysis of an Airplane Accident in NSigma-Labeled Calculus.
AICI 2009: 469-478 |
| 6 | | Tetsuya Mizutani,
Tatsuo Suzuki,
Masayuki Shio,
Yasuwo Ikeda:
Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal.
TASE 2009: 303-304 |
| 5 | | 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 |
|---|
| 4 | | 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 |
|---|
| 3 | | Tetsuya Mizutani,
Shigeru Igarashi,
Yasuwo Ikeda,
Masayuki Shio:
Labeled @-Calculus: Formalism for Time-Concerned Human Factors.
AISC 2006: 25-39 |
| 2001 |
|---|
| 2 |  | Yasuwo Ikeda,
Kohji Tomita,
Chiharu Hosono:
On the elimination of some higher type quantifiers.
Mathematical Structures in Computer Science 11(6): 771-779 (2001) |
| 1994 |
|---|
| 1 | | Chiharu Hosono,
Yasuwo Ikeda:
A Formal Derivation of the Decidability of the Theory SA.
Theor. Comput. Sci. 127(1): 1-23 (1994) |
