Dimitrios Kouzapas

Citado por

	Total	Desde 2019
Citas	637	362
Índice h	14	12
Índice i10	19	15

2010201120122013201420152016201720182019202020212022202320246 13 15 19 28 38 67 47 31 75 60 59 57 52 58

Acceso público

Ver todo

12 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Anna PhilippouUniversity of CyprusDirección de correo verificada de ucy.ac.cy
Nobuko YoshidaDepartment of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Simon J GaySchool of Computing Science, University of GlasgowDirección de correo verificada de dcs.gla.ac.uk
Ornela DardhaSenior Lecturer (Associate Professor) at the School of Computing Science, University of GlasgowDirección de correo verificada de glasgow.ac.uk
Roly PereraUniversity of Cambridge, University of BristolDirección de correo verificada de cl.cam.ac.uk
Jorge A. PérezAssociate Professor, University of GroningenDirección de correo verificada de rug.nl
Giovanni BernardiAssistant professor, Université Paris Diderot - Paris VIIDirección de correo verificada de tcd.ie

Seguir

Dimitrios Kouzapas

Research Associate University of Cyprus

Dirección de correo verificada de cs.ucy.ac.cy - Página principal

Theoretical Computing Type Systems Semantics Distributed Computing Compiler Design and Implementation


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores