Dimitrios Kouzapas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
10
Active years
2010–2020
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | RCIS | DilogoP - A Language and a Graphical Tool for Formally Defining GDPR Purposes. | Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou, George A. Papadopoulos |
| 2019 | ENASE | A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR. | Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou |
| 2019 | ENASE | Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models. | Evangelia Vanezi, Dimitrios Kouzapas, Georgia M. Kapitsaki, Anna Philippou |
| 2019 | RCIS | 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 |
| 2018 | FMICS | Formal Verification of a Programmable Hypersurface. | Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides |
| 2018 | MICRO | 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 |
| 2016 | ESOP | On the Relative Expressiveness of Higher-Order Session Processes. | Dimitrios Kouzapas, Jorge A. Prez, Nobuko Yoshida |
| 2016 | PPDP | Typechecking protocols with Mungo and StMungo. | Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay |
| 2015 | CONCUR | Characteristic Bisimulation for Higher-Order Session Processes. | Dimitrios Kouzapas, Jorge A. Prez, Nobuko Yoshida |
| 2015 | FORTE | Type Checking Privacy Policies in the π-calculus. | Dimitrios Kouzapas, Anna Philippou |
| 2013 | CONCUR | Globally Governed Session Semantics. | Dimitrios Kouzapas, Nobuko Yoshida |
| 2013 | SEFM | A Typing System for Privacy. | Dimitrios Kouzapas, Anna Philippou |
| 2011 | FORTE | A Process Calculus for Dynamic Networks. | Dimitrios Kouzapas, Anna Philippou |
| 2011 | FORTE | On Asynchronous Session Semantics. | Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda |
| 2010 | ECOOP | Type-Safe Eventful Sessions in Java. | Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda |