Experiments on Computerized Piano Accompaniment. - Shigeru Igarashi; Takashi Tsuji; Tetsuya Mizutani; Tsuyoshi Haraguchi (ICMC, 1993)

On Locomorphism in Analytical Equivalence Theory. - Shigeru Igarashi; Tetsuya Mizutani; Takashi Tsuji; Chiharu Hosono (Logic, Language and Computation, 1994)

Formal Analysis for Continous Systems Controlled by Programs. - Shigeru Igarashi; Tetsuya Mizutani; Tetsuya Shirogane; Masayuki Shio (ASIAN, 1996)

Formal Verification and Evaluation of Execution Time in the Envelope Theory. - Shigeru Igarashi; Masayuki Shio; Tetsuya Shirogane; Tetsuya Mizutani (ASIAN, 1996)

Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. - Tetsuya Mizutani; Shigeru Igarashi; Kohji Tomita; Masayuki Shio (ASIAN, 1997)

Representation of a Discretely Controlled Continuous System in Tense Arithmetic. - Tetsuya Mizutani; Shigeru Igarashi; Masayuki Shio (CATS, 2001)

Labeled @-Calculus: Formalism for Time-Concerned Human Factors. - Tetsuya Mizutani; Shigeru Igarashi; Yasuwo Ikeda; Masayuki Shio (AISC, 2006)

Human factors in continuous time-concerned cooperative systems represented by N Sigma-labeled calculus. - Tetsuya Mizutani; Shigeru Igarashi; Masayuki Shio; Yasuwo Ikeda (Frontiers Comput. Sci. China, 2008)

Formal Analysis of an Airplane Accident in NSigma-Labeled Calculus. - Tetsuya Mizutani; Shigeru Igarashi; Yasuwo Ikeda; Masayuki Shio (AICI, 2009)

Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus. - Tetsuya Mizutani; Shigeru Igarashi; Yasuwo Ikeda; Masayuki Shio (TASE, 2009)

Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal. - Tetsuya Mizutani; Tatsuo Suzuki; Masayuki Shio; Yasuwo Ikeda (TASE, 2009)

A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance. - Tetsuya Mizutani; Shigeru Igarashi; Tatsuo Suzuki; Yasuwo Ikeda; Masayuki Shio (AICI (1), 2010)

A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble System. - Tetsuya Mizutani; Keita Nishiyama; Shigeru Igarashi (AICI (1), 2011)

Expressive Secondo Performances of a Realtime Person-Computer Ensemble System. - Tetsuya Mizutani; Yuki Shinagawa; Naoki Murakami; Shigeru Igarashi (AICI, 2012)

A Data Cleansing System for Musical Expression Analysis. - Tetsuya Mizutani; Kei Hasegawa (ICCCM, 2020)

A Linear Regression Analysis of Musical Expressions using the Implication-Realization Model. - Tetsuya Mizutani; Shigefumi Sasaki (ICCCM, 2021)

Audio Feature Extraction for DTW-based Audio-to-Score Alignment. - Yifan Ding; Tetsuya Mizutani (ICCCM, 2022)

Peak Picking Multiple Onset Detection Functions Using Recurrent Neural Networks. - Mobai Xuan; Tetsuya Mizutani (ICCCM, 2022)

Analysis of Performance Expressions Using Sequential Tension Values. - Shingo Miura; Tetsuya Mizutani (CSAE, 2023)

Style Transfer of Musical Performance Expression Using Note Classification Based on the Implication-Realization Model. - Tetsuya Mizutani; Shigefumi Sasaki (CSAE, 2023)

Computational Analysis of Jazz Music: Estimating Tonality through Chord Progression Distances. - Yuta Yamamoto; Tetsuya Mizutani (CSAE, 2023)

Defining the Height of Time-Span Trees in GTTM in terms of Prolongational Tree Generation. - Fuka Horiguchi; Tetsuya Mizutani (CSAE, 2024)

A Fine-tuning Method for Automatic Chord Estimation Using the Foundation Model. - Junnosuke Mimura; Tetsuya Mizutani (CSAE, 2024)