Concepedia

Kohei Honda

KH

37

Publications

2.9K

Citations

24

H-Index

1991

Active since

Affiliations

Queen Mary University of London(Current)

Imperial College London

University of Leicester

University of London

Keio University

Kohei Honda is an author at Queen Mary University of London specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisSoftware AnalysisVerificationSemanticsSystem Software

Publications per year

1991–2016

37

Publications

37

Multiparty asynchronous session types

Kohei Honda, Nobuko Yoshida, Marco Carbone · 2008 · 646 citations · Full text

Engineering, Verification, Concurrent System +19

On reduction-based process semantics

Kohei Honda, Nobuko Yoshida · Theoretical Computer Science · 1995 · 287 citations

Engineering, Automated Reasoning, Formal Methods +8

Multiparty Asynchronous Session Types

Kohei Honda, Nobuko Yoshida, Marco Carbone · Journal of the ACM · 2016 · 275 citations · Full text

Engineering, Verification, Software Engineering +18

A fully abstract game semantics for general references

Samson Abramsky, Kohei Honda, Guy McCusker · 2002 · 200 citations

Pure Functional Languages, High-level Programming Language, Engineering +14

Multiparty asynchronous session types

Kohei Honda, Nobuko Yoshida, Marco Carbone · ACM SIGPLAN Notices · 2008 · 172 citations

Engineering, Verification, Concurrent System +19

Rows per page

1–5 of 37