| 2014 | CW | Functorial Classification of Political Groups in the Meiji Restoration. | Kenji Ohmori, Tosiyasu L. Kunii |
| 2014 | CW | Clay Flower Creation Based on Homotopy Type Theory. | Kenji Ohmori, Tosiyasu L. Kunii |
| 2013 | CW | A General Design Method Based on Algebraic Topology - A Divide and Conquer Method. | Kenji Ohmori, Tosiyasu L. Kunii |
| 2012 | CW | A Design and Implementation Method for Embedded Systems Using Communicating Sequential Processes with an Event-Driven and Multi-Thread Processor. | Ryo Mizutani, Kenji Ohmori |
| 2012 | CW | Three Dimensional Sketch for a Landscape Using Morse Theory and Reeb Graphs. | Kenji Ohmori, Tosiyasu L. Kunii |
| 2011 | CW | Visualized Deformation of Joinery to Understand Jointing Process by Homotopy Theory and Attaching Maps. | Kenji Ohmori, Tosiyasu L. Kunii |
| 2010 | CW | A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs. | Kenji Ohmori, Tosiyasu L. Kunii |
| 2008 | CW | Pi-Calculus Modeling for Cyberworlds Systems using the Fibration and Cofibration Duality. | Kenji Ohmori, Tosiyasu L. Kunii |
| 2007 | CW | The Mathematical Structure of Cyberworlds. | Kenji Ohmori, Tosiyasu L. Kunii |
| 2006 | CW | An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology. | Kenji Ohmori, Tosiyasu L. Kunii |
| 2002 | CW | Shape Modeling Using Cellular Structured Spaces. | Kenji Ohmori, Wona Lee |
| 2000 | CGI | A Homotopy Model for Cup Lifting. | Kenji Ohmori, Tosiyasu L. Kunii |
| 2000 | ISCAS | A scalable MPEG-4 video codec architecture for IMT-2000 multimedia applications. | Masafumi Takahashi, Tsuyoshi Nishikawa, Hideho Arakida, Noriaki Machida, Hideaki Yamamoto, Toshihide Fujiyoshi, Yoko Matsumoto, Osamu Yamagishi, Tatsuo Samata, Atsushi Asano, Toshihiro Terazawa, Kenji Ohmori, Junya Shirakura, Yoshinori Watanabe, Hiroki Nakamura, Shigenobu Minami, Tohru Furuyama |
| 1996 | PRICAI | High-Level Synthesis Optimization with Genetic Algorithms. | Jem Daalder, Peter W. Eklund, Kenji Ohmori |
| 1991 | ICTAI | On-line handwritten Kanji character recognition using hypothesis generation in the space of hierarchical knowledge. | Kenji Ohmori, Y. Haruki |
| 1985 | ICPP | MAN-YO : A Special Purpose Parallel Machine for Logic Design Automation. | Nobuhiko Koike, Kenji Ohmori |
| 1983 | DAC | HAL: A block level HArdware Logic simulator. | Tohru Sasaki, Nobuhiko Koike, Kenji Ohmori, Kyoji Tomita |