Shigeru Igarashi

According to our database1, Shigeru Igarashi
  • authored at least 22 papers between 1971 and 2012.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Expressive Secondo Performances of a Realtime Person-Computer Ensemble System.
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.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

2010
A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2010

2009
Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus.
Proceedings of the TASE 2009, 2009

Formal Analysis of an Airplane Accident in NSigma-Labeled Calculus.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2009

2008
Human factors in continuous time-concerned cooperative systems represented by N Sigma-labeled calculus.
Frontiers of Computer Science in China, 2008

2006
Labeled @-Calculus: Formalism for Time-Concerned Human Factors.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2001
Representation of a Discretely Controlled Continuous System in Tense Arithmetic.
Electr. Notes Theor. Comput. Sci., 2001

2000
Musical Analysis of a Computer Music Project, by Computer-Assistance, for Computer Music Applications.
Proceedings of the 2000 International Computer Music Conference, 2000

1999
A Computer-Assisted Music Analysis System: Daphne.
Proceedings of the 1999 International Computer Music Conference, 1999

1997
Psyche: University of Tsukuba, Computer Music Project.
Proceedings of the 1997 International Computer Music Conference, 1997

Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis.
Proceedings of the Advances in Computing Science, 1997

1996
Visualized Music Experssions in an Object-Oriented Environment.
Proceedings of the 1996 International Computer Music Conference, 1996

Formal Verification and Evaluation of Execution Time in the Envelope Theory.
Proceedings of the Concurrency and Parallelism, 1996

Formal Analysis for Continous Systems Controlled by Programs.
Proceedings of the Concurrency and Parallelism, 1996

1994
Analysis of a Software/Hardware System by Tense Arithmetic.
Proceedings of the Logic, 1994

On Locomorphism in Analytical Equivalence Theory.
Proceedings of the Logic, 1994

1993
Experiments on Computerized Piano Accompaniment.
Proceedings of the Opening a New Horizon: Proceedings of the 1993 International Computer Music Conference, 1993

1983
The nu-Conversion and an Analytic Semantics.
IFIP Congress, 1983

1974
Automatic Program Verification I: A Logical Basis and its Implementation.
Acta Inf., 1974

1972
Admissibility of fixed-point induction in first- order logic of typed theories.
Proceedings of the International Sympoisum on Theoretical Programming, 1972

1971
Semantics of algol-like statements.
Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971


  Loading...