| 2012 | APSEC | On Accelerating SMT-based Bounded Model Checking of HSTM Designs. | Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda |
| 2012 | ICST | Formal Model-Based Test for AUTOSAR Multicore RTOS. | Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki |
| 2012 | ISoLA | Test-Case Design by Feature Trees. | Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe |
| 2012 | LATA | On Model Checking for Visibly Pushdown Automata. | Nguyen Van Tang, Hitoshi Ohsaki |
| 2006 | CADE | A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms. | Joe Hendrix, Jos Meseguer, Hitoshi Ohsaki |
| 2005 | LPAR | Monotone AC-Tree Automata. | Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos |
| 2001 | CSL | Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories. | Hitoshi Ohsaki |
| 2000 | CSL | Equational Termination by Semantic Labelling. | Hitoshi Ohsaki, Aart Middeldorp, Jrgen Giesl |
| 1997 | LFCS | Type Introduction for Equational Rewriting. | Hitoshi Ohsaki, Aart Middeldorp |
| 1996 | CADE | Transforming Termination by Self-Labelling. | Aart Middeldorp, Hitoshi Ohsaki, Hans Zantema |