On Description and Reasoning About Hybrid Systems. - Katsunori Nakamura; Akira Fusaoka (IEA/AIE, 2004)

On Transfinite Hybrid Automata. - Katsunori Nakamura; Akira Fusaoka (HSCC, 2005)

On a Linear Framework for Belief Dynamics in Multi-agent Environments. - Akira Fusaoka; Katsunori Nakamura; Mitsunari Sato (CLIMA, 2006)

Reasoning About Hybrid Systems Based on a Nonstandard Model. - Katsunori Nakamura; Akira Fusaoka (Australian Conference on Artificial Intelligence, 2007)

An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata. - Katsunori Nakamura; Akira Fusaoka (HSCC, 2009)

On A Nonstandard Model of Hybrid Automaton. - Katsunori Nakamura; Akira Fusaoka (CCA, 2010)