Nikos Mylonakis

According to our database, Nikos Mylonakis authored at least 7 papers between 1994 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A Semantics of Business Configurations Using Symbolic Graphs.

Nikos Mylonakis, Fernando Orejas, José Luiz Fiadeiro

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2013

Checking Bisimilarity for Attributed Graph Transformation.

Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Borrowed Contexts for Attributed Graphs.

Fernando Orejas, Artur Boronat, Nikos Mylonakis

Proceedings of the Graph Transformations - 6th International Conference, 2012

2004

A Distributed and Mobile Component System Based on the Ambient Calculus.

Nikos Mylonakis, Fernando Orejas

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

2000

Proof assistance for refinement in type theory.

Nikos Mylonakis

Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, 2000

1995

Behavioural Specifications in Type Theory.

Nikos Mylonakis

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

A Type Checking Tool for a Formal Specification Language.

Nikos Mylonakis, J. Perez Campo

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994