• 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 27 matches

• 2003
• 
  Roswitha Bardohl, Hartmut Ehrig:
  Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques. UNIGRA 2003: 166-167
• 
  Paolo Bottoni:
  Dynamic aspects of visual modelling languages. UNIGRA 2003: 120-132
• 
  Jörg Desel, Gabriel Juhás, Robert Lorenz:
  Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. UNIGRA 2003: 46-62
• 
  Niels Van Eetvelde, Dirk Janssens:
  A Hierarchical Program Representation for Refactoring. UNIGRA 2003: 91-104
• 
  Hartmut Ehrig:
  Behaviour and Instantiation of High-Level Net Processes. UNIGRA 2003: 1-15
• 
  Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann:
  Model-Based Verification and Validation of Properties. UNIGRA 2003: 133-150
• 
  Stuart Kent, Robert Smith:
  The Bidirectional Mapping Problem. UNIGRA 2003: 151-165
• 
  Sabine Kuske, Peter Knirsch:
  Modeling Agent Systems with Distributed Transformation Units. UNIGRA 2003: 79-90
• 
  Mark Minas:
  XML-based Specification of Diagram Editors. UNIGRA 2003: 105-119
• 
  Fernando Orejas, Hartmut Ehrig:
  Components for Algebra Transformation Systems. UNIGRA 2003: 63-78
• 
  Julia Padberg:
  Case Study: Modelling Telecom Services with Petri Net Modules. UNIGRA 2003: 34-45
• 
  Milan Urbásek:
  Modeling Petri Net Based Systems by Net Transformations: New Developments. UNIGRA 2003: 16-33
• 
  Roswitha Bardohl, Hartmut Ehrig:
  Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003. Electronic Notes in Theoretical Computer Science 82(7), Elsevier 2003 [contents]
• 2001
• 
  Luciano Baresi, Mauro Pezzè:
  Improving UML with Petri nets. UNIGRA 2001: 107-119
• 
  Juliane Dehnert, Maike Gajewsky, Sabine Lembke, Herbert Weber:
  The Petri Net Baukasten - Second Installment. UNIGRA 2001: 120-139
• 
  Jörg Desel, Gabriel Juhás, Robert Lorenz:
  Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. UNIGRA 2001: 163-187
• 
  Hartmut Ehrig, Claudia Ermel, Julia Padberg:
  Preface. UNIGRA 2001: 188-189
• 
  Claudia Ermel, Roswitha Bardohl, Julia Padberg:
  Visual Design of Software Architecture and Evolution based on Graph Transformation. UNIGRA 2001: 52-66
• 
  Martin Große-Rhode:
  Formal Concepts for an Integrated Internal Model of the UML. UNIGRA 2001: 80-92
• 
  Reiko Heckel, Albert Zündorf:
  How to Specify a Graph Transformation Approach - A Meta Model for Fujaba. UNIGRA 2001: 41-51
• 
  Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske:
  GRACE as a unifying approach to graph-transformation-based specification. UNIGRA 2001: 1-15
• 
  Mark Minas, Berthold Hoffmann:
  Specifying and Implementing Visual Process Modeling Languages with DiaGen. UNIGRA 2001: 67-79
• 
  Francesco Parisi-Presicce:
  On Modifying High Level Replacement Systems. UNIGRA 2001: 16-27
• 
  Andy Schürr:
  Adding Graph Transformation Concepts to UML's Constraint Language OCL. UNIGRA 2001: 93-106
• 
  Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky:
  Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. UNIGRA 2001: 140-162
• 
  Gabriele Taentzer:
  Towards Common Exchange Formats for Graphs and Graph Transformation Systems. UNIGRA 2001: 28-40
• 
  Hartmut Ehrig, Claudia Ermel, Julia Padberg:
  Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, March 31 - April 1, 2001. Electronic Notes in Theoretical Computer Science 44(4), Elsevier 2001 [contents]