| 2025 | IROS | GSplatVNM: Point-of-View Synthesis for Visual Navigation Models Using Gaussian Splatting. | Kohei Honda, Takeshi Ishita, Yasuhiro Yoshimura, Ryo Yonetani |
| 2024 | ICRA | Stein Variational Guided Model Predictive Path Integral Control: Proposal and Experiments with Fast Maneuvering Vehicles. | Kohei Honda, Naoki Akai, Kosuke Suzuki, Mizuho Aoki, Hirotaka Hosogaya, Hiroyuki Okuda, Tatsuya Suzuki |
| 2024 | ICRA | When to Replan? An Adaptive Replanning Strategy for Autonomous Navigation using Deep Reinforcement Learning. | Kohei Honda, Ryo Yonetani, Mai Nishimura, Tadashi Kozuno |
| 2024 | ICRA | Spline-Interpolated Model Predictive Path Integral Control with Stein Variational Inference for Reactive Navigation. | Takato Miura, Naoki Akai, Kohei Honda, Susumu Hara |
| 2024 | IROS | Switching Sampling Space of Model Predictive Path-Integral Controller to Balance Efficiency and Safety in 4WIDS Vehicle Navigation. | Mizuho Aoki, Kohei Honda, Hiroyuki Okuda, Tatsuya Suzuki |
| 2013 | FORTE | Monitoring Networks through Multiparty Session Types. | Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida |
| 2013 | RV | Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. | Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda |
| 2012 | CONCUR | Specifying Stateful Asynchronous Properties for Distributed Programs. | Tzu-Chun Chen, Kohei Honda |
| 2012 | CONCUR | Nested Protocols in Session Types. | Romain Demangeon, Kohei Honda |
| 2012 | CONCUR | Intensional and Extensional Characterisation of Global Progress in the π-Calculus. | Luca Fossati, Kohei Honda, Nobuko Yoshida |
| 2012 | ICALP | Session Types and Distributed Computing. | Kohei Honda |
| 2011 | CONCUR | Full Abstraction in a Subtyped pi-Calculus with Linear Types. | Romain Demangeon, Kohei Honda |
| 2011 | FORTE | On Asynchronous Session Semantics. | Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda |
| 2011 | ICDCIT | Scribbling Interactions with a Formal Foundation. | Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida |
| 2010 | CONCUR | A Theory of Design-by-Contract for Distributed Multiparty Interactions. | Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida |
| 2010 | ECOOP | Type-Safe Eventful Sessions in Java. | Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda |
| 2009 | ESOP | Global Principal Typing in Partially Commutative Asynchronous Sessions. | Dimitris Mostrous, Nobuko Yoshida, Kohei Honda |
| 2008 | CONCUR | Structured Interactional Exceptions in Session Types. | Marco Carbone, Kohei Honda, Nobuko Yoshida |
| 2008 | ECOOP | Session-Based Distributed Programming in Java. | Raymond Hu, Nobuko Yoshida, Kohei Honda |
| 2008 | ICALP | Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. | Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2008 | POPL | Multiparty asynchronous session types. | Kohei Honda, Nobuko Yoshida, Marco Carbone |
| 2007 | ESOP | Structured Communication-Centred Programming for Web Services. | Marco Carbone, Kohei Honda, Nobuko Yoshida |
| 2007 | FOSSACS | Logical Reasoning for Higher-Order Functions with Local State. | Nobuko Yoshida, Kohei Honda, Martin Berger |
| 2006 | ICALP | Descriptive and Relative Completeness of Logics for Higher-Order Functions. | Kohei Honda, Martin Berger, Nobuko Yoshida |
| 2005 | ICFP | A logical analysis of aliasing in imperative higher-order functions. | Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2005 | LICS | An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. | Kohei Honda, Nobuko Yoshida, Martin Berger |
| 2004 | ICFP | From process logic to program logic. | Kohei Honda |
| 2004 | PPDP | A compositional logic for polymorphic higher-order functions. | Kohei Honda, Nobuko Yoshida |
| 2003 | FOSSACS | Genericity and the pi-Calculus. | Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2002 | FOSSACS | Linearity and Bisimulation. | Nobuko Yoshida, Kohei Honda, Martin Berger |
| 2002 | POPL | A uniform type structure for secure information flow. | Kohei Honda, Nobuko Yoshida |
| 2001 | LICS | Strong Normalisation in the pi-Calculus. | Nobuko Yoshida, Martin Berger, Kohei Honda |
| 2000 | ESOP | Secure Information Flow as Typed Process Behaviour. | Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 1998 | ESOP | Language Primitives and Type Discipline for Structured Communication-Based Programming. | Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo |
| 1998 | LICS | A Fully Abstract Game Semantics for General References. | Samson Abramsky, Kohei Honda, Guy McCusker |
| 1998 | LICS | Recursive Types in Games: Axiomatics and Process Representation. | Marcelo P. Fiore, Kohei Honda |
| 1997 | ICALP | Game Theoretic Analysis of Call-by-Value Computation. | Kohei Honda, Nobuko Yoshida |
| 1996 | POPL | Composing Processes. | Kohei Honda |
| 1994 | POPL | Combinatory Representation of Mobile Processes. | Kohei Honda, Nobuko Yoshida |
| 1993 | CONCUR | Types for Dyadic Interaction. | Kohei Honda |
| 1993 | CONCUR | Principal Typing Schemes in a Polyadic pi-Calculus. | Vasco Thudichum Vasconcelos, Kohei Honda |
| 1991 | ECOOP | An Object Calculus for Asynchronous Communication. | Kohei Honda, Mario Tokoro |
| 1989 | CONCUR | The Computational Field Model for Open Distributed Environments. | Mario Tokoro, Kohei Honda |