Travelled to:1 × Austria
1 × Cyprus
1 × Czech Republic
1 × Estonia
1 × France
1 × Germany
1 × Iceland
1 × Slovenia
1 × Switzerland
2 × Poland
2 × United Kingdom
3 × Portugal
4 × Italy
8 × USA
Collaborated with:N.Yoshida M.Berger ∅ M.Carbone V.T.Vasconcelos R.Hu M.P.Fiore M.Tokoro N.Ng D.Mostrous M.Kubo S.Abramsky G.McCusker D.Kouzapas O.Pernet
Talks about:type (11) logic (9) process (8) session (7) program (6) calculus (5) higher (5) order (5) asynchron (4) function (4)
Person: Kohei Honda
DBLP: Honda:Kohei
Contributed to:
2014
2012
2012
2010
2009
200920082008
20082007
20072006
2005
20052004
2004200320022002
20022001
20012000199819981997199619941991Wrote 30 papers:
- RTA-TLCA-2014-HondaYB #interactive #process #π-calculus
- Process Types as a Descriptive Tool for Interaction — Control and the π-Calculus (KH, NY, MB), pp. 1–20.
- ICALP-v2-2012-Honda #distributed
- Session Types and Distributed Computing (KH), p. 23.
- TOOLS-EUROPE-2012-NgYH #optimisation #parallel #programming
- Multiparty Session C: Safe Parallel Programming with Message Optimisation (NN, NY, KH), pp. 202–218.
- ECOOP-2010-HuKPYH #java #type safety
- Type-Safe Eventful Sessions in Java (RH, DK, OP, NY, KH), pp. 329–353.
- ESOP-2009-MostrousYH #commutative #type system
- Global Principal Typing in Partially Commutative Asynchronous Sessions (DM, NY, KH), pp. 316–332.
- SFM-2009-CarboneYH #exception #interactive #multi
- Asynchronous Session Types: Exceptions and Multiparty Interactions (MC, NY, KH), pp. 187–212.
- ECOOP-2008-HuYH #distributed #java #programming
- Session-Based Distributed Programming in Java (RH, NY, KH), pp. 516–541.
- ICALP-B-2008-BergerHY #abstraction #logic #mobile #process
- Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes (MB, KH, NY), pp. 99–111.
- POPL-2008-HondaYC #multi
- Multiparty asynchronous session types (KH, NY, MC), pp. 273–284.
- ESOP-2007-CarboneHY #programming #web #web service
- Structured Communication-Centred Programming for Web Services (MC, KH, NY), pp. 2–17.
- FoSSaCS-2007-YoshidaHB #higher-order #logic #reasoning
- Logical Reasoning for Higher-Order Functions with Local State (NY, KH, MB), pp. 361–377.
- ICALP-v2-2006-HondaBY #higher-order #logic
- Descriptive and Relative Completeness of Logics for Higher-Order Functions (KH, MB, NY), pp. 360–371.
- ICFP-2005-BergerHY #alias #analysis #higher-order #imperative #logic
- A logical analysis of aliasing in imperative higher-order functions (MB, KH, NY), pp. 280–293.
- LICS-2005-HondaYB #higher-order #imperative #logic
- An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (KH, NY, MB), pp. 270–279.
- ICFP-2004-Honda #logic #process
- From process logic to program logic (KH), pp. 163–174.
- PPDP-2004-HondaY #composition #higher-order #logic #polymorphism
- A compositional logic for polymorphic higher-order functions (KH, NY), pp. 191–202.
- FoSSaCS-2003-BergerHY #π-calculus
- Genericity and the π-Calculus (MB, KH, NY), pp. 103–119.
- FoSSaCS-2002-YoshidaHB #bisimulation
- Linearity and Bisimulation (NY, KH, MB), pp. 417–434.
- POPL-2002-HondaY #data flow
- A uniform type structure for secure information flow (KH, NY), pp. 81–92.
- WRLA-2002-Honda #game studies #process
- Processes and Games (KH), pp. 40–69.
- LICS-2001-YoshidaBH #normalisation #π-calculus
- Strong Normalisation in the π-Calculus (NY, MB, KH), pp. 311–322.
- TLCA-2001-BergerHY #π-calculus
- Sequentiality and the π-Calculus (MB, KH, NY), pp. 29–45.
- ESOP-2000-HondaVY #behaviour #data flow #process
- Secure Information Flow as Typed Process Behaviour (KH, VTV, NY), pp. 180–199.
- ESOP-1998-HondaVK #programming
- Language Primitives and Type Discipline for Structured Communication-Based Programming (KH, VTV, MK), pp. 122–138.
- LICS-1998-AbramskyHM #game studies #semantics
- A Fully Abstract Game Semantics for General References (SA, KH, GM), pp. 334–344.
- LICS-1998-FioreH #axiom #game studies #process #recursion #representation
- Recursive Types in Games: Axiomatics and Process Representation (MPF, KH), pp. 345–356.
- ICALP-1997-HondaY #analysis #call-by #game studies
- Game Theoretic Analysis of Call-by-Value Computation (KH, NY), pp. 225–236.
- POPL-1996-Honda #process
- Composing Processes (KH), pp. 344–357.
- POPL-1994-HondaY #combinator #mobile #process #representation
- Combinatory Representation of Mobile Processes (KH, NY), pp. 348–360.
- ECOOP-1991-HondaT #calculus #communication
- An Object Calculus for Asynchronous Communication (KH, MT), pp. 133–147.