KH
Kohei Honda
Queen Mary University of London96
Publications
6,963
Citations
37
h-index
70
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (55)
- Book Chapter (39)
- Paratext (1)
- Review (1)
Filter by Open Access Type
- Open Access (34)
- Closed Access (62)
Filter by Authors
- Kohei Honda (96)
- Nobuko Yoshida (58)
- Martin Berger (18)
- Marco Carbone (9)
- Vasco T. Vasconcelos (7)
Filter by Topics
- Logic, programming, and type systems (69)
- Formal Methods in Verification (45)
- Distributed systems and fault tolerance (31)
- Logic, Reasoning, and Knowledge (31)
- Parallel Computing and Optimization Techniques (15)