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
ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010
1022010
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
502016
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
462018
On duality relations for session types
G Bernardi, O Dardha, SJ Gay, D Kouzapas
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014
432014
On duality relations for session types
G Bernardi, O Dardha, SJ Gay, D Kouzapas
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014
432014
Globally governed session semantics
D Kouzapas, N Yoshida
Logical Methods in Computer Science 10, 2014
412014
On the relative expressiveness of higher-order session processes
D Kouzapas, JA Pérez, N Yoshida
Information and Computation 268, 104433, 2019
372019
On asynchronous eventful session semantics
D Kouzapas, N Yoshida, R Hu, K Honda
Mathematical Structures in Computer Science 26 (2), 303-364, 2016
362016
On asynchronous session semantics
D Kouzapas, N Yoshida, K Honda
International Conference on Formal Methods for Open Object-Based Distributed …, 2011
332011
A process calculus for dynamic networks
D Kouzapas, A Philippou
International Conference on Formal Methods for Open Object-Based Distributed …, 2011
262011
Session types for broadcasting
D Kouzapas, R Gutkovas, SJ Gay
arXiv preprint arXiv:1406.3481, 2014
222014
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
202018
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
172020
Characteristic bisimulation for higher-order session processes
D Kouzapas, JA Pérez, N Yoshida
Acta informatica 54 (3), 271-341, 2017
172017
Diálogop-A language and a graphical tool for formally defining GDPR purposes
E Vanezi, GM Kapitsaki, D Kouzapas, A Philippou, GA Papadopoulos
Research Challenges in Information Science: 14th International Conference …, 2020
112020
Formal verification of a programmable hypersurface
P Kouvaros, D Kouzapas, A Philippou, J Georgiou, L Petrou, A Pitsillides
Formal Methods for Industrial Critical Systems: 23rd International …, 2018
112018
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
102019
Mungo and StMungo: tools for typechecking protocols in Java
O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber
River Publishers, 2017
102017
Privacy by typing in the -calculus
D Kouzapas, A Philippou
Logical Methods in Computer Science 13, 2017
92017
Type Checking Privacy Policies in the π-calculus
D Kouzapas, A Philippou
Formal Techniques for Distributed Objects, Components, and Systems: 35th …, 2015
92015
The system can't perform the operation now. Try again later.
Articles 1–20