A Type Checking Tool for a Formal Specification Language. - Nikos Mylonakis; J. Perez Campo (GULP-PRODE (2), 1994)

Behavioural Specifications in Type Theory. - Nikos Mylonakis (COMPASS/ADT, 1995)

Proof assistance for refinement in type theory. - Nikos Mylonakis (Workshop on Type-Theoretic Languages: Proof Search and Semantics, 2000)

A Distributed and Mobile Component System Based on the Ambient Calculus. - Nikos Mylonakis; Fernando Orejas (WADT, 2004)

Borrowed Contexts for Attributed Graphs. - Fernando Orejas; Artur Boronat; Nikos Mylonakis (ICGT, 2012)

Checking Bisimilarity for Attributed Graph Transformation. - Fernando Orejas; Artur Boronat; Ulrike Golas; Nikos Mylonakis (FoSSaCS, 2013)

A Semantics of Business Configurations Using Symbolic Graphs. - Nikos Mylonakis; Fernando Orejas; José Luiz Fiadeiro (SCC, 2015)

A logical approach to graph databases. - Elvira Pino; Fernando Orejas; Nikos Mylonakis; Edelmira Pasarella (J. Log. Algebraic Methods Program., 2024)