Kohei Honda

6.9k total citations
47 papers, 1.3k citations indexed

About

Kohei Honda is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Kohei Honda has authored 47 papers receiving a total of 1.3k indexed citations (citations by other indexed papers that have themselves been cited), including 39 papers in Artificial Intelligence, 28 papers in Computational Theory and Mathematics and 15 papers in Computer Networks and Communications. Recurrent topics in Kohei Honda's work include Logic, programming, and type systems (36 papers), Formal Methods in Verification (24 papers) and Logic, Reasoning, and Knowledge (18 papers). Kohei Honda is often cited by papers focused on Logic, programming, and type systems (36 papers), Formal Methods in Verification (24 papers) and Logic, Reasoning, and Knowledge (18 papers). Kohei Honda collaborates with scholars based in United Kingdom, Denmark and Japan. Kohei Honda's co-authors include Nobuko Yoshida, Marco Carbone, Martin Berger, Samson Abramsky, Guy McCusker, Mario Tokoro, Raymond Hu, Olivier Laurent, Romain Demangeon and Rumyana Neykova and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM Computing Surveys and Journal of the ACM.

In The Last Decade

Kohei Honda

45 papers receiving 1.3k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Kohei Honda United Kingdom	18	1.2k	724	534	200	138	47	1.3k
Giuseppe Castagna France	19	1.1k 0.9×	469 0.6×	478 0.9×	347 1.7×	153 1.1×	53	1.3k
Stephen Brookes United States	11	648 0.5×	575 0.8×	301 0.6×	86 0.4×	177 1.3×	40	920
Gavin Bierman United Kingdom	17	902 0.8×	396 0.5×	446 0.8×	307 1.5×	206 1.5×	47	1.1k
Luı́s Caires Portugal	13	518 0.4×	344 0.5×	221 0.4×	92 0.5×	48 0.3×	34	603
Ernst-Rüdiger Olderog Germany	16	654 0.6×	708 1.0×	213 0.4×	96 0.5×	132 1.0×	56	959
Vasco T. Vasconcelos Portugal	15	737 0.6×	485 0.7×	260 0.5×	162 0.8×	137 1.0×	77	837
Sophia Drossopoulou United Kingdom	17	710 0.6×	218 0.3×	285 0.5×	305 1.5×	201 1.5×	84	880
Helmut Seidl Germany	17	725 0.6×	628 0.9×	208 0.4×	125 0.6×	169 1.2×	92	978
Rodney Topor Australia	18	770 0.7×	228 0.3×	453 0.8×	178 0.9×	42 0.3×	45	947
R. J. R. Back Finland	15	583 0.5×	517 0.7×	280 0.5×	148 0.7×	184 1.3×	39	875

Countries citing papers authored by Kohei Honda

Since Specialization

Citations

This map shows the geographic impact of Kohei Honda's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Kohei Honda with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Kohei Honda more than expected).

Fields of papers citing papers by Kohei Honda

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Kohei Honda. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Kohei Honda. The network helps show where Kohei Honda may publish in the future.

Co-authorship network of co-authors of Kohei Honda

This figure shows the co-authorship network connecting the top 25 collaborators of Kohei Honda. A scholar is included among the top collaborators of Kohei Honda based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Kohei Honda. Kohei Honda is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Honda, Kohei, Nobuko Yoshida, & Marco Carbone. (2016). Multiparty Asynchronous Session Types. Journal of the ACM. 63(1). 1–67. 112 indexed citations

Demangeon, Romain, Kohei Honda, Raymond Hu, Rumyana Neykova, & Nobuko Yoshida. (2014). Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods in System Design. 46(3). 197–225. 24 indexed citations

Carbone, Marco, Kohei Honda, & Nobuko Yoshida. (2012). Structured Communication-Centered Programming for Web Services. ACM Transactions on Programming Languages and Systems. 34(2). 1–78. 45 indexed citations

Honda, Kohei & Olivier Laurent. (2010). An exact correspondence between a typed pi-calculus and polarised proof-nets. Theoretical Computer Science. 411(22-24). 2223–2238. 13 indexed citations

Honda, Kohei, et al.. (2009). Performance evaluations of PC clusters for large scale numerical analyses. 2009 ICCAS-SICE. 5544–5547. 3 indexed citations

Honda, Kohei, et al.. (2009). Session-based Type Discipline for Pi Calculus with Matching. Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT). 5 indexed citations

Honda, Kohei, Vasco T. Vasconcelos, & Nobuko Yoshida. (2009). Type-Directed Compilation for Multicore Programming. Electronic Notes in Theoretical Computer Science. 241. 101–111. 2 indexed citations

Yoshida, Nobuko, Kohei Honda, & Martin Berger. (2008). Logical Reasoning for Higher-Order Functions with Local State. Logical Methods in Computer Science. Volume 4, Issue 4. 9 indexed citations

Honda, Kohei, Nobuko Yoshida, & Marco Carbone. (2007). Web Services, Mobile Processes and Types.. Bulletin of the European Association for Theoretical Computer Science. 91. 160–185. 7 indexed citations

10.

Berger, Martin, Kohei Honda, & Nobuko Yoshida. (2007). A logical analysis of aliasing in imperative higher-order functions. Journal of Functional Programming. 17(4-5). 473–546. 3 indexed citations

11.

Carbone, Marco, Kohei Honda, & Nobuko Yoshida. (2007). A Calculus of Global Interaction based on Session Types. Electronic Notes in Theoretical Computer Science. 171(3). 127–151. 26 indexed citations

12.

Berger, Martin, Kohei Honda, & Nobuko Yoshida. (2005). A logical analysis of aliasing in imperative higher-order functions. 280–293. 23 indexed citations

13.

Honda, Kohei & Nobuko Yoshida. (2005). Noninterference through flow analysis. Journal of Functional Programming. 15(2). 293–349. 5 indexed citations

14.

Berger, Martin, Kohei Honda, & Nobuko Yoshida. (2005). A logical analysis of aliasing in imperative higher-order functions. ACM SIGPLAN Notices. 40(9). 280–293. 1 indexed citations

15.

Berger, Martin & Kohei Honda. (2004). Towards Abstractions For Distributed Systems. OpenGrey (Institut de l'Information Scientifique et Technique). 12 indexed citations

16.

Honda, Kohei & Nobuko Yoshida. (2002). A uniform type structure for secure information flow. 81–92. 59 indexed citations

17.

Honda, Kohei & Nobuko Yoshida. (1999). Game-theoretic analysis of call-by-value computation. Theoretical Computer Science. 221(1-2). 393–456. 43 indexed citations

18.

Honda, Kohei & Nobuko Yoshida. (1995). On reduction-based process semantics. Theoretical Computer Science. 151(2). 437–486. 156 indexed citations

19.

Honda, Kohei. (1993). Types for Dynamic Interaction. 509–523. 52 indexed citations

20.

Honda, Kohei & Nobuko Yoshida. (1993). On Reduction-Based Semantics. 373–387. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact