Shigeru Igarashi

According to our database, Shigeru Igarashi authored at least 23 papers between 1971 and 2012.

Collaborative distances:

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

2012

Expressive Secondo Performances of a Realtime Person-Computer Ensemble System.

Tetsuya Mizutani, Yuki Shinagawa, Naoki Murakami, Shigeru Igarashi

Proceedings of the Artificial Intelligence and Computational Intelligence, 2012

2011

A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble System.

Tetsuya Mizutani, Keita Nishiyama, Shigeru Igarashi

Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

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 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

Representation of a Discretely Controlled Continuous System in Tense Arithmetic.

Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio

Proceedings of the Computing: The Australasian Theory Symposium, 2001

2000

Musical Analysis of a Computer Music Project, by Computer-Assistance, for Computer Music Applications.

Jianli Liu, Rumi Hiraga, Shigeru Igarashi

Proceedings of the 2000 International Computer Music Conference, 2000

1999

A Computer-Assisted Music Analysis System: Daphne.

Jianli Liu, Rumi Hiraga, Shigeru Igarashi

Proceedings of the 1999 International Computer Music Conference, 1999

1997

Psyche: University of Tsukuba, Computer Music Project.

Rumi Hiraga, Shigeru Igarashi

Proceedings of the 1997 International Computer Music Conference, 1997

Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis.

Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio

Proceedings of the Advances in Computing Science, 1997

1996

Visualized Music Experssions in an Object-Oriented Environment.

Rumi Hiraga, Shigeru Igarashi, Yohei Matsuura

Proceedings of the 1996 International Computer Music Conference, 1996

Formal Verification and Evaluation of Execution Time in the Envelope Theory.

Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani

Proceedings of the Concurrency and Parallelism, 1996

Formal Analysis for Continous Systems Controlled by Programs.

Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio

Proceedings of the Concurrency and Parallelism, 1996

1994

Analysis of a Software/Hardware System by Tense Arithmetic.

Kohji Tomita, Takashi Tsuji, Shigeru Igarashi

Proceedings of the Logic, 1994

On Locomorphism in Analytical Equivalence Theory.

Shigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono

Proceedings of the Logic, 1994

1993

Experiments on Computerized Piano Accompaniment.

Shigeru Igarashi, Takashi Tsuji, Tetsuya Mizutani, Tsuyoshi Haraguchi

Proceedings of the Opening a New Horizon: Proceedings of the 1993 International Computer Music Conference, 1993

1986

Three-dimensional underwater imaging method - synthetic aperture image holography using an acoustic lens.

Tomomasa Sato, Shigeru Igarashi

Proceedings of the IEEE International Conference on Acoustics, 1986

1983

The nu-Conversion and an Analytic Semantics.

Shigeru Igarashi

Proceedings of the Information Processing 83, 1983

1974

Automatic Program Verification I: A Logical Basis and its Implementation.

Shigeru Igarashi, Ralph L. London, David C. Luckham

Acta Informatica, 1974

1972

Admissibility of fixed-point induction in first- order logic of typed theories.

Shigeru Igarashi

Proceedings of the International Sympoisum on Theoretical Programming, 1972

1971

Semantics of algol-like statements.

Shigeru Igarashi

Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971