default search action

combined dblp search
author search
venue search
publication search

ask others

11th GCM@STAF 2020

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > STAF

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/abs-2012-01181
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01181
Berthold Hoffmann, Mark Minas:
Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, Online-Workshop, 24th June 2020. EPTCS 330, 2020
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01655
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01655
Nils Weidmann, Anthony Anjorin, James Cheney:
VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems. 1-12
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01656
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01656
Christian Sandmann:
Graph Repair and its Application to Meta-Modeling. 13-34
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01657
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01657
Okan Özkan:
Modeling Adverse Conditions in the Framework of Graph Transformation Systems. 35-54
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01658
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01658
Dominique Duval, Rachid Echahed, Frédéric Prost:
An Algebraic Graph Transformation Approach for RDF and SPARQL. 55-70
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01659
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01659
Hans-Jörg Kreowski, Aaron Lye:
Graph Surfing in Reaction Systems from a Categorial Perspective. 71-87
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-02192
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-02192
Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel:
Encoding Incremental NACs in Safe Graph Grammars using Complementation. 88-107
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01660
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01660
Tikhon Pshenitsyn:
Weak Greibach Normal Form for Hyperedge Replacement Grammars. 108-125
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2003-11010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-11010
Nicolas Behr, Maryam Ghaffari Saadat, Reiko Heckel:
Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3. 126-144
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01661
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01661
Russ Harmer, Eugenia Oshurko:
Reversibility and Composition of Rewriting in Hierarchies. 145-162
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-02193
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-02193
Brian Courtehoute, Detlef Plump:
A Fast Graph Program for Computing Minimum Spanning Trees. 163-180
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-01662
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01662
Gia Septiana Wulandari, Detlef Plump:
Verifying Graph Programs with First-Order Logic. 181-200

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.