Nikos Mylonakis

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 2

Top Topics

Business Process Models

Frequent Subgraphs

Symbolic Representation

Top Venues

J. Log. Algebraic Methods Program.

Publications

Elvira Pino, Fernando Orejas, Nikos Mylonakis, Edelmira Pasarella
A logical approach to graph databases. J. Log. Algebraic Methods Program. 141 (2024)
Nikos Mylonakis, Fernando Orejas, José Luiz Fiadeiro
A Semantics of Business Configurations Using Symbolic Graphs. SCC (2015)
Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis
Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS (2013)
Fernando Orejas, Artur Boronat, Nikos Mylonakis
Borrowed Contexts for Attributed Graphs. ICGT (2012)
Nikos Mylonakis, Fernando Orejas
A Distributed and Mobile Component System Based on the Ambient Calculus. WADT (2004)
Nikos Mylonakis
Proof assistance for refinement in type theory. Electron. Notes Theor. Comput. Sci. 37 (2000)
Nikos Mylonakis
Behavioural Specifications in Type Theory. COMPASS/ADT (1995)
Nikos Mylonakis, J. Perez Campo
A Type Checking Tool for a Formal Specification Language. GULP-PRODE (2) (1994)