Shigeru Igarashi

Publication Activity (10 Years)

Years Active: 1972-2012
Publications (10 Years): 0

Top Topics

Ensemble Learning

Top Venues

Publications

Tetsuya Mizutani, Yuki Shinagawa, Naoki Murakami, Shigeru Igarashi
Expressive Secondo Performances of a Realtime Person-Computer Ensemble System. AICI (2012)
Tetsuya Mizutani, Keita Nishiyama, Shigeru Igarashi
A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble System. AICI (1) (2011)
Tetsuya Mizutani, Shigeru Igarashi, Tatsuo Suzuki, Yasuwo Ikeda, Masayuki Shio
A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance. AICI (1) (2010)
Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus. TASE (2009)
Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
Sigma-Labeled Calculus. AICI (2009)
Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda
Sigma-labeled calculus. Frontiers Comput. Sci. China 2 (1) (2008)
Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
Labeled @-Calculus: Formalism for Time-Concerned Human Factors. AISC (2006)
Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio
Representation of a Discretely Controlled Continuous System in Tense Arithmetic. Electron. Notes Theor. Comput. Sci. 42 (2001)
Jianli Liu, Rumi Hiraga, Shigeru Igarashi
Musical Analysis of a Computer Music Project, by Computer-Assistance, for Computer Music Applications. ICMC (2000)
Jianli Liu, Rumi Hiraga, Shigeru Igarashi
A Computer-Assisted Music Analysis System: Daphne. ICMC (1999)
Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio
Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. ASIAN (1997)
Rumi Hiraga, Shigeru Igarashi
Psyche: University of Tsukuba, Computer Music Project. ICMC (1997)
Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio
Formal Analysis for Continous Systems Controlled by Programs. ASIAN (1996)
Rumi Hiraga, Shigeru Igarashi, Yohei Matsuura
Visualized Music Experssions in an Object-Oriented Environment. ICMC (1996)
Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani
Formal Verification and Evaluation of Execution Time in the Envelope Theory. ASIAN (1996)
Kohji Tomita, Takashi Tsuji, Shigeru Igarashi
Analysis of a Software/Hardware System by Tense Arithmetic. Logic, Language and Computation (1994)
Shigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono
On Locomorphism in Analytical Equivalence Theory. Logic, Language and Computation (1994)
Shigeru Igarashi, Takashi Tsuji, Tetsuya Mizutani, Tsuyoshi Haraguchi
Experiments on Computerized Piano Accompaniment. ICMC (1993)
Tomomasa Sato, Shigeru Igarashi
Three-dimensional underwater imaging method - synthetic aperture image holography using an acoustic lens. ICASSP (1986)
Shigeru Igarashi
The nu-Conversion and an Analytic Semantics. IFIP Congress (1983)
Shigeru Igarashi, Ralph L. London, David C. Luckham
Automatic Program Verification I: A Logical Basis and its Implementation. Acta Informatica 4 (1974)
Shigeru Igarashi
Admissibility of fixed-point induction in first- order logic of typed theories. International Sympoisum on Theoretical Programming (1972)