The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kohei Honda: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kohei Honda
    Types for Dynamic Interaction. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:509-523 [Conf]
  2. Mario Tokoro, Kohei Honda
    The Computational Field Model for Open Distributed Environments. [Citation Graph (0, 0)][DBLP]
    Concurrency: Theory, Language, And Architecture, 1989, pp:136-141 [Conf]
  3. Vasco Thudichum Vasconcelos, Kohei Honda
    Principal Typing Schemes in a Polyadic pi-Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:524-538 [Conf]
  4. Kohei Honda, Mario Tokoro
    An Object Calculus for Asynchronous Communication. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1991, pp:133-147 [Conf]
  5. Kohei Honda, Mario Tokoro
    On Asynchronous Communication Semantics. [Citation Graph (0, 0)][DBLP]
    Object-Based Concurrent Computing, 1991, pp:21-51 [Conf]
  6. Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo
    Language Primitives and Type Discipline for Structured Communication-Based Programming. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:122-138 [Conf]
  7. Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
    Secure Information Flow as Typed Process Behaviour. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:180-199 [Conf]
  8. Martin Berger, Kohei Honda, Nobuko Yoshida
    Genericity and the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:103-119 [Conf]
  9. Nobuko Yoshida, Kohei Honda, Martin Berger
    Linearity and Bisimulation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:417-434 [Conf]
  10. Kohei Honda, Nobuko Yoshida
    On Reduction-Based Semantics. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1993, pp:373-387 [Conf]
  11. Kohei Honda, Martin Berger, Nobuko Yoshida
    Descriptive and Relative Completeness of Logics for Higher-Order Functions. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:360-371 [Conf]
  12. Kohei Honda, Nobuko Yoshida
    Game Theoretic Analysis of Call-by-Value Computation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:225-236 [Conf]
  13. Martin Berger, Kohei Honda, Nobuko Yoshida
    A logical analysis of aliasing in imperative higher-order functions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:280-293 [Conf]
  14. Kohei Honda
    From process logic to program logic. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:163-174 [Conf]
  15. Samson Abramsky, Kohei Honda, Guy McCusker
    A Fully Abstract Game Semantics for General References. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:334-344 [Conf]
  16. Marcelo P. Fiore, Kohei Honda
    Recursive Types in Games: Axiomatics and Process Representation. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:345-356 [Conf]
  17. Kohei Honda, Nobuko Yoshida, Martin Berger
    An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:270-279 [Conf]
  18. Nobuko Yoshida, Martin Berger, Kohei Honda
    Strong Normalisation in the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:311-322 [Conf]
  19. Kaku Takeuchi, Kohei Honda, Makoto Kubo
    An Interaction-based Language and its Typing System. [Citation Graph (0, 0)][DBLP]
    PARLE, 1994, pp:398-413 [Conf]
  20. Kohei Honda
    Composing Processes. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:344-357 [Conf]
  21. Kohei Honda, Nobuko Yoshida
    A uniform type structure for secure information flow. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:81-92 [Conf]
  22. Kohei Honda, Nobuko Yoshida
    Combinatory Representation of Mobile Processes. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:348-360 [Conf]
  23. Kohei Honda, Nobuko Yoshida
    A compositional logic for polymorphic higher-order functions. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:191-202 [Conf]
  24. Kohei Honda, Nobuko Yoshida
    Replication in Concurrent Combinators. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:786-805 [Conf]
  25. Martin Berger, Kohei Honda, Nobuko Yoshida
    Sequentiality and the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    TLCA, 2001, pp:29-45 [Conf]
  26. Kohei Honda
    Notes on P-Algebra 1: Process Structure. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:25-44 [Conf]
  27. Martin Berger, Kohei Honda, Nobuko Yoshida
    Genericity and the pi-calculus. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:42, n:2-3, pp:83-141 [Journal]
  28. Kohei Honda
    Semantics Study and Reality of Computing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1999, v:31, n:3es, pp:14- [Journal]
  29. Martin Berger, Kohei Honda
    The Two-Phase Commitment Protocol in an Extended pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:1, pp:- [Journal]
  30. Kohei Honda
    Processes and Games. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  31. Kohei Honda
    Abstract Process Structures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  32. Kohei Honda
    Process Algebras in the Age of Ubiquitous Computing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:217-220 [Journal]
  33. Nobuko Yoshida, Martin Berger, Kohei Honda
    Strong normalisation in the pi -calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:191, n:2, pp:145-202 [Journal]
  34. Kohei Honda, Nobuko Yoshida
    Noninterference through flow analysis. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:2, pp:293-349 [Journal]
  35. Kohei Honda
    Elementary structures in process theory (1): Sets with renaming. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:5, pp:617-663 [Journal]
  36. Kohei Honda, Mario Tokoro
    A small calculus for concurrent objects. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1991, v:2, n:2, pp:50-54 [Journal]
  37. Kohei Honda, Nobuko Yoshida
    On Reduction-Based Process Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:2, pp:437-486 [Journal]
  38. Kohei Honda, Nobuko Yoshida
    Game-Theoretic Analysis of Call-by-Value Computation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:221, n:1-2, pp:393-456 [Journal]
  39. Marco Carbone, Kohei Honda, Nobuko Yoshida
    Structured Communication-Centred Programming for Web Services. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:2-17 [Conf]
  40. Nobuko Yoshida, Kohei Honda, Martin Berger
    Logical Reasoning for Higher-Order Functions with Local State. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:361-377 [Conf]
  41. Marco Carbone, Kohei Honda, Nobuko Yoshida
    A Calculus of Global Interaction based on Session Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:171, n:3, pp:127-151 [Journal]
  42. Nobuko Yoshida, Kohei Honda, Martin Berger
    Linearity and bisimulation. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:72, n:2, pp:207-238 [Journal]
  43. Kohei Honda, Nobuko Yoshida
    A uniform type structure for secure information flow. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:6, pp:- [Journal]

  44. Structured Interactional Exceptions in Session Types. [Citation Graph (, )][DBLP]


  45. A Theory of Design-by-Contract for Distributed Multiparty Interactions. [Citation Graph (, )][DBLP]


  46. Session-Based Distributed Programming in Java. [Citation Graph (, )][DBLP]


  47. Type-Safe Eventful Sessions in Java. [Citation Graph (, )][DBLP]


  48. Global Principal Typing in Partially Commutative Asynchronous Sessions. [Citation Graph (, )][DBLP]


  49. Session-Based Compilation Framework for Multicore Programming. [Citation Graph (, )][DBLP]


  50. Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. [Citation Graph (, )][DBLP]


  51. Multiparty asynchronous session types. [Citation Graph (, )][DBLP]


  52. Asynchronous Session Types: Exceptions and Multiparty Interactions. [Citation Graph (, )][DBLP]


  53. A Unified Theory of Program Logics: An Approach based on the n-Calculus. [Citation Graph (, )][DBLP]


  54. Logical Reasoning for Higher-Order Functions with Local State [Citation Graph (, )][DBLP]


  55. Theoretical Aspects of Communication-Centred Programming. [Citation Graph (, )][DBLP]


  56. Type-Directed Compilation for Multicore Programming. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002