Shigeru Igarashi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2012

Expressive Secondo Performances of a Realtime Person-Computer Ensemble SystemTetsuya Mizutani, Yuki Shinagawa, Naoki Murakami, Shigeru Igarashi. aici 2012: 1-8 [doi]

2011

A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble SystemTetsuya Mizutani, Keita Nishiyama, Shigeru Igarashi. aici 2011: 9-17 [doi]

2010

A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive PerformanceTetsuya Mizutani, Shigeru Igarashi, Tatsuo Suzuki, Yasuwo Ikeda, Masayuki Shio. aici 2010: 256-265 [doi]

2009

Formal Analysis of an Airplane Accident in ::::N::::Sigma-Labeled CalculusTetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio. aici 2009: 469-478 [doi]

Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled CalculusTetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio. tase 2009: 311-312 [doi]

2008

Human factors in continuous time-concerned cooperative systems represented by ::::N:::: Sigma-labeled calculusTetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda. fcsc, 2(1):22-28, 2008. [doi]

2006

Labeled @-Calculus: Formalism for Time-Concerned Human FactorsTetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio. AISC 2006: 25-39 [doi]

2001

Representation of a Discretely Controlled Continuous System in Tense ArithmeticTetsuya Mizutani, Shigeru Igarashi, Masayuki Shio. TCS, 42:220-231, 2001. [doi]

2000

Musical Analysis of a Computer Music Project, by Computer-Assistance, for Computer Music ApplicationsJianli Liu, Rumi Hiraga, Shigeru Igarashi. icmc 2000: [doi]

1999

A Computer-Assisted Music Analysis System: DaphneJianli Liu, Rumi Hiraga, Shigeru Igarashi. icmc 1999: [doi]

1997

Psyche: University of Tsukuba, Computer Music ProjectRumi Hiraga, Shigeru Igarashi. icmc 1997: [doi]

Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal AnalysisTetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio. asian 1997: 110-120

1996

Visualized Music Experssions in an Object-Oriented EnvironmentRumi Hiraga, Shigeru Igarashi, Yohei Matsuura. icmc 1996: [doi]

Formal Analysis for Continous Systems Controlled by ProgramsShigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio. asian 1996: 347-348

Formal Verification and Evaluation of Execution Time in the Envelope TheoryShigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani. asian 1996: 299-308

1994

On Locomorphism in Analytical Equivalence TheoryShigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono. BIRTHDAY 1994: 173-187

Analysis of a Software/Hardware System by Tense ArithmeticKohji Tomita, Takashi Tsuji, Shigeru Igarashi. BIRTHDAY 1994: 188-205

1993

Experiments on Computerized Piano AccompanimentShigeru Igarashi, Takashi Tsuji, Tetsuya Mizutani, Tsuyoshi Haraguchi. icmc 1993: [doi]

1986

Three-dimensional underwater imaging method - synthetic aperture image holography using an acoustic lensTomomasa Sato, Shigeru Igarashi. icassp 1986: 2871-2874 [doi]

1983

The nu-Conversion and an Analytic SemanticsShigeru Igarashi. ifip 1983: 769-774

1974

Automatic Program Verification I: A Logical Basis and its ImplementationShigeru Igarashi, Ralph L. London, David C. Luckham. ACTA, 4:145-182, 1974.

1972

Admissibility of fixed-point induction in first- order logic of typed theoriesShigeru Igarashi. ershov 1974: 344-383

1971

Semantics of algol-like statementsShigeru Igarashi. In Erwin Engeler, editor, Symposium on Semantics of Algorithmic Languages. Volume 188 of Lecture Notes in Mathematics, pages 117-177, Springer, 1971. [doi]

Sign in or sign up to see more results.

runs on WebDSL