Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits. - Nagisa Ishiura; Mizuki Takahashi; Shuzo Yajima (DAC, 1989)

A Scheduling Method for Synchronous Communication in the Bach Hardware Compiler. - Ryoji Sakurai; Mizuki Takahashi; Andrew Kay; Akihisa Yamada 001; Tetsuya Fujimoto; Takashi Kambe (ASP-DAC, 1999)

Thread partitioning method for hardware compiler bach. - Mizuki Takahashi; Nagisa Ishiura; Akihisa Yamada 001; Takashi Kambe (ASP-DAC, 2000)

Multiagent system for joke generation: Humor and emotions combined in human-agent conversation. - Pawel Dybala; Michal Ptaszynski; Jacek Maciejewski; Mizuki Takahashi; Rafal Rzepka; Kenji Araki (J. Ambient Intell. Smart Environ., 2010)