default search action

combined dblp search
author search
venue search
publication search

ask others

Nikos Mylonakis

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/PinoOMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/PinoOMP24
Elvira Pino, Fernando Orejas, Nikos Mylonakis, Edelmira Pasarella:
A logical approach to graph databases. J. Log. Algebraic Methods Program. 141: 100997 (2024)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2015
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/MylonakisOF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/MylonakisOF15
Nikos Mylonakis, Fernando Orejas, José Luiz Fiadeiro:
A Semantics of Business Configurations Using Symbolic Graphs. SCC 2015: 146-153
2013
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/OrejasBGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/OrejasBGM13
Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis:
Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS 2013: 113-128
2012
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/OrejasBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/OrejasBM12
Fernando Orejas, Artur Boronat, Nikos Mylonakis:
Borrowed Contexts for Attributed Graphs. ICGT 2012: 126-140
2004
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/MylonakisO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/MylonakisO04
Nikos Mylonakis, Fernando Orejas:
A Distributed and Mobile Component System Based on the Ambient Calculus. WADT 2004: 186-200
2000
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Mylonakis00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Mylonakis00
Nikos Mylonakis:
Proof assistance for refinement in type theory. Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000: 1-21
1995
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/compass/Mylonakis95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/Mylonakis95
Nikos Mylonakis:
Behavioural Specifications in Type Theory. COMPASS/ADT 1995: 394-408
1994
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/agp/MylonakisC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/MylonakisC94
Nikos Mylonakis, J. Perez Campo:
A Type Checking Tool for a Formal Specification Language. GULP-PRODE (2) 1994: 444-445

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.