c-sat: A Parallel SAT Solver for Clusters. - Kei Ohmura; Kazunori Ueda (SAT, 2009)

Towards unobtrusive VM live migration for cloud computing platforms. - Akane Koto; Hiroshi Yamada; Kei Ohmura; Kenji Kono (APSys, 2012)