| |
| 2008 | ||
|---|---|---|
| 4 | EE | 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 | EE | 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) | |
| 1 | Chiharu Hosono | [1] [2] |
| 2 | Shigeru Igarashi | [3] [4] |
| 3 | Tetsuya Mizutani | [3] [4] |
| 4 | Masayuki Shio | [3] [4] |
| 5 | Kohji Tomita | [2] |