Type-Safe Eventful Sessions in Java. - Raymond Hu; Dimitrios Kouzapas; Olivier Pernet; Nobuko Yoshida; Kohei Honda 001 (ECOOP, 2010)

A Process Calculus for Dynamic Networks. - Dimitrios Kouzapas; Anna Philippou (FMOODS/FORTE, 2011)

On Asynchronous Session Semantics. - Dimitrios Kouzapas; Nobuko Yoshida; Kohei Honda 001 (FMOODS/FORTE, 2011)

A Typing System for Privacy. - Dimitrios Kouzapas; Anna Philippou (SEFM Workshops, 2013)

A study of bisimulation theory for session types. - Dimitrios Kouzapas (2013)

On Duality Relations for Session Types. - Giovanni Bernardi 001; Ornela Dardha; Simon J. Gay; Dimitrios Kouzapas (TGC, 2014)

Session Types for Broadcasting. - Dimitrios Kouzapas; Ramunas Gutkovas; Simon J. Gay (PLACES, 2014)

Globally Governed Session Semantics. - Dimitrios Kouzapas; Nobuko Yoshida (Log. Methods Comput. Sci., 2014)

Type Checking Privacy Policies in the π-calculus. - Dimitrios Kouzapas; Anna Philippou (FORTE, 2015)

Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness. - Dimitrios Kouzapas; Jorge A. Pérez 001; Nobuko Yoshida (CoRR, 2015)

Typechecking protocols with Mungo and StMungo. - Dimitrios Kouzapas; Ornela Dardha; Roly Perera; Simon J. Gay (PPDP, 2016)

On asynchronous eventful session semantics. - Dimitrios Kouzapas; Nobuko Yoshida; Raymond Hu; Kohei Honda 001 (Math. Struct. Comput. Sci., 2016)

Characteristic bisimulation for higher-order session processes. - Dimitrios Kouzapas; Jorge A. Pérez 001; Nobuko Yoshida (Acta Informatica, 2017)

Privacy by typing in the π-calculus. - Dimitrios Kouzapas; Anna Philippou (Log. Methods Comput. Sci., 2017)

Formal Verification of a Programmable Hypersurface. - Panagiotis Kouvaros; Dimitrios Kouzapas; Anna Philippou; Julius Georgiou; Loukas Petrou; Andreas Pitsillides (FMICS, 2018)

Fault Adaptive Routing in Metasurface Controller Networks. - Taqwa Saeed; Constantinos Skitsas; Dimitrios Kouzapas; Marios Lestas; Vassos Soteriou; Anna Philippou; Sergi Abadal; Christos Liaskos; Loukas Petrou; Julius Georgiou; Andreas Pitsillides (NoCArc@MICRO, 2018)

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java. - Dimitrios Kouzapas; Ornela Dardha; Roly Perera; Simon J. Gay (Sci. Comput. Program., 2018)

A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR. - Evangelia Vanezi; Georgia M. Kapitsaki; Dimitrios Kouzapas; Anna Philippou (ENASE, 2019)

Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models. - Evangelia Vanezi; Dimitrios Kouzapas; Georgia M. Kapitsaki; Anna Philippou (ENASE (Selected Papers), 2019)

GDPR Compliance in the Design of the INFORM e-Learning Platform: a Case Study. - Evangelia Vanezi; Dimitrios Kouzapas; Georgia M. Kapitsaki; Theodora Costi; Alexandros Yeratziotis; Christos Mettouris; Anna Philippou; George A. Papadopoulos (RCIS, 2019)

On the relative expressiveness of higher-order session processes. - Dimitrios Kouzapas; Jorge A. Pérez 001; Nobuko Yoshida (Inf. Comput., 2019)

DiálogoP - A Language and a Graphical Tool for Formally Defining GDPR Purposes. - Evangelia Vanezi; Georgia M. Kapitsaki; Dimitrios Kouzapas; Anna Philippou; George A. Papadopoulos (RCIS, 2020)

Towards fault adaptive routing in metasurface controller networks. - Dimitrios Kouzapas; Constantinos Skitsas; Taqwa Saeed; Vassos Soteriou; Marios Lestas; Anna Philippou; Sergi Abadal; Christos Liaskos; Loukas Petrou; Julius Georgiou; Andreas Pitsillides (J. Syst. Archit., 2020)

Ontology-based reasoning to reconFigure industrial processes for energy efficiency. - Dimitrios Kouzapas; Nearchos Stylianidis; Christos G. Panayiotou; Demetrios G. Eliades (MED, 2023)

iCPS-DL: A Description Language for Autonomic Industrial Cyber-Physical Systems. - Dimitrios Kouzapas; Christos G. Panayiotou; Demetrios G. Eliades (CoRR, 2024)

A Session Type System for Asynchronous Unreliable Broadcast Communication. - Dimitrios Kouzapas; Ramunas Gutkovas; A. Laura Voinea; Simon J. Gay (Log. Methods Comput. Sci., 2024)