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

• 2008
• 
  Karl Azab, Karl-Heinz Pennemann:
  Type Checking C++ Template Instantiation by Graph Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga:
  Using Graph Transformation Systems to Specify and Verify Data Abstractions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Enrico Biermann, Tony Modica:
  Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Paolo Bottoni, Nikolay N. Mirenkov, Yutaka Watanobe, Rentaro Yoshioka:
  Composing control flow and formula rules for computing on grids. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Benjamin Braatz, Christoph Brandt:
  Graph Transformations for the Resource Description Framework. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Florian Brieler, Mark Minas:
  Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Antonio Bucchiarone, Juan P. Galeotti:
  Dynamic Software Architectures Verification using DynAlloy. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Hartmut Ehrig, Karsten Ehrig, Frank Hermann:
  From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Claudia Ermel, Juan de Lara, Reiko Heckel:
  Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Ewa Grabska, Grazyna Maria Slusarczyk, Truong Lan Le:
  Visual Design and Reasoning with the Use of Hypergraph Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Davide Grohmann, Marino Miculan:
  Controlling resource access in Directed Bigraphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Stefan Gruner:
  Graph Transformation Model of a Triangulated Network of Mobile Units. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Abubakar Hassan, Ian Mackie, Shinya Sato:
  Interaction nets: programming language design and implementation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Christian Koehler, David Costa, José Proença, Farhad Arbab:
  Reconfiguration of Reo Connectors Triggered by Dataflow. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Rahul Kumar, Eric G. Mercer:
  Improving Live Sequence Chart to Automata Transformation for Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Leen Lambers, Hartmut Ehrig, Gabriele Taentzer:
  Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Sonja Maier, Mark Minas:
  A Static Layout Algorithm for DiaMeta. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Greg Manning, Detlef Plump:
  The GP Programming System. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Steffen Mazanek, Mark Minas:
  Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Anantha Narayanan, Gabor Karsai:
  Verifying Model Transformations by Structural Correspondence. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg:
  Negative Application Conditions for Reconfigurable Place/Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Arend Rensink, Anneke Kleppe:
  On a Graph-Based Semantics for UML Class and Object Diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Hans Vangheluwe:
  Foundations of Modelling and Simulation of Complex Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Erhard Weinell:
  Extending Graph Query Languages by Reduction. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Cong-Cong Xing:
  A Graph-Based Type Representation for Objects. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)