ICGT 2002 Workshops

• 
  Hartmut Ehrig, Fernando Orejas: Foreword Volume 72.

Volume 72, Number 1, September 2007

Proceedings of the First International Workshop on Term Graph Rewriting (TERMGRAPH 2002)

• 
  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

Graph-Based Tools (GraBaTs 2002)
Barcelona, Spain, October 7-8, 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