Search the dblp DataBase

Publications of Author

1. Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
   Labeled @-Calculus: Formalism for Time-Concerned Human Factors. [Citation Graph (0, 0)][DBLP]
   AISC, 2006, pp:25-39 [Conf]
   
2. Yasuwo Ikeda, Kohji Tomita, Chiharu Hosono
   On the elimination of some higher type quantifiers. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2001, v:11, n:6, pp:771-779 [Journal]
   
3. Chiharu Hosono, Yasuwo Ikeda
   A Formal Derivation of the Decidability of the Theory SA. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:127, n:1, pp:1-23 [Journal]
   
4. 
   Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus. [Citation Graph (, )][DBLP]
   
   
5. 
   Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal. [Citation Graph (, )][DBLP]
   
   
6. 
   Formal Analysis of an Airplane Accident in NSigma-Labeled Calculus. [Citation Graph (, )][DBLP]