| 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 | 103 | 2010 |
| 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 | 54 | 2016 |
| 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 | 52 | 2018 |
| On duality relations for session types G Bernardi, O Dardha, SJ Gay, D Kouzapas Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014 | 48 | 2014 |
| Globally governed session semantics D Kouzapas, N Yoshida Logical Methods in Computer Science 10, 2014 | 41 | 2014 |
| On asynchronous eventful session semantics D Kouzapas, N Yoshida, R Hu, K Honda Mathematical Structures in Computer Science 26 (2), 303-364, 2016 | 40 | 2016 |
| On the relative expressiveness of higher-order session processes D Kouzapas, JA Pérez, N Yoshida Information and Computation 268, 104433, 2019 | 38 | 2019 |
| On asynchronous session semantics D Kouzapas, N Yoshida, K Honda International Conference on Formal Methods for Open Object-Based Distributed …, 2011 | 35 | 2011 |
| A process calculus for dynamic networks D Kouzapas, A Philippou International Conference on Formal Methods for Open Object-Based Distributed …, 2011 | 27 | 2011 |
| Session types for broadcasting D Kouzapas, R Gutkovas, SJ Gay arXiv preprint arXiv:1406.3481, 2014 | 24 | 2014 |
| 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 | 20 | 2018 |
| 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 | 19 | 2020 |
| Characteristic bisimulation for higher-order session processes D Kouzapas, JA Pérez, N Yoshida Acta informatica 54 (3), 271-341, 2017 | 17 | 2017 |
| 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 | 16 | 2020 |
| 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 | 14 | 2019 |
| Privacy by typing in the -calculus D Kouzapas, A Philippou Logical Methods in Computer Science 13, 2017 | 12 | 2017 |
| 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 | 11 | 2018 |
| Type Checking Privacy Policies in the π-calculus D Kouzapas, A Philippou Formal Techniques for Distributed Objects, Components, and Systems: 35th …, 2015 | 11 | 2015 |
| Mungo and StMungo: tools for typechecking protocols in Java O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber River Publishers, 2017 | 10 | 2017 |
| A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR. E Vanezi, GM Kapitsaki, D Kouzapas, A Philippou ENASE, 68-79, 2019 | 6 | 2019 |
Anna PhilippouUniversity of CyprusVerified email at ucy.ac.cy
