Kohei Honda - RankMe

84 papers A* 9A 9B 12C 2Misc 1Journal 21Unranked 29

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	Monitoring networks through multiparty session types. Theor. Comput. Sci. Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
2016	J	`jnl`	Multiparty Asynchronous Session Types. J. ACM Kohei Honda, Nobuko Yoshida, Marco Carbone
2016	J	`jnl`	On asynchronous eventful session semantics. Math. Struct. Comput. Sci. Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda
2015	J	`jnl`	Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods Syst. Des. Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2014	J	`jnl`	An observationally complete program logic for imperative higher-order functions. Theor. Comput. Sci. Kohei Honda, Nobuko Yoshida, Martin Berger
2014	—	`conf`	Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus. RTA-TLCA Kohei Honda, Nobuko Yoshida, Martin Berger
2014	—	`conf`	Structuring Communication with Session Types. Concurrent Objects and Beyond Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
2013	—	`conf`	Monitoring Networks through Multiparty Session Types. FMOODS/FORTE Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
2013	B	`conf`	Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. RV Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
2012	B	`conf`	Intensional and Extensional Characterisation of Global Progress in the π-Calculus. CONCUR Luca Fossati, Kohei Honda, Nobuko Yoshida
2012	—	`conf`	Multiparty Session C: Safe Parallel Programming with Message Optimisation. TOOLS (50) Nicholas Ng, Nobuko Yoshida, Kohei Honda
2012	B	`conf`	Nested Protocols in Session Types. CONCUR Romain Demangeon, Kohei Honda
2012	—	`conf`	Session Types and Distributed Computing. ICALP (2) Kohei Honda
2012	B	`conf`	Specifying Stateful Asynchronous Properties for Distributed Programs. CONCUR Tzu-Chun Chen, Kohei Honda
2012	J	`jnl`	Structured Communication-Centered Programming for Web Services. ACM Trans. Program. Lang. Syst. Marco Carbone, Kohei Honda, Nobuko Yoshida
2012	C	`conf`	Verification of MPI Programs Using Session Types. EuroMPI Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2011	J	`jnl`	A Unified Theory of Program Logics: An Approach based on the π-Calculus. Comput. J. Kohei Honda, Nobuko Yoshida
2011	—	`conf`	Asynchronous Distributed Monitoring for Multiparty Session Enforcement. TGC Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida
2011	B	`conf`	Full Abstraction in a Subtyped pi-Calculus with Linear Types. CONCUR Romain Demangeon, Kohei Honda
2011	—	`conf`	On Asynchronous Session Semantics. FMOODS/FORTE Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda
2011	Misc	`conf`	Scribbling Interactions with a Formal Foundation. ICDCIT Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida
2011	—	`conf`	Understanding Distributed Services through the π-Calculus. WS-FM Kohei Honda
2010	B	`conf`	A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida
2010	J	`jnl`	An exact correspondence between a typed pi-calculus and polarised proof-nets. Theor. Comput. Sci. Kohei Honda, Olivier Laurent
2010	—	`conf`	Multiparty Symmetric Sum Types EXPRESS Lasse Nielsen, Nobuko Yoshida, Kohei Honda
2010	—	`ed.`	Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010. PLACES Kohei Honda, Alan Mycroft
2010	A	`conf`	Type-Safe Eventful Sessions in Java. ECOOP Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda
2009	—	`conf`	Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM Marco Carbone, Nobuko Yoshida, Kohei Honda
2009	A	`conf`	Global Principal Typing in Partially Commutative Asynchronous Sessions. ESOP Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
2008	—	`conf`	A Unified Theory of Program Logics: An Approach based on the n-Calculus. BCS Int. Acad. Conf. Kohei Honda, Nobuko Yoshida
2008	—	`conf`	Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) Martin Berger, Kohei Honda, Nobuko Yoshida
2008	J	`jnl`	Logical Reasoning for Higher-Order Functions with Local State CoRR Nobuko Yoshida, Kohei Honda, Martin Berger
2008	J	`jnl`	Logical Reasoning for Higher-Order Functions with Local State. Log. Methods Comput. Sci. Nobuko Yoshida, Kohei Honda, Martin Berger
2008	A*	`conf`	Multiparty asynchronous session types. POPL Kohei Honda, Nobuko Yoshida, Marco Carbone
2008	—	`conf`	Session-Based Compilation Framework for Multicore Programming. FMCO Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda
2008	A	`conf`	Session-Based Distributed Programming in Java. ECOOP Raymond Hu, Nobuko Yoshida, Kohei Honda
2008	B	`conf`	Structured Interactional Exceptions in Session Types. CONCUR Marco Carbone, Kohei Honda, Nobuko Yoshida
2008	—	`conf`	Type-Directed Compilation for Multicore Programming. PLACES@DisCoTec Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2007	J	`jnl`	A logical analysis of aliasing in imperative higher-order functions. J. Funct. Program. Martin Berger, Kohei Honda, Nobuko Yoshida
2007	J	`jnl`	A uniform type structure for secure information flow. ACM Trans. Program. Lang. Syst. Kohei Honda, Nobuko Yoshida
2007	J	`jnl`	Linearity and bisimulation. J. Log. Algebraic Methods Program. Nobuko Yoshida, Kohei Honda, Martin Berger
2007	B	`conf`	Logical Reasoning for Higher-Order Functions with Local State. FoSSaCS Nobuko Yoshida, Kohei Honda, Martin Berger
2007	A	`conf`	Structured Communication-Centred Programming for Web Services. ESOP Marco Carbone, Kohei Honda, Nobuko Yoshida
2007	J	`jnl`	Web Services, Mobile Processes and Types. Bull. EATCS Kohei Honda, Nobuko Yoshida, Marco Carbone
2006	—	`conf`	A Calculus of Global Interaction based on Session Types. DCM@ICALP Marco Carbone, Kohei Honda, Nobuko Yoshida
2006	—	`conf`	Descriptive and Relative Completeness of Logics for Higher-Order Functions. ICALP (2) Kohei Honda, Martin Berger, Nobuko Yoshida
2006	—	`conf`	Theoretical Aspects of Communication-Centred Programming. LIX Marco Carbone, Kohei Honda, Nobuko Yoshida
2005	A	`conf`	A logical analysis of aliasing in imperative higher-order functions. ICFP Martin Berger, Kohei Honda, Nobuko Yoshida
2005	A*	`conf`	An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. LICS Kohei Honda, Nobuko Yoshida, Martin Berger
2005	J	`jnl`	Genericity and the pi-calculus. Acta Informatica Martin Berger, Kohei Honda, Nobuko Yoshida
2005	J	`jnl`	Noninterference through flow analysis. J. Funct. Program. Kohei Honda, Nobuko Yoshida
2005	—	`conf`	Process Algebras in the Age of Ubiquitous Computing. APC 25 Kohei Honda
2004	C	`conf`	A compositional logic for polymorphic higher-order functions. PPDP Kohei Honda, Nobuko Yoshida
2004	A	`conf`	From process logic to program logic. ICFP Kohei Honda
2004	J	`jnl`	Strong normalisation in the pi -calculus. Inf. Comput. Nobuko Yoshida, Martin Berger, Kohei Honda
2003	B	`conf`	Genericity and the pi-Calculus. FoSSaCS Martin Berger, Kohei Honda, Nobuko Yoshida
2002	A*	`conf`	A uniform type structure for secure information flow. POPL Kohei Honda, Nobuko Yoshida
2002	B	`conf`	Linearity and Bisimulation. FoSSaCS Nobuko Yoshida, Kohei Honda, Martin Berger
2002	—	`conf`	Processes and Games. WRLA Kohei Honda
2001	—	`conf`	Sequentiality and the pi-Calculus. TLCA Martin Berger, Kohei Honda, Nobuko Yoshida
2001	A*	`conf`	Strong Normalisation in the pi-Calculus. LICS Nobuko Yoshida, Martin Berger, Kohei Honda
2000	J	`jnl`	Elementary structures in process theory (1): Sets with renaming. Math. Struct. Comput. Sci. Kohei Honda
2000	A	`conf`	Secure Information Flow as Typed Process Behaviour. ESOP Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2000	—	`conf`	The Two-Phase Commitment Protocol in an Extended pi-Calculus. EXPRESS Martin Berger, Kohei Honda
1999	J	`jnl`	Game-Theoretic Analysis of Call-by-Value Computation. Theor. Comput. Sci. Kohei Honda, Nobuko Yoshida
1999	J	`jnl`	Semantics Study and Reality of Computing. ACM Comput. Surv. Kohei Honda
1998	A*	`conf`	A Fully Abstract Game Semantics for General References. LICS Samson Abramsky, Kohei Honda, Guy McCusker
1998	A	`conf`	Language Primitives and Type Discipline for Structured Communication-Based Programming. ESOP Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo
1998	A*	`conf`	Recursive Types in Games: Axiomatics and Process Representation. LICS Marcelo P. Fiore, Kohei Honda
1997	A*	`conf`	Game Theoretic Analysis of Call-by-Value Computation. ICALP Kohei Honda, Nobuko Yoshida
1996	—	`conf`	Abstract Process Structures. Linear Logic Tokyo Meeting Kohei Honda
1996	A*	`conf`	Composing Processes. POPL Kohei Honda
1995	J	`jnl`	On Reduction-Based Process Semantics. Theor. Comput. Sci. Kohei Honda, Nobuko Yoshida
1994	—	`conf`	An Interaction-based Language and its Typing System. PARLE Kaku Takeuchi, Kohei Honda, Makoto Kubo
1994	A*	`conf`	Combinatory Representation of Mobile Processes. POPL Kohei Honda, Nobuko Yoshida
1994	—	`conf`	Notes on P-Algebra 1: Process Structure. Theory and Practice of Parallel Programming Kohei Honda
1994	—	`conf`	Replication in Concurrent Combinators. TACS Kohei Honda, Nobuko Yoshida
1993	—	`conf`	On Reduction-Based Semantics. FSTTCS Kohei Honda, Nobuko Yoshida
1993	B	`conf`	Principal Typing Schemes in a Polyadic pi-Calculus. CONCUR Vasco Thudichum Vasconcelos, Kohei Honda
1993	B	`conf`	Types for Dyadic Interaction. CONCUR Kohei Honda
1991	A	`conf`	An Object Calculus for Asynchronous Communication. ECOOP Kohei Honda, Mario Tokoro
1991	—	`conf`	On Asynchronous Communication Semantics. Object-Based Concurrent Computing Kohei Honda, Mario Tokoro
1990	—	`conf`	A small calculus for concurrent objects. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming Kohei Honda, Mario Tokoro
1989	—	`conf`	The Computational Field Model for Open Distributed Environments. Concurrency: Theory, Language, And Architecture Mario Tokoro, Kohei Honda