Follow
Dimitrios Kouzapas
Title
Cited by
Cited by
Year
Type-safe eventful sessions in Java
R Hu, D Kouzapas, O Pernet, N Yoshida, K Honda
European Conference on Object-Oriented Programming, 329-353, 2010
992010
Typechecking protocols with Mungo and StMungo
D Kouzapas, O Dardha, R Perera, SJ Gay
Proceedings of the 18th International Symposium on Principles and Practice …, 2016
452016
On duality relations for session types
G Bernardi, O Dardha, SJ Gay, D Kouzapas
International Symposium on Trustworthy Global Computing, 51-66, 2014
432014
On duality relations for session types
G Bernardi, O Dardha, SJ Gay, D Kouzapas
International Symposium on Trustworthy Global Computing, 51-66, 2014
432014
Globally governed session semantics
D Kouzapas, N Yoshida
International Conference on Concurrency Theory, 395-409, 2013
392013
On asynchronous eventful session semantics
D Kouzapas, N Yoshida, R Hu, K Honda
Mathematical Structures in Computer Science 26 (2), 303-364, 2016
342016
On the relative expressiveness of higher-order session processes
D Kouzapas, JA Pérez, N Yoshida
Information and Computation 268, 104433, 2019
332019
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java
D Kouzapas, O Dardha, R Perera, SJ Gay
Science of Computer Programming 155, 52-75, 2018
322018
On asynchronous session semantics
D Kouzapas, N Yoshida, K Honda
Formal Techniques for Distributed Systems, 228-243, 2011
312011
A process calculus for dynamic networks
D Kouzapas, A Philippou
Formal Techniques for Distributed Systems, 213-227, 2011
252011
Session types for broadcasting
D Kouzapas, R Gutkovas, SJ Gay
arXiv preprint arXiv:1406.3481, 2014
202014
Fault adaptive routing in metasurface controller networks
T Saeed, C Skitsas, D Kouzapas, M Lestas, V Soteriou, A Philippou, ...
2018 11th International Workshop on Network on Chip Architectures (NoCArc), 1-6, 2018
182018
Characteristic bisimulation for higher-order session processes
D Kouzapas, JA Pérez, N Yoshida
Acta informatica 54 (3), 271-341, 2017
142017
Towards fault adaptive routing in metasurface controller networks
D Kouzapas, C Skitsas, T Saeed, V Soteriou, M Lestas, A Philippou, ...
Journal of Systems Architecture 106, 101703, 2020
132020
Type checking privacy policies in the π-calculus
D Kouzapas, A Philippou
International Conference on Formal Techniques for Distributed Objects …, 2015
102015
GDPR Compliance in the Design of the INFORM e-Learning Platform: a Case Study
E Vanezi, D Kouzapas, GM Kapitsaki, T Costi, A Yeratziotis, C Mettouris, ...
2019 13th International Conference on Research Challenges in Information …, 2019
92019
Formal verification of a programmable hypersurface
P Kouvaros, D Kouzapas, A Philippou, J Georgiou, L Petrou, A Pitsillides
International Workshop on Formal Methods for Industrial Critical Systems, 83-97, 2018
92018
Privacy by typing in the -calculus
D Kouzapas, A Philippou
arXiv preprint arXiv:1710.06494, 2017
92017
Mungo and StMungo: tools for typechecking protocols in Java
O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber
Behavioural Types: from Theory to Tools, Simon Gay and Antonio Ravara (Eds …, 2017
82017
A Study of Bisimulation Theory for Session Types
D Kouzapas
Imperial College London, 2012
72012
The system can't perform the operation now. Try again later.
Articles 1–20