Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2008

Graph Transformations

4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings

Editors:

  1. Hartmut Ehrig

    1. Technische Universität Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Reiko Heckel

    1. Department of Computer Science, University of Leicester, Leicester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Grzegorz Rozenberg

    1. Leiden Center for Natural Computing, Leiden University, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Gabriele Taentzer

    1. Department of Mathematics and Computer Science, Philipps-University Marburg, Marburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5214)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ICGT: International Conference on Graph Transformation

Conference proceedings info: ICGT 2008.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (52 papers)

  1. Validation and Verification

    2. Towards the Verification of Attributed Graph Transformation Systems

      • Barbara König, Vitali Kozioura
      Pages 305-320

    3. A Modal-Logic Based Graph Abstraction

      • Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink
      Pages 321-335

  2. Graph Languages and Special Transformation Concepts

    1. On the Recognizability of Arrow and Graph Languages

      • H. J. Sander Bruggink, Barbara König
      Pages 336-350

    3. Pullback Grammars Are Context-Free

      • Michel Bauderon, Rui Chen, Olivier Ly
      Pages 366-378

    4. On Switching to H-Free Graphs

      • Eva Jelínková, Jan Kratochvíl
      Pages 379-395

  3. Patterns and Model Transformations

    1. A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation

      • Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
      Pages 396-410

    2. 15 Years of Triple Graph Grammars

      • Andy Schürr, Felix Klar
      Pages 411-425

    3. Pattern-Based Model-to-Model Transformation

      • Juan de Lara, Esther Guerra
      Pages 426-441

    4. Adaptive Star Grammars for Graph Models

      • Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 442-457

  4. Tutorial and Workshops

    2. Workshop on Graph Computation Models

      • Mohamed Mosbah, Annegret Habel
      Pages 460-462

    3. Graph-Based Tools: The Contest

      • Arend Rensink, Pieter Van Gorp
      Pages 463-466

    4. Workshop on Petri Nets and Graph Transformations

      • Paolo Baldan, Barbara König
      Pages 467-469

  5. Doctoral Symposium

    1. ICGT 2008 Doctoral Symposium

      • Andrea Corradini, Emilio Tuosto
      Pages 473-474

    3. Abstract Semantics by Observable Contexts

      • Filippo Bonchi
      Pages 478-480
Back to top

Other Volumes

  1. Graph Transformations

Back to top

About this book

This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008. The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations. In addition the volume contains 17 short papers of the ICGT 2008 Doctoral Symposium.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Technische Universität Berlin, Germany

    Hartmut Ehrig

  • Department of Computer Science, University of Leicester, Leicester, UK

    Reiko Heckel

  • Leiden Center for Natural Computing, Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  • Department of Mathematics and Computer Science, Philipps-University Marburg, Marburg, Germany

    Gabriele Taentzer

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation