LMNtal as a Unifying Declarative Language: Live Demonstration. - Kazunori Ueda; Norio Kato; Koji Hara; Ken Mizuno (ICLP, 2006)

Reducing Rollbacks of Transactional Memory Using Ordered Shared Locks. - Ken Mizuno; Takuya Nakaike; Toshio Nakatani (Euro-Par, 2009)

Parallel programming framework for large batch transaction processing on scale-out systems. - Kazuaki Ishizaki; Ken Mizuno; Toshio Suganuma; Daniel Silva 001; Akira Koseki; Hideaki Komatsu; Yohei Ueda; Toshio Nakatani (SYSTOR, 2010)

Enabling Analysis and Measurement of Conventional Software Development Documents Using Project-Specific Formalism. - Taiga Nakamura; Hironori Takeuchi; Futoshi Iwama; Ken Mizuno (IWSM/Mensura, 2011)

Distributed and fault-tolerant execution framework for transaction processing. - Toshio Suganuma; Akira Koseki; Kazuaki Ishizaki; Yohei Ueda; Ken Mizuno; Daniel Silva 001; Hideaki Komatsu; Toshio Nakatani (SYSTOR, 2011)