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

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

Volume 72, Number 3, 2003

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

Volume 72, Number 4, 2003

• Reiko Heckel, Tom Mens, Michel Wermelinger:
  Software Evolution through Transformations. 1-5
  
• Stuart Kent:
  Model Driven Language Engineering. 6
  
• 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. 7-19
  
• Nicolas Revault:
  Model transformation based on production rules. 20-33
  
• Tom Tourwé, Tom Mens:
  High-level Transformations to Support Framework-Based Software Development. 34-45
  
• Julia Padberg:
  Basic Ideas for Transformations of Specification Architectures. 46-58
  
• Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer:
  Coordinated Distributed Diagram Transformation for Software Evolution. 59-70
  
• Dirk Janssens, Serge Demeyer, Tom Mens:
  Case Study: Simulation of a LAN. 71-73
  
• Markus Klein, Mesut Özhan, Martti Piirainen:
  Agent-Based Material Flow. 74-76
  
• Reiko Heckel, Tom Mens, Michel Wermelinger:
  Preface. 77-78
  

Last update Fri May 24 20:18:13 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page