The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Dimitrios Kouzapas" ( http://dblp.L3S.de/Authors/Dimitrios_Kouzapas )

  Author page on DBLP  Author page in RDF  Community of Dimitrios Kouzapas in ASPL-2

Publication years (Num. hits)
2010-2016 (15) 2017-2019 (10)
Publication types (Num. hits)
article(10) inproceedings(14) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 26 publication records. Showing 25 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Dimitrios Kouzapas, Ramunas Gutkovas, A. Laura Voinea, Simon J. Gay A Session Type System for Asynchronous Unreliable Broadcast Communication. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR. Search on Bibsonomy ENASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay Typechecking protocols with Mungo and StMungo: A session type toolchain for Java. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides Formal Verification of a Programmable Hypersurface. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Taqwa Saeed, Constantinos Skitsas, Dimitrios Kouzapas, Marios Lestas, Vassos Soteriou, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides Fault Adaptive Routing in Metasurface Controller Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Taqwa Saeed, Constantinos Skitsas, Dimitrios Kouzapas, Marios Lestas, Vassos Soteriou, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides Fault Adaptive Routing in Metasurface Controller Networks. Search on Bibsonomy NoCArc@MICRO The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides Formal Verification of a Programmable Hypersurface. Search on Bibsonomy FMICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida Characteristic bisimulation for higher-order session processes. Search on Bibsonomy Acta Inf. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Anna Philippou Privacy by typing in the π-calculus. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Dimitrios Kouzapas, Anna Philippou Privacy by typing in the π-calculus. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda On asynchronous eventful session semantics. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay Typechecking protocols with Mungo and StMungo. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida On the Relative Expressiveness of Higher-Order Session Processes. Search on Bibsonomy ESOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Dimitrios Kouzapas, Anna Philippou Type Checking Privacy Policies in the π-calculus. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida Characteristic Bisimulation for Higher-Order Session Processes. Search on Bibsonomy CONCUR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Nobuko Yoshida Globally Governed Session Semantics. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay Session Types for Broadcasting. Search on Bibsonomy PLACES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Giovanni Bernardi 0001, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas On Duality Relations for Session Types. Search on Bibsonomy TGC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Nobuko Yoshida Globally Governed Session Semantics. Search on Bibsonomy CONCUR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Anna Philippou A Typing System for Privacy. Search on Bibsonomy SEFM Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas A study of bisimulation theory for session types. Search on Bibsonomy 2013   RDF
1Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda On Asynchronous Session Semantics. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dimitrios Kouzapas, Anna Philippou A Process Calculus for Dynamic Networks. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda Type-Safe Eventful Sessions in Java. Search on Bibsonomy ECOOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license