- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 67 |      | Romain Demangeon, Kohei Honda: Full Abstraction in a Subtyped pi-Calculus with Linear Types. CONCUR 2011: 280-296 |
| 66 | | Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda: On Asynchronous Session Semantics. FMOODS/FORTE 2011: 228-243 |
| 65 | | Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida: Scribbling Interactions with a Formal Foundation. ICDCIT 2011: 55-75 |
| 64 | | Kohei Honda: Understanding Distributed Services through the π-Calculus. WS-FM 2011: 1 |
| 63 | | Kohei Honda, Nobuko Yoshida: A Unified Theory of Program Logics: An Approach based on the π-Calculus. Comput. J. 54(1): 88-107 (2011) |
| 2010 | ||
| 62 | | Kohei Honda, Alan Mycroft: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software PLACES 2010 |
| 61 | | Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida: A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR 2010: 162-176 |
| 60 | | Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda: Type-Safe Eventful Sessions in Java. ECOOP 2010: 329-353 |
| 59 | | Lasse Nielsen, Nobuko Yoshida, Kohei Honda: Multiparty Symmetric Sum Types EXPRESS'10 2010: 121-135 |
| 58 | | 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) |
| 2009 | ||
| 57 | | Dimitris Mostrous, Nobuko Yoshida, Kohei Honda: Global Principal Typing in Partially Commutative Asynchronous Sessions. ESOP 2009: 316-332 |
| 56 | | Marco Carbone, Nobuko Yoshida, Kohei Honda: Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM 2009: 187-212 |
| 55 | | Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Type-Directed Compilation for Multicore Programming. Electr. Notes Theor. Comput. Sci. 241: 101-111 (2009) |
| 2008 | ||
| 54 | | Kohei Honda, Nobuko Yoshida: A Unified Theory of Program Logics: An Approach based on the n-Calculus. BCS Int. Acad. Conf. 2008: 259-274 |
| 53 | | Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Interactional Exceptions in Session Types. CONCUR 2008: 402-417 |
| 52 | | Raymond Hu, Nobuko Yoshida, Kohei Honda: Session-Based Distributed Programming in Java. ECOOP 2008: 516-541 |
| 51 | | Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda: Session-Based Compilation Framework for Multicore Programming. FMCO 2008: 226-246 |
| 50 | | Martin Berger, Kohei Honda, Nobuko Yoshida: Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) 2008: 99-111 |
| 49 | | Kohei Honda, Nobuko Yoshida, Marco Carbone: Multiparty asynchronous session types. POPL 2008: 273-284 |
| 48 | | Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State CoRR abs/0806.2448: (2008) |
| 47 | | Marco Carbone, Kohei Honda, Nobuko Yoshida: Theoretical Aspects of Communication-Centred Programming. Electr. Notes Theor. Comput. Sci. 209: 125-133 (2008) |
| 46 | | Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. Logical Methods in Computer Science 4(4): (2008) |
| 2007 | ||
| 45 | | Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Communication-Centred Programming for Web Services. ESOP 2007: 2-17 |
| 44 | | Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. FoSSaCS 2007: 361-377 |
| 43 | | Kohei Honda, Nobuko Yoshida: A uniform type structure for secure information flow. ACM Trans. Program. Lang. Syst. 29(6): (2007) |
| 42 |  | Kohei Honda, Nobuko Yoshida, Marco Carbone: Web Services, Mobile Processes and Types. Bulletin of the EATCS 91: 160-185 (2007) |
| 41 | | 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) |
| 40 | | 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) |
| 39 | | Nobuko Yoshida, Kohei Honda, Martin Berger: Linearity and bisimulation. J. Log. Algebr. Program. 72(2): 207-238 (2007) |
| 2006 | ||
| 38 | | Kohei Honda, Martin Berger, Nobuko Yoshida: Descriptive and Relative Completeness of Logics for Higher-Order Functions. ICALP (2) 2006: 360-371 |
| 37 | | Kohei Honda: Process Algebras in the Age of Ubiquitous Computing. Electr. Notes Theor. Comput. Sci. 162: 217-220 (2006) |
| 2005 | ||
| 36 | | Martin Berger, Kohei Honda, Nobuko Yoshida: A logical analysis of aliasing in imperative higher-order functions. ICFP 2005: 280-293 |
| 35 | | Kohei Honda, Nobuko Yoshida, Martin Berger: An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. LICS 2005: 270-279 |
| 34 | | Martin Berger, Kohei Honda, Nobuko Yoshida: Genericity and the pi-calculus. Acta Inf. 42(2-3): 83-141 (2005) |
| 33 | | Kohei Honda, Nobuko Yoshida: Noninterference through flow analysis. J. Funct. Program. 15(2): 293-349 (2005) |
| 2004 | ||
| 32 | | Kohei Honda: From process logic to program logic. ICFP 2004: 163-174 |
| 31 | | Kohei Honda, Nobuko Yoshida: A compositional logic for polymorphic higher-order functions. PPDP 2004: 191-202 |
| 30 | | Nobuko Yoshida, Martin Berger, Kohei Honda: Strong normalisation in the pi -calculus. Inf. Comput. 191(2): 145-202 (2004) |
| 2003 | ||
| 29 | | Martin Berger, Kohei Honda, Nobuko Yoshida: Genericity and the pi-Calculus. FoSSaCS 2003: 103-119 |
| 2002 | ||
| 28 | | Nobuko Yoshida, Kohei Honda, Martin Berger: Linearity and Bisimulation. FoSSaCS 2002: 417-434 |
| 27 | | Kohei Honda, Nobuko Yoshida: A uniform type structure for secure information flow. POPL 2002: 81-92 |
| 26 | | Kohei Honda: Processes and Games. Electr. Notes Theor. Comput. Sci. 71: 40-69 (2002) |
| 2001 | ||
| 25 | | Nobuko Yoshida, Martin Berger, Kohei Honda: Strong Normalisation in the pi-Calculus. LICS 2001: 311-322 |
| 24 | | Martin Berger, Kohei Honda, Nobuko Yoshida: Sequentiality and the pi-Calculus. TLCA 2001: 29-45 |
| 2000 | ||
| 23 | | Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Secure Information Flow as Typed Process Behaviour. ESOP 2000: 180-199 |
| 22 | | Martin Berger, Kohei Honda: The Two-Phase Commitment Protocol in an Extended pi-Calculus. Electr. Notes Theor. Comput. Sci. 39(1): 21-46 (2000) |
| 21 | | Kohei Honda: Elementary structures in process theory (1): Sets with renaming. Mathematical Structures in Computer Science 10(5): 617-663 (2000) |
| 1999 | ||
| 20 | | Kohei Honda: Semantics Study and Reality of Computing. ACM Comput. Surv. 31(3es): 14 (1999) |
| 19 | | Kohei Honda, Nobuko Yoshida: Game-Theoretic Analysis of Call-by-Value Computation. Theor. Comput. Sci. 221(1-2): 393-456 (1999) |
| 1998 | ||
| 18 | | Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo: Language Primitives and Type Discipline for Structured Communication-Based Programming. ESOP 1998: 122-138 |
| 17 | | Samson Abramsky, Kohei Honda, Guy McCusker: A Fully Abstract Game Semantics for General References. LICS 1998: 334-344 |
| 16 | | Marcelo P. Fiore, Kohei Honda: Recursive Types in Games: Axiomatics and Process Representation. LICS 1998: 345-356 |
| 1997 | ||
| 15 | | Kohei Honda, Nobuko Yoshida: Game Theoretic Analysis of Call-by-Value Computation. ICALP 1997: 225-236 |
| 1996 | ||
| 14 | | Kohei Honda: Composing Processes. POPL 1996: 344-357 |
| 13 | | Kohei Honda: Abstract Process Structures. Electr. Notes Theor. Comput. Sci. 3: 89-105 (1996) |
| 1995 | ||
| 12 | | Kohei Honda, Nobuko Yoshida: On Reduction-Based Process Semantics. Theor. Comput. Sci. 151(2): 437-486 (1995) |
| 1994 | ||
| 11 | | Kaku Takeuchi, Kohei Honda, Makoto Kubo: An Interaction-based Language and its Typing System. PARLE 1994: 398-413 |
| 10 | | Kohei Honda, Nobuko Yoshida: Combinatory Representation of Mobile Processes. POPL 1994: 348-360 |
| 9 | | Kohei Honda, Nobuko Yoshida: Replication in Concurrent Combinators. TACS 1994: 786-805 |
| 8 | | Kohei Honda: Notes on P-Algebra 1: Process Structure. Theory and Practice of Parallel Programming 1994: 25-44 |
| 1993 | ||
| 7 | | Kohei Honda: Types for Dynamic Interaction. CONCUR 1993: 509-523 |
| 6 | | Vasco Thudichum Vasconcelos, Kohei Honda: Principal Typing Schemes in a Polyadic pi-Calculus. CONCUR 1993: 524-538 |
| 5 | | Kohei Honda, Nobuko Yoshida: On Reduction-Based Semantics. FSTTCS 1993: 373-387 |
| 1991 | ||
| 4 | | Kohei Honda, Mario Tokoro: An Object Calculus for Asynchronous Communication. ECOOP 1991: 133-147 |
| 3 | | Kohei Honda, Mario Tokoro: On Asynchronous Communication Semantics. Object-Based Concurrent Computing 1991: 21-51 |
| 2 | | Kohei Honda, Mario Tokoro: A small calculus for concurrent objects. OOPS Messenger 2(2): 50-54 (1991) |
| 1989 | ||
| 1 | | Mario Tokoro, Kohei Honda: The Computational Field Model for Open Distributed Environments. Concurrency: Theory, Language, And Architecture 1989: 136-141 |
| 1 | Samson Abramsky | [17] |
| 2 | Martin Berger | [22] [24] [25] [28] [29] [30] [34] [35] [36] [38] [39] [40] [44] [46] [48] [50] |
| 3 | Laura Bocchi | [61] |
| 4 | Gary Brown | [65] |
| 5 | Marco Carbone | [41] [42] [45] [47] [49] [53] [56] |
| 6 | Tzu-Chun Chen | [65] |
| 7 | Romain Demangeon | [67] |
| 8 | Marcelo P. Fiore | [16] |
| 9 | Raymond Hu | [52] [60] |
| 10 | Dimitrios Kouzapas | [60] [66] |
| 11 | Makoto Kubo | [11] [18] |
| 12 | Olivier Laurent | [58] |
| 13 | Guy McCusker | [17] |
| 14 | Dimitris Mostrous | [57] |
| 15 | Aybek Mukhamedov | [65] |
| 16 | Alan Mycroft | [62] |
| 17 | Lasse Nielsen | [59] |
| 18 | Hervé Paulino | [51] |
| 19 | Olivier Pernet | [60] |
| 20 | Kaku Takeuchi | [11] |
| 21 | Mario Tokoro | [1] [2] [3] [4] |
| 22 | Emilio Tuosto | [61] |
| 23 | Vasco Thudichum Vasconcelos | [6] [18] [23] [51] [55] |
| 24 | Nobuko Yoshida | [5] [9] [10] [12] [15] [19] [23] [24] [25] [27] [28] [29] [30] [31] [33] [34] [35] [36] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [59] [60] [61] [63] [65] [66] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page