Electronic Notes in Theoretical Computer Science, Volume 72

• Hartmut Ehrig, Fernando Orejas:
  Foreword Volume 72.
  

Volume 72, Number 1, September 2007

• Ian Mackie, Detlef Plump:
  Preface. 1-2
  
• Adam Bakewell:
  Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency. 3-16
  
• Stefan Blom:
  Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting. 17-29
  
• Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König:
  Inequational Deduction as Term Graph Rewriting. 31-44
  
• Maribel Fernández, Ian Mackie, Jorge Sousa Pinto:
  A Higher-Order Calculus for Graph Transformation. 45-58
  
• Clemens Grabmayer:
  A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs. 59-74
  
• Sylvain Lippi:
  Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus. 75-86
  
• Enno Ohlebusch:
  Conditional Term Graph Rewriting with Indirect Sharing. 87-100
  

Volume 72, Number 2, 2002

• Tom Mens, Andy Schürr, Gabriele Taentzer:
  Graph-Based Tools (GraBaTs 2002).
  
• Tiziana Margaria:
  The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools.
  
• Georg Sander, Adrian Vasiliu:
  Ilog JViews Graph Layout: A Java library for highly demanding graph-based applications.
  
• Olivier Gout, Gilles Ardourel, Marianne Huchard:
  Access Graph Visualization: A step towards better understanding of static access control.
  
• Carla Binucci, Walter Didimo:
  A Software System for Computing Labeled Orthogonal Drawings of Graphs.
  
• Ingo Stürmer:
  A Contribution of Graph Grammar Techniques to the Specification, Verification and Certification of Code Generation Tools.
  
• Luciano Baresi, Marco Mauri, Mauro Pezzè:
  PLCTools: Graph Transformation Meets PLC Design.
  
• Péter Domokos, Dániel Varró:
  An Open Visualization Framework for Metamodel-Based Modeling Languages.
  
• Vincent Englebert:
  An OO interpretation of graphs as meta-CASE's Meta-meta-model.
  
• Tom Mens, Michele Lanza:
  A Graph-Based Metamodel for Object-Oriented Software Metrics.
  
• Jürgen Ebert, Bernt Kullbach, Volker Riediger, Andreas Winter:
  GUPRO - Generic Understanding of Programs.
  
• Roswitha Bardohl, Claudia Ermel, Ingo Weinhold:
  AGG and GenGED: Graph Transformation-Based Specification and Analysis Rechniques for Visual Languages.
  
• Mark Minas:
  Specifying Graph-like Diagrams with DIAGEN.
  
• Leif Geiger, Albert Zündorf:
  Graph Based Debugging with Fujaba.
  
• Boris Böhlen, Dirk Jäger, Ansgar Schleicher, Bernhard Westfechtel:
  UPGRADE: A Framework for Building Graph-Based Interactive Tools.
  

Volume 72, Number 3, 2003

• John Power, Konstantinos Tourlas:
  On the Geometric Modelling of Visual Languages.
  
• Michel Bauderon, Mohamed Mosbah:
  A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms.
  
• Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino:
  Exploiting Visual Languages Generation and UML Meta Modeling to Construct Meta-CASE Workbenches.
  
• Juan de Lara Jaramillo, Hans Vangheluwe, Manuel Alfonseca Moreno:
  Using Meta-Modelling and Graph Grammars to Create Modelling Environments.
  
• Dániel Varró:
  Towards Symbolic Analysis of Visual Modeling Languages.
  
• Claudia Ermel, Roswitha Bardohl:
  Scenario Views for Visual Behavior Models in GenGED.
  
• Nik Swoboda, Gerard Allwein:
  Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference.
  
• Jean Flower, John Howse, John Taylor:
  Nesting in Euler Diagrams.
  
• Peter Braun, Frank Marschall:
  Transforming Object Oriented Models with BOTL.
  
• Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen:
  A Component Framework Based on High-Level Replacement Systems.
  
• Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:
  Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.
  
• Ella E. Roubtsova, Ruurd Kuiper:
  Process Semantics for UML Component Specifications to Assess Inheritance.
  
• Martin Gogolla, Paul Ziemann, Sabine Kuske:
  Towards an Integrated Graph Based Semantics for UML.
  

Volume 72, Number 4, 2003

• Reiko Heckel, Tom Mens, Michel Wermelinger:
  Software Evolution through Transformations.
  
• Stuart Kent:
  Model Driven Language Engineering.
  
• Jennifer Pérez, Víctor Anaya, J. María Cubel, Isidro Ramos, José A. Carsí:
  Data Reverse Engineering of Legacy Databases to Object Oriented Conceptual Schemas.
  
• Nicolas Revault:
  Model transformation based on production rules.
  
• Tom Tourwé, Tom Mens:
  High-level Transformations to Support Framework-Based Software Development.
  
• Julia Padberg:
  Basic Ideas for Transformations of Specification Architectures.
  
• Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer:
  Coordinated Distributed Diagram Transformation for Software Evolution.
  
• Dirk Janssens, Serge Demeyer, Tom Mens:
  Case Study: Simulation of a LAN.
  
• Markus Klein, Mesut Özhan, Martti Piirainen:
  Agent-Based Material Flow.