| 2011 | ISADS | Modeling Web Applications Design with Automata and Its Verification. | Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi |
| 2001 | SMC | Managing evolution of software engineering development environments. | Roger Y. Lee, Tadanori Mizuno, Atsushi Togashi |
| 2000 | ICPADS | System Requirements and Formal Specifications of Hierarchical Reactive Systems. | Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi |
| 1997 | FORTE | A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. | Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu |
| 1995 | ICNP | Extension of protocol synthesis to structured entities. | Bhed Bahadur Bista, Atsushi Togashi, Norio Shiratori |
| 1995 | ISCAS | A Derivation of System Specifications Based on a Partial Logical Petri Net. | Atsushi Togashi, Nobuyuki Usui, Kukhwan Song, Norio Shiratori |
| 1994 | ALT | Synthesis Algorithm for Recursive Process by µ-calculus (Extended Abstract). | Shigetomo Kimura, Atsushi Togashi, Norio Shiratori |
| 1994 | FORTE | A synthesis algorithm of a protocol model from a single entity. | Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori |
| 1994 | ICLP | An Intelligent LOTOS interpreter in AMLOG. | Atsushi Togashi, Glenn Mansfield, Norio Shiratori |
| 1994 | PODC | Integrated Support Environment for Concurrent Process Calculi. | Sen Yoshida, Atsushi Togashi, Norio Shiratori |
| 1991 | ICLP | AMLOG-E: A New Approach towards Amalgamation. | Glenn Mansfield, Atsushi Togashi, Nobuhisa Miake, Shoichi Noguchi |
| 1990 | ALT | Inductive Inference of Term Rewriting Systems Realizing Algebras. | Atsushi Togashi, Shoichi Noguchi |