• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 24 matches

• 2001
• 
  Paolo Baldan:
  Concurrency for Graph Grammars in a Petri net shell. GETGRATS Closing Workshop 2001: 65-82
• 
  Michel Bauderon, Andrea Corradini:
  Preface. GETGRATS Closing Workshop 2001: 319
• 
  Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs:
  Pullback rewriting and applications. GETGRATS Closing Workshop 2001: 83-92
• 
  Michel Bauderon, Yves Métivier, Mohamed Mosbah, Afif Sellami:
  Graph Relabelling Systems: a Tool for Encoding, Proving, Studying and Visualizing - Distributed Algorithms. GETGRATS Closing Workshop 2001: 93-107
• 
  Andrea Corradini:
  GETGRATS: A summary of scientific results (with annotated bibliography). GETGRATS Closing Workshop 2001: 1-64
• 
  Andrea Corradini, Fabio Gadducci:
  Categorical rewriting of term-like structures. GETGRATS Closing Workshop 2001: 108-121
• 
  Bruno Courcelle:
  Graph Operations, Graph Transformations and Monadic Second-Order Logic: a survey. GETGRATS Closing Workshop 2001: 122-126
• 
  Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce:
  Basic Results for Two Types of High-Level Replacement Systems. GETGRATS Closing Workshop 2001: 127-138
• 
  Martin Große-Rhode:
  Algebra Transformation Systems as a Unifying Framework. GETGRATS Closing Workshop 2001: 152-164
• 
  Annegret Habel, Detlef Plump:
  Solving Equations by Graph Transformation. GETGRATS Closing Workshop 2001: 165-176
• 
  Reiko Heckel, Gregor Engels:
  Towards a Formal Framework for Inter-Enterprise Application Integration. GETGRATS Closing Workshop 2001: 139-151
• 
  Dan Hirsch, Ugo Montanari:
  Two Graph-Based Techniques for Software Architecture Reconfiguration. GETGRATS Closing Workshop 2001: 177-190
• 
  Dirk Janssens:
  Processes and Local Actions. GETGRATS Closing Workshop 2001: 191-201
• 
  Renate Klempien-Hinrichs:
  Context-free hypergraph grammars with node rewriting. GETGRATS Closing Workshop 2001: 202-211
• 
  Manuel Koch:
  A graph-based approach to the compositional specification of distributed systems. GETGRATS Closing Workshop 2001: 212-221
• 
  Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce:
  Graph Transformations for the Specification of Access Control Policies. GETGRATS Closing Workshop 2001: 222-232
• 
  Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske:
  Structured Modeling with GRACE. GETGRATS Closing Workshop 2001: 233-245
• 
  Sabine Kuske:
  Parameterized Transformation Units. GETGRATS Closing Workshop 2001: 246-257
• 
  Giacomo Lenzi:
  Monadic Second Order Logic And Its Fragments. GETGRATS Closing Workshop 2001: 258-264
• 
  Mercè Llabrés, Francesc Rosselló:
  Towards a Double Pushout Transformation of Algebras. GETGRATS Closing Workshop 2001: 265-276
• 
  Detlef Plump:
  Essentials of Term Graph Rewriting. GETGRATS Closing Workshop 2001: 277-289
• 
  Marta Simeoni:
  An Abstract Module Concept for Graph Transformation Systems. GETGRATS Closing Workshop 2001: 290-303
• 
  Gabriele Taentzer:
  Visual Modeling of Distributed Object Systems by Graph Transformation. GETGRATS Closing Workshop 2001: 304-318
• 
  Michel Bauderon, Andrea Corradini:
  GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001. Electronic Notes in Theoretical Computer Science 51, Elsevier 2001 [contents]