| 2016 | ICSE | Simple synthesis of reactive systems with tolerance for unexpected environmental behavior. | Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki |
| 2014 | ICFEM | Fast Translation from LTL to Bchi Automata via Non-transition-based Automata. | Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki |
| 2012 | ICFEM | A Temporal Logic with Mean-Payoff Constraints. | Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki |
| 2010 | BIBE | Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic. | Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki |
| 2009 | APSEC | Extracting Environmental Constraints to Make Reactive System Specifications Realizable. | Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki |
| 2009 | EJC | Formal system of interactions on biomedical ontology. | Naoko Izumi, Naoki Yonezaki |
| 2007 | EJC | A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products. | Souhei Ito, Shigeki Hagihara, Naoki Yonezaki |
| 2000 | EJC | An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications. | Takenobu Aoshima, Naoki Yonezaki |
| 1999 | CSL | Resolution Method for Modal Logic with Well-Founded Frames. | Shigeki Hagihara, Naoki Yonezaki |
| 1994 | SEKE | Temporal logic extended with object creation and destruction. | Shin Miyakawa, Naoki Yonezaki |
| 1993 | SEKE | TAP: A New Model for Software Process: Tasks-Agents-Products. | Naoki Yonezaki, Tapani Kinnula, Motoshi Saeki, Jan Ljungberg |
| 1993 | SEKE | More Expressive Temporal Logic for Specifications. | Noriaki Yoshiura, Naoki Yonezaki |
| 1982 | ICSE | Functional Specification of Synchronized Processes Based on Modal Logic. | Naoki Yonezaki, Takao Katayama |
| 1980 | COLING | Database System Based On Intensional Logic. | Naoki Yonezaki, Hajime Enomoto |
| 1979 | IJCAI | A Model for Perception of Structural Image Feature. | Hajime Enomoto, Naoki Yonezaki, Katsumi Nitta |