Concepedia

Dimitrios Kouzapas

DK

Statistics

Publications

9

Citations

204

H-Index

9

Active since

2014

Affiliations

University of Glasgow(Current)

Imperial College London

University of Cyprus

Centrum Wiskunde & Informatica

University of Groningen

Dimitrios Kouzapas is an author at University of Glasgow specializing in computer science, computing, and formal methods.

Publications per year

2014–2019

9

Publications

9

Typechecking protocols with Mungo and StMungo

Dimitrios Kouzapas, Ornela Dardha, Roly Perera et al. · 2016 · 37 citations · Full text

Computing, Computer Science, Computer Systems +17

On asynchronous eventful session semantics

Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu et al. · Mathematical Structures in Computer Science · 2014 · 33 citations

Computing, Computer Engineering, Computer Science +15

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java

Dimitrios Kouzapas, Ornela Dardha, Roly Perera et al. · Science of Computer Programming · 2017 · 32 citations · Full text

Computing, Computer Science, Computer Systems +16

Globally Governed Session Semantics

Dimitrios Kouzapas, Nobuko Yoshida · Logical Methods in Computer Science · 2014 · 26 citations · Full text

Computing, Computer Science, Computer Systems +17

Towards fault adaptive routing in metasurface controller networks

Dimitrios Kouzapas, Constantinos Skitsas, Taqwa Saeed et al. · Journal of Systems Architecture · 2019 · 23 citations · Full text

Computing, Computer Engineering, Computer Science +14

1–5 of 9