default search action

combined dblp search
author search
venue search
publication search

ask others

1st GaM@ETAPS 2015: London, UK

> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/RensinkZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RensinkZ15
Arend Rensink, Eduardo Zambon:
Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April 2015. EPTCS 181, 2015
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Wijs15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Wijs15
Anton Wijs:
Confluence Detection for Transformations of Labelled Transition Systems. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KissingerZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KissingerZ15
Aleks Kissinger, Vladimir Zamdzhiev:
!-graphs with trivial overlap are context-free. 16-31
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HeussnerPCM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HeussnerPCM15
Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi:
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. 32-47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BakFPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BakFPR15
Christopher Bak, Glyn Faulkner, Detlef Plump, Colin Runciman:
A Reference Interpreter for the Graph Programming Language GP 2. 48-64
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ValletKPM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ValletKPM15
Jason Vallet, Hélène Kirchner, Bruno Pinaud, Guy Melançon:
A Visual Analytics Approach to Compare Propagation Models in Social Networks. 65-79
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HochMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HochMS15
Nicklas Hoch, Ugo Montanari, Matteo Sammartino:
Dynamic Programming on Nominal Graphs. 80-96
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KulcsarDLVS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KulcsarDLVS15
Géza Kulcsár, Frederik Deckwerth, Malte Lochau, Gergely Varró, Andy Schürr:
Improved Conflict Detection for Graph Transformation with Attributes. 97-112
- view
  authority control:
- export record
  dblp key:
  - journals/corr/RadwanH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RadwanH15
Marwan Radwan, Reiko Heckel:
Detecting and Refactoring Operational Smells within the Domain Name System. 113-128
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Moreau15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Moreau15
Luc Moreau:
Aggregation by Provenance Types: A Technique for Summarising Provenance Graphs. 129-144

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.