Advertisement

Graph Transformations

Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings

  • Hartmut Ehrig
  • Gregor Engels
  • Francesco Parisi-Presicce
  • Grzegorz Rozenberg
Conference proceedings ICGT 2004

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Tony Clark, Andy Evans, Paul Sammut, James Willans
      Pages 13-21
  3. Integration Technology

    1. Simon M. Becker, Sebastian Lohmann, Bernhard Westfechtel
      Pages 22-38
    2. René van Buuren, Henk Jonkers, Maria-Eugenia Iacob, Patrick Strating
      Pages 39-53
  4. Chemistry and Biology

    1. Francesc Rosselló, Gabriel Valiente
      Pages 70-82
    2. Maneesh K. Yadav, Brian P. Kelley, Steven M. Silverman
      Pages 83-95
  5. Graph Transformation Concepts

    1. Boris Böhlen, Ulrike Ranger
      Pages 96-111
    2. Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske
      Pages 112-127
    3. Detlef Plump, Sandra Steinert
      Pages 128-143
  6. DPO Theory for High-Level Structures

    1. Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange
      Pages 144-160
    2. Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
      Pages 161-177
    3. Annegret Habel, Berthold Hoffmann
      Pages 178-193
  7. Analysis and Testing

    1. Paolo Baldan, Barbara König, Ingo Stürmer
      Pages 194-209
    2. Reiko Heckel, Georgios Lajios, Sebastian Menge
      Pages 210-225
    3. Arend Rensink, Ákos Schmidt, Dániel Varró
      Pages 226-241
  8. Graph Theory and Algorithms

    1. Jérémie Chalopin, Yves Métivier, Wiesław Zielonka
      Pages 242-256
    2. Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg
      Pages 257-270
    3. Yves Métivier, Mohamed Mosbah, Rodrigue Ossamy, Afif Sellami
      Pages 271-286
  9. Application Conditions and Logic

    1. Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann
      Pages 287-303
    2. Arend Rensink
      Pages 319-335
  10. Transformation of Special Structures

    1. Gemma Casas-Garriga, José L. Balcázar
      Pages 336-351
    2. Sebastian Seifert, Ingrid Fischer
      Pages 352-367
    3. Tanguy Urvoy
      Pages 368-382
  11. Object-Orientation

    1. Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro
      Pages 383-398
    2. Niels Van Eetvelde, Dirk Janssens
      Pages 399-415
    3. Ana Paula Lüdtke Ferreira, Leila Ribeiro
      Pages 416-430
  12. Tutorials and Workshops

    1. Tero Harju, Ion Petre, Grzegorz Rozenberg
      Pages 434-436
    2. Maribel Fernández
      Pages 437-438
    3. Tom Mens, Andy Schürr, Gabriele Taentzer
      Pages 439-441
    4. Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
      Pages 442-444
  13. Back Matter

About these proceedings

Keywords

Graph algorithms conceptual design concurrency diagrametric representation formal languages graph algorithms graph computations graph grammars graph theory graph transformations graphical structures logic parsing theory

Editors and affiliations

  • Hartmut Ehrig
    • 1
  • Gregor Engels
    • 2
  • Francesco Parisi-Presicce
    • 3
  • Grzegorz Rozenberg
    • 4
  1. 1.Technische Universität BerlinGermany
  2. 2.University of PaderbornPaderbornGermany
  3. 3.George Mason UniversityFairfax, VirginiaUSA
  4. 4.Leiden Center of Advanced Computer Science (LIACS)Leiden UniversityLeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/b100934
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23207-0
  • Online ISBN 978-3-540-30203-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site