Yasuwo Ikeda

According to our database, Yasuwo Ikeda authored at least 8 papers between 1994 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance.

Tetsuya Mizutani, Shigeru Igarashi, Tatsuo Suzuki, Yasuwo Ikeda, Masayuki Shio

Proceedings of the Artificial Intelligence and Computational Intelligence, 2010

2009

Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal.

Tetsuya Mizutani, Tatsuo Suzuki, Masayuki Shio, Yasuwo Ikeda

Proceedings of the TASE 2009, 2009

Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus.

Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio

Proceedings of the TASE 2009, 2009

Formal Analysis of an Airplane Accident in <i>N</i>Sigma-Labeled Calculus.

Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio

Proceedings of the Artificial Intelligence and Computational Intelligence, 2009

2008

Human factors in continuous time-concerned cooperative systems represented by <i>N</i> Sigma-labeled calculus.

Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda

Frontiers Comput. Sci. China, 2008

2006

Labeled @-Calculus: Formalism for Time-Concerned Human Factors.

Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2001

On the elimination of some higher type quantifiers.

Yasuwo Ikeda, Kohji Tomita, Chiharu Hosono

Math. Struct. Comput. Sci., 2001

1994

A Formal Derivation of the Decidability of the Theory SA.

Chiharu Hosono, Yasuwo Ikeda

Theor. Comput. Sci., 1994