Kohei Honda

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 8

Top Topics

Comparative Study

Motion Planning

Predictive Control

Top Venues

Theor. Comput. Sci.

Math. Struct. Comput. Sci.

Publications

Kohei Honda, Kenji Koide, Masashi Yokozuka, Shuji Oishi, Atsuhiko Banno
Generalized LOAM: LiDAR Odometry Estimation with Trainable Local Geometric Features. CoRR (2022)
Kohei Honda, Hiroyuki Okuda, Akira Ito, Tatsuya Suzuki
MPC Builder for Autonomous Drive: Automatic Generation of MPCs for Motion Planning and Control. CoRR (2022)
Mizuho Aoki, Kohei Honda, Hiroyuki Okuda, Tatsuya Suzuki, Akira Ito, Daisuke Nagasaka
Obstacle Avoidance Control Based on Nonlinear MPC for All Wheel Driven In-Wheel EV in Steering Failure. ITSC (2022)
Mizuho Aoki, Kohei Honda, Hiroyuki Okuda, Tatsuya Suzuki
Comparative Study of Prediction Models for Model Predictive Path- Tracking Control in Wide Driving Speed Range. IV (2021)
Kohei Honda, Hiroyuki Okuda, Tatsuya Suzuki
Multi-task Model Predictive Control based on Continuation with Intermediate Mode. ITSC (2020)
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
Monitoring networks through multiparty session types. Theor. Comput. Sci. 669 (2017)
Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda
On asynchronous eventful session semantics. Math. Struct. Comput. Sci. 26 (2) (2016)
Kohei Honda, Nobuko Yoshida, Marco Carbone
Multiparty Asynchronous Session Types. J. ACM 63 (1) (2016)
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods Syst. Des. 46 (3) (2015)
Kohei Honda, Nobuko Yoshida, Martin Berger
An observationally complete program logic for imperative higher-order functions. Theor. Comput. Sci. 517 (2014)
Kohei Honda, Nobuko Yoshida, Martin Berger
Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus. RTA-TLCA (2014)
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
Structuring Communication with Session Types. Concurrent Objects and Beyond (2014)
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
Monitoring Networks through Multiparty Session Types. FMOODS/FORTE (2013)
Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. RV (2013)
Tzu-Chun Chen, Kohei Honda
Specifying Stateful Asynchronous Properties for Distributed Programs. CONCUR (2012)
Marco Carbone, Kohei Honda, Nobuko Yoshida
Structured Communication-Centered Programming for Web Services. ACM Trans. Program. Lang. Syst. 34 (2) (2012)
Romain Demangeon, Kohei Honda
Nested Protocols in Session Types. CONCUR (2012)
Nicholas Ng, Nobuko Yoshida, Kohei Honda
Multiparty Session C: Safe Parallel Programming with Message Optimisation. TOOLS (50) (2012)
Luca Fossati, Kohei Honda, Nobuko Yoshida
Intensional and Extensional Characterisation of Global Progress in the π-Calculus. CONCUR (2012)
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Verification of MPI Programs Using Session Types. EuroMPI (2012)
Kohei Honda
Session Types and Distributed Computing. ICALP (2) (2012)
Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda
On Asynchronous Session Semantics. FMOODS/FORTE (2011)
Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida
Asynchronous Distributed Monitoring for Multiparty Session Enforcement. TGC (2011)
Romain Demangeon, Kohei Honda
Full Abstraction in a Subtyped pi-Calculus with Linear Types. CONCUR (2011)
Kohei Honda
Understanding Distributed Services through the π-Calculus. WS-FM (2011)
Kohei Honda, Nobuko Yoshida
A Unified Theory of Program Logics: An Approach based on the π-Calculus. Comput. J. 54 (1) (2011)
Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida
Scribbling Interactions with a Formal Foundation. ICDCIT (2011)
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda
Type-Safe Eventful Sessions in Java. ECOOP (2010)
Lasse Nielsen, Nobuko Yoshida, Kohei Honda
Multiparty Symmetric Sum Types EXPRESS (2010)
Kohei Honda, Olivier Laurent
An exact correspondence between a typed pi-calculus and polarised proof-nets. Theor. Comput. Sci. 411 (22-24) (2010)
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida
A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR (2010)
Marco Carbone, Nobuko Yoshida, Kohei Honda
Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM (2009)
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
Global Principal Typing in Partially Commutative Asynchronous Sessions. ESOP (2009)
Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Type-Directed Compilation for Multicore Programming. Electron. Notes Theor. Comput. Sci. 241 (2009)
Nobuko Yoshida, Kohei Honda, Martin Berger
Logical Reasoning for Higher-Order Functions with Local State CoRR (2008)
Marco Carbone, Kohei Honda, Nobuko Yoshida
Theoretical Aspects of Communication-Centred Programming. Electron. Notes Theor. Comput. Sci. 209 (2008)
Raymond Hu, Nobuko Yoshida, Kohei Honda
Session-Based Distributed Programming in Java. ECOOP (2008)
Kohei Honda, Nobuko Yoshida
A Unified Theory of Program Logics: An Approach based on the n-Calculus. BCS Int. Acad. Conf. (2008)
Marco Carbone, Kohei Honda, Nobuko Yoshida
Structured Interactional Exceptions in Session Types. CONCUR (2008)
Nobuko Yoshida, Kohei Honda, Martin Berger
Logical Reasoning for Higher-Order Functions with Local State. Log. Methods Comput. Sci. 4 (4) (2008)
Kohei Honda, Nobuko Yoshida, Marco Carbone
Multiparty asynchronous session types. POPL (2008)
Martin Berger, Kohei Honda, Nobuko Yoshida
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) (2008)
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda
Session-Based Compilation Framework for Multicore Programming. FMCO (2008)
Marco Carbone, Kohei Honda, Nobuko Yoshida
A Calculus of Global Interaction based on Session Types. Electron. Notes Theor. Comput. Sci. 171 (3) (2007)
Nobuko Yoshida, Kohei Honda, Martin Berger
Logical Reasoning for Higher-Order Functions with Local State. FoSSaCS (2007)
Kohei Honda, Nobuko Yoshida
A uniform type structure for secure information flow. ACM Trans. Program. Lang. Syst. 29 (6) (2007)
Marco Carbone, Kohei Honda, Nobuko Yoshida
Structured Communication-Centred Programming for Web Services. ESOP (2007)
Nobuko Yoshida, Kohei Honda, Martin Berger
Linearity and bisimulation. J. Log. Algebraic Methods Program. 72 (2) (2007)
Martin Berger, Kohei Honda, Nobuko Yoshida
A logical analysis of aliasing in imperative higher-order functions. J. Funct. Program. 17 (4-5) (2007)
Kohei Honda, Nobuko Yoshida, Marco Carbone
Web Services, Mobile Processes and Types. Bull. EATCS 91 (2007)
Kohei Honda, Martin Berger, Nobuko Yoshida
Descriptive and Relative Completeness of Logics for Higher-Order Functions. ICALP (2) (2006)
Kohei Honda
Process Algebras in the Age of Ubiquitous Computing. Electron. Notes Theor. Comput. Sci. 162 (2006)
Kohei Honda, Nobuko Yoshida
Noninterference through flow analysis. J. Funct. Program. 15 (2) (2005)
Kohei Honda, Nobuko Yoshida, Martin Berger
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. LICS (2005)
Martin Berger, Kohei Honda, Nobuko Yoshida
A logical analysis of aliasing in imperative higher-order functions. ICFP (2005)
Martin Berger, Kohei Honda, Nobuko Yoshida
Genericity and the pi-calculus. Acta Informatica 42 (2-3) (2005)
Kohei Honda
From process logic to program logic. ICFP (2004)
Nobuko Yoshida, Martin Berger, Kohei Honda
Strong normalisation in the pi -calculus. Inf. Comput. 191 (2) (2004)
Kohei Honda, Nobuko Yoshida
A compositional logic for polymorphic higher-order functions. PPDP (2004)
Martin Berger, Kohei Honda, Nobuko Yoshida
Genericity and the pi-Calculus. FoSSaCS (2003)
Kohei Honda, Nobuko Yoshida
A uniform type structure for secure information flow. POPL (2002)
Nobuko Yoshida, Kohei Honda, Martin Berger
Linearity and Bisimulation. FoSSaCS (2002)
Kohei Honda
Processes and Games. Electron. Notes Theor. Comput. Sci. 71 (2002)
Nobuko Yoshida, Martin Berger, Kohei Honda
Strong Normalisation in the pi-Calculus. LICS (2001)
Martin Berger, Kohei Honda, Nobuko Yoshida
Sequentiality and the pi-Calculus. TLCA (2001)
Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Secure Information Flow as Typed Process Behaviour. ESOP (2000)
Kohei Honda
Elementary structures in process theory (1): Sets with renaming. Math. Struct. Comput. Sci. 10 (5) (2000)
Martin Berger, Kohei Honda
The Two-Phase Commitment Protocol in an Extended pi-Calculus. EXPRESS (2000)
Kohei Honda, Nobuko Yoshida
Game-Theoretic Analysis of Call-by-Value Computation. Theor. Comput. Sci. 221 (1-2) (1999)
Kohei Honda
Semantics Study and Reality of Computing. ACM Comput. Surv. 31 (3es) (1999)
Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo
Language Primitives and Type Discipline for Structured Communication-Based Programming. ESOP (1998)
Marcelo P. Fiore, Kohei Honda
Recursive Types in Games: Axiomatics and Process Representation. LICS (1998)
Samson Abramsky, Kohei Honda, Guy McCusker
A Fully Abstract Game Semantics for General References. LICS (1998)
Kohei Honda, Nobuko Yoshida
Game Theoretic Analysis of Call-by-Value Computation. ICALP (1997)
Kohei Honda
Abstract Process Structures. Electron. Notes Theor. Comput. Sci. 3 (1996)
Kohei Honda
Composing Processes. POPL (1996)
Kohei Honda, Nobuko Yoshida
On Reduction-Based Process Semantics. Theor. Comput. Sci. 151 (2) (1995)
Kohei Honda, Nobuko Yoshida
Replication in Concurrent Combinators. TACS (1994)
Kohei Honda, Nobuko Yoshida
Combinatory Representation of Mobile Processes. POPL (1994)
Kohei Honda
Notes on P-Algebra 1: Process Structure. Theory and Practice of Parallel Programming (1994)
Kaku Takeuchi, Kohei Honda, Makoto Kubo
An Interaction-based Language and its Typing System. PARLE (1994)
Kohei Honda
Types for Dyadic Interaction. CONCUR (1993)
Kohei Honda, Nobuko Yoshida
On Reduction-Based Semantics. FSTTCS (1993)
Vasco Thudichum Vasconcelos, Kohei Honda
Principal Typing Schemes in a Polyadic pi-Calculus. CONCUR (1993)
Kohei Honda, Mario Tokoro
On Asynchronous Communication Semantics. Object-Based Concurrent Computing (1991)
Kohei Honda, Mario Tokoro
A small calculus for concurrent objects. OOPS Messenger 2 (2) (1991)
Kohei Honda, Mario Tokoro
An Object Calculus for Asynchronous Communication. ECOOP (1991)
Mario Tokoro, Kohei Honda
The Computational Field Model for Open Distributed Environments. Concurrency: Theory, Language, And Architecture (1989)