World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
43
Citations
9636
World Ranking
7874
National Ranking
471

Overview

Kohei Honda was affiliated with Queen Mary University of London in the United Kingdom. Their academic profile does not include specific recent papers, co-authors, or publication venues, indicating either limited publication output or unavailable data in these categories.

There is no documented information on their main fields or subfields of study, nor on particular research topics. This lack of details suggests that data regarding their scientific focus was not recorded or is inaccessible.

The absence of recorded awards or book publications means there is no formal recognition or authorship of books associated with Honda in the available records.

Overall, the available information provides a basic affiliation and the knowledge that they are deceased, but does not offer further insight into their research contributions, collaborations, or academic impact.

Best Publications

  • Language Primitives and Type Discipline for Structured Communication-Based Programming

    Kohei Honda;Vasco Thudichum Vasconcelos;Makoto Kubo

  • Multiparty asynchronous session types

    Kohei Honda;Nobuko Yoshida;Marco Carbone

  • An Object Calculus for Asynchronous Communication

    Kohei Honda;Mario Tokoro

  • Types for dyadic interaction

    Kohei Honda

  • An Interaction-based Language and its Typing System

    Kaku Takeuchi;Kohei Honda;Makoto Kubo

  • Structured communication-centred programming for web services

    Marco Carbone;Kohei Honda;Nobuko Yoshida

  • On reduction-based process semantics

    Kohei Honda;Nobuko Yoshida

  • Multiparty Asynchronous Session Types

    Kohei Honda;Nobuko Yoshida;Marco Carbone

  • A fully abstract game semantics for general references

    S. Abramsky;K. Honda;G. McCusker

  • Session-Based Distributed Programming in Java

    Raymond Hu;Nobuko Yoshida;Kohei Honda

  • A theory of design-by-contract for distributed multiparty interactions

    Laura Bocchi;Kohei Honda;Emilio Tuosto;Nobuko Yoshida

  • Secure Information Flow as Typed Process Behaviour

    Kohei Honda;Vasco Thudichum Vasconcelos;Nobuko Yoshida

  • On Asynchronous Communication Semantics

    Kohei Honda;Mario Tokoro

  • Types for Dynamic Interaction

    Kohei Honda

  • Strong normalisation in the π-calculus

    Nobuko Yoshida;Martin Berger;Kohei Honda

  • Scribbling interactions with a formal foundation

    Kohei Honda;Aybek Mukhamedov;Gary Brown;Tzu-Chun Chen

  • Principal Typing Schemes in a Polyadic pi-Calculus

    Vasco Thudichum Vasconcelos;Kohei Honda

  • Global Principal Typing in Partially Commutative Asynchronous Sessions

    Dimitris Mostrous;Nobuko Yoshida;Kohei Honda

  • A uniform type structure for secure information flow

    Kohei Honda;Nobuko Yoshida

  • Structured Communication-Centered Programming for Web Services

    Marco Carbone;Kohei Honda;Nobuko Yoshida

  • Game-theoretic analysis of call-by-value computation

    Kohei Honda;Nobuko Yoshida

Frequent Co-Authors

Nobuko Yoshida
Nobuko Yoshida University of Oxford
Samson Abramsky
Samson Abramsky University of Oxford

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science can open doors to diverse online degrees and exciting career prospects. Many students consider programs that allow flexibility, such as a 1 year computer science degree online. These accelerated options help you start your tech career quickly while balancing other commitments.

Computer Science skills are valued in other fields as well. For example, you may discover similarities with environmental studies—learning what can you do with an environmental studies degree can expand your perspective on interdisciplinary innovation.

Engineering is another promising path. If you’re interested in sustainable solutions, an environmental engineer degree online could combine technical expertise with environmental responsibility. Alternatively, you might explore the costs and benefits of a mechanical engineering degree cost to see how its skills align with Computer Science fundamentals.

No matter your chosen path, flexible online programs make switching or advancing careers in related STEM fields more accessible than ever.

Best Scientists Citing Kohei Honda