Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Kohei Honda
2010 – today
- 2013
[c52]Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida: Monitoring Networks through Multiparty Session Types. FMOODS/FORTE 2013: 50-65- [c51]Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda: Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. RV 2013: 130-148
- 2012
- [j23]Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Communication-Centered Programming for Web Services. ACM Trans. Program. Lang. Syst. 34(2): 8 (2012)
- [c50]Tzu-Chun Chen, Kohei Honda: Specifying Stateful Asynchronous Properties for Distributed Programs. CONCUR 2012: 209-224
- [c49]
- [c48]Luca Fossati, Kohei Honda, Nobuko Yoshida: Intensional and Extensional Characterisation of Global Progress in the π-Calculus. CONCUR 2012: 287-301
- [c47]
- [c46]Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Verification of MPI Programs Using Session Types. EuroMPI 2012: 291-293
- [c45]Nicholas Ng, Nobuko Yoshida, Kohei Honda: Multiparty Session C: Safe Parallel Programming with Message Optimisation. TOOLS (50) 2012: 202-218
- 2011
- [j22]Kohei Honda, Nobuko Yoshida: A Unified Theory of Program Logics: An Approach based on the π-Calculus. Comput. J. 54(1): 88-107 (2011)
- [c44]Romain Demangeon, Kohei Honda: Full Abstraction in a Subtyped pi-Calculus with Linear Types. CONCUR 2011: 280-296
- [c43]Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda: On Asynchronous Session Semantics. FMOODS/FORTE 2011: 228-243
- [c42]Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida: Scribbling Interactions with a Formal Foundation. ICDCIT 2011: 55-75
- [c41]Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida: Asynchronous Distributed Monitoring for Multiparty Session Enforcement. TGC 2011: 25-45
- [c40]
- 2010
- [j21]Kohei Honda, Olivier Laurent: An exact correspondence between a typed pi-calculus and polarised proof-nets. Theor. Comput. Sci. 411(22-24): 2223-2238 (2010)
- [c39]Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida: A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR 2010: 162-176
- [c38]Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda: Type-Safe Eventful Sessions in Java. ECOOP 2010: 329-353
- [c37]Lasse Nielsen, Nobuko Yoshida, Kohei Honda: Multiparty Symmetric Sum Types. EXPRESS'10 2010: 121-135
- [e1]Kohei Honda, Alan Mycroft (Eds.): Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software. EPTCS 69, 2010
2000 – 2009
- 2009
- [j20]Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Type-Directed Compilation for Multicore Programming. Electr. Notes Theor. Comput. Sci. 241: 101-111 (2009)
- [c36]Dimitris Mostrous, Nobuko Yoshida, Kohei Honda: Global Principal Typing in Partially Commutative Asynchronous Sessions. ESOP 2009: 316-332
- [c35]Marco Carbone, Nobuko Yoshida, Kohei Honda: Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM 2009: 187-212
- 2008
- [j19]Marco Carbone, Kohei Honda, Nobuko Yoshida: Theoretical Aspects of Communication-Centred Programming. Electr. Notes Theor. Comput. Sci. 209: 125-133 (2008)
- [j18]Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. Logical Methods in Computer Science 4(4) (2008)
- [c34]Kohei Honda, Nobuko Yoshida: A Unified Theory of Program Logics: An Approach based on the n-Calculus. BCS Int. Acad. Conf. 2008: 259-274
- [c33]Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Interactional Exceptions in Session Types. CONCUR 2008: 402-417
- [c32]Raymond Hu, Nobuko Yoshida, Kohei Honda: Session-Based Distributed Programming in Java. ECOOP 2008: 516-541
- [c31]Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda: Session-Based Compilation Framework for Multicore Programming. FMCO 2008: 226-246
- [c30]Martin Berger, Kohei Honda, Nobuko Yoshida: Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) 2008: 99-111
- [c29]Kohei Honda, Nobuko Yoshida, Marco Carbone: Multiparty asynchronous session types. POPL 2008: 273-284
- [i1]Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. CoRR abs/0806.2448 (2008)
- 2007
- [j17]Kohei Honda, Nobuko Yoshida, Marco Carbone: Web Services, Mobile Processes and Types. Bulletin of the EATCS 91: 160-185 (2007)
- [j16]Marco Carbone, Kohei Honda, Nobuko Yoshida: A Calculus of Global Interaction based on Session Types. Electr. Notes Theor. Comput. Sci. 171(3): 127-151 (2007)
- [j15]Martin Berger, Kohei Honda, Nobuko Yoshida: A logical analysis of aliasing in imperative higher-order functions. J. Funct. Program. 17(4-5): 473-546 (2007)
- [j14]Nobuko Yoshida, Kohei Honda, Martin Berger: Linearity and bisimulation. J. Log. Algebr. Program. 72(2): 207-238 (2007)
- [j13]Kohei Honda, Nobuko Yoshida: A uniform type structure for secure information flow. ACM Trans. Program. Lang. Syst. 29(6) (2007)
- [c28]Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Communication-Centred Programming for Web Services. ESOP 2007: 2-17
- [c27]Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. FoSSaCS 2007: 361-377
- 2006
- [j12]Kohei Honda: Process Algebras in the Age of Ubiquitous Computing. Electr. Notes Theor. Comput. Sci. 162: 217-220 (2006)
- [c26]Kohei Honda, Martin Berger, Nobuko Yoshida: Descriptive and Relative Completeness of Logics for Higher-Order Functions. ICALP (2) 2006: 360-371
- 2005
- [j11]Martin Berger, Kohei Honda, Nobuko Yoshida: Genericity and the pi-calculus. Acta Inf. 42(2-3): 83-141 (2005)
- [j10]Kohei Honda, Nobuko Yoshida: Noninterference through flow analysis. J. Funct. Program. 15(2): 293-349 (2005)
- [c25]Martin Berger, Kohei Honda, Nobuko Yoshida: A logical analysis of aliasing in imperative higher-order functions. ICFP 2005: 280-293
- [c24]Kohei Honda, Nobuko Yoshida, Martin Berger: An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. LICS 2005: 270-279
- 2004
- [j9]Nobuko Yoshida, Martin Berger, Kohei Honda: Strong normalisation in the pi -calculus. Inf. Comput. 191(2): 145-202 (2004)
- [c23]
- [c22]Kohei Honda, Nobuko Yoshida: A compositional logic for polymorphic higher-order functions. PPDP 2004: 191-202
- 2003
- [c21]
- 2002
- [j8]
- [c20]
- [c19]
- 2001
- [c18]Nobuko Yoshida, Martin Berger, Kohei Honda: Strong Normalisation in the pi-Calculus. LICS 2001: 311-322
- [c17]
- 2000
- [j7]Martin Berger, Kohei Honda: The Two-Phase Commitment Protocol in an Extended pi-Calculus. Electr. Notes Theor. Comput. Sci. 39(1): 21-46 (2000)
- [j6]Kohei Honda: Elementary structures in process theory (1): Sets with renaming. Mathematical Structures in Computer Science 10(5): 617-663 (2000)
- [c16]Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Secure Information Flow as Typed Process Behaviour. ESOP 2000: 180-199
1990 – 1999
- 1999
- [j5]
- [j4]Kohei Honda, Nobuko Yoshida: Game-Theoretic Analysis of Call-by-Value Computation. Theor. Comput. Sci. 221(1-2): 393-456 (1999)
- 1998
- [c15]Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo: Language Primitives and Type Discipline for Structured Communication-Based Programming. ESOP 1998: 122-138
- [c14]Samson Abramsky, Kohei Honda, Guy McCusker: A Fully Abstract Game Semantics for General References. LICS 1998: 334-344
- [c13]Marcelo P. Fiore, Kohei Honda: Recursive Types in Games: Axiomatics and Process Representation. LICS 1998: 345-356
- 1997
- [c12]Kohei Honda, Nobuko Yoshida: Game Theoretic Analysis of Call-by-Value Computation. ICALP 1997: 225-236
- 1996
- [j3]
- [c11]
- 1995
- [j2]Kohei Honda, Nobuko Yoshida: On Reduction-Based Process Semantics. Theor. Comput. Sci. 151(2): 437-486 (1995)
- 1994
- [c10]Kaku Takeuchi, Kohei Honda, Makoto Kubo: An Interaction-based Language and its Typing System. PARLE 1994: 398-413
- [c9]
- [c8]
- [c7]Kohei Honda: Notes on P-Algebra 1: Process Structure. Theory and Practice of Parallel Programming 1994: 25-44
- 1993
- [c6]
- [c5]Vasco Thudichum Vasconcelos, Kohei Honda: Principal Typing Schemes in a Polyadic pi-Calculus. CONCUR 1993: 524-538
- [c4]
- 1991
- [j1]Kohei Honda, Mario Tokoro: A small calculus for concurrent objects. OOPS Messenger 2(2): 50-54 (1991)
- [c3]
- [c2]Kohei Honda, Mario Tokoro: On Asynchronous Communication Semantics. Object-Based Concurrent Computing 1991: 21-51
1980 – 1989
- 1989
- [c1]Mario Tokoro, Kohei Honda: The Computational Field Model for Open Distributed Environments. Concurrency: Theory, Language, And Architecture 1989: 136-141
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team