| 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 |
| 2007 | EJC | A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products. | Souhei Ito, Shigeki Hagihara, Naoki Yonezaki |
| 1999 | CSL | Resolution Method for Modal Logic with Well-Founded Frames. | Shigeki Hagihara, Naoki Yonezaki |