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

• 2010
• 
  Mayur Bapodra, Reiko Heckel:
  From Graph Transformations to Differential Equations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Björn Bartels, Sabine Glesner, Thomas Göthel:
  Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Paolo Bottoni, Francesco Parisi-Presicce:
  A Termination Criterion for Graph Transformations with Negative Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Robert Brijder, Andrzej Ehrenfeucht, Grzegorz Rozenberg:
  A Note on Causalities in Reaction Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Roberto Bruni, Andrea Corradini, Ugo Montanari:
  Modeling a Service and Session Calculus with Hierarchical Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Hartmut Ehrig:
  From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Gregor Engels, Christian Soltenborn:
  Test-driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Claudia Ermel, Karsten Ehrig:
  Graph Modelling and Transformation: Theory meets Practice. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer:
  International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Annegret Habel, Hendrik Radke:
  Expressiveness of graph conditions with variables. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Frank Hermann, Mathias Hülsbusch, Barbara König:
  Specification and Verification of Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth:
  Stepping from Graph Transformation Units to Model Transformation Units. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Michael Löwe:
  Position Paper: Formal Methods in Agile Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Bernd Mahr:
  Position Statement: Models in Software and Systems Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Tiziana Margaria, Bernhard Steffen, Christian Topnik:
  Second-Order Value Numbering. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Tony Modica, Kathrin Hoffmann:
  Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Fernando Orejas, Leen Lambers:
  Symbolic Attributed Graphs for Attributed Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg:
  Towards Theorem Proving Graph Grammars using Event-B. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
• 
  Gabriele Taentzer:
  What Algebraic Graph Transformations Can Do For Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)