Abstract is missing.
- Towards an Algebraic Theory of Bidirectional TransformationsPerdita Stevens. 1-17 [doi]
- Discovery, Verification and Conformance of Workflows with CancellationWil M. P. van der Aalst. 18-37 [doi]
- The AUTOSAR Way of Model-Based Engineering of Automotive SystemsHeiko Dörr. 38 [doi]
- An Algorithm for Hypergraph Completion According to Hyperedge Replacement GrammarsSteffen Mazanek, Sonja Maier, Mark Minas. 39-53 [doi]
- Labelled (Hyper)Graphs, Negotiations and the Naming ProblemJérémie Chalopin, Antoni Mazurkiewicz, Yves Métivier. 54-68 [doi]
- Abstracting Complex Data Structures by Hyperedge ReplacementStefan Rieger, Thomas Noll. 69-83 [doi]
- Inductively Sequential Term-Graph Rewrite SystemsRachid Echahed. 84-98 [doi]
- Mobile Agents Implementing Local Computations in GraphsBilel Derbel, Mohamed Mosbah, Stefan Gruner. 99-114 [doi]
- A Decentralized Implementation of Mobile AmbientsFabio Gadducci, Giacoma Valentina Monreale. 115-130 [doi]
- Network Applications of Graph BisimulationPietro Cenciarelli, Daniele Gorla, Emilio Tuosto. 131-146 [doi]
- Graph Transformation for Topology ModellingMathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall. 147-161 [doi]
- Embedding and Confluence of Graph Transformations with Negative Application ConditionsLeen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas. 162-177 [doi]
- Formal Analysis of Model Transformations Based on Triple Graph Rules with KernelsHartmut Ehrig, Ulrike Prange. 178-193 [doi]
- Semantical Correctness and Completeness of Model Transformations Using Graph and Rule TransformationHartmut Ehrig, Claudia Ermel. 194-210 [doi]
- High-Level Programs and Program ConditionsKarl Azab, Annegret Habel. 211-225 [doi]
- Parallel and Sequential Independence for Borrowed ContextsFilippo Bonchi, Fabio Gadducci, Tobias Heindel. 226-241 [doi]
- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed ContextsGuilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan. 242-256 [doi]
- Open Petri Nets: Non-deterministic Processes and CompositionalityPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König. 257-273 [doi]
- Attributed Graph ConstraintsFernando Orejas. 274-288 [doi]
- Resolution-Like Theorem Proving for High-Level ConditionsKarl-Heinz Pennemann. 289-304 [doi]
- Towards the Verification of Attributed Graph Transformation SystemsBarbara König, Vitali Kozioura. 305-320 [doi]
- A Modal-Logic Based Graph AbstractionJörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink. 321-335 [doi]
- On the Recognizability of Arrow and Graph LanguagesHarrie Jan Sander Bruggink, Barbara König. 336-350 [doi]
- Graph Multiset Transformation as a Framework for Massively Parallel ComputationHans-Jörg Kreowski, Sabine Kuske. 351-365 [doi]
- Pullback Grammars Are Context-FreeMichel Bauderon, Rui Chen, Olivier Ly. 366-378 [doi]
- On Switching to H-Free GraphsEva Jelínková, Jan Kratochvíl. 379-395 [doi]
- A Benchmark Evaluation of Incremental Pattern Matching in Graph TransformationGábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró. 396-410 [doi]
- 15 Years of Triple Graph GrammarsAndy Schürr, Felix Klar. 411-425 [doi]
- Pattern-Based Model-to-Model TransformationJuan de Lara, Esther Guerra. 426-441 [doi]
- Adaptive Star Grammars for Graph ModelsFrank Drewes, Berthold Hoffmann, Mark Minas. 442-457 [doi]
- Tutorial Introduction to Graph TransformationReiko Heckel. 458-459 [doi]
- Workshop on Graph Computation ModelsMohamed Mosbah, Annegret Habel. 460-462 [doi]
- Graph-Based Tools: The ContestArend Rensink, Pieter Van Gorp. 463-466 [doi]
- Workshop on Petri Nets and Graph TransformationsPaolo Baldan, Barbara König. 467-469 [doi]
- Summary of the Workshop on Natural Computing and Graph TransformationsIon Petre, Grzegorz Rozenberg. 470-472 [doi]
- ICGT 2008 Doctoral SymposiumAndrea Corradini, Emilio Tuosto. 473-474 [doi]
- Verification of Architectural Refactorings: Rule Extraction and Tool SupportDénes Bisztray. 475-477 [doi]
- Abstract Semantics by Observable ContextsFilippo Bonchi. 478-480 [doi]
- Triple Graph Grammars and OCL for Validating System BehaviorDuc-Hanh Dang. 481-483 [doi]
- From Separation Logic to Hyperedge Replacement and BackMike Dodds. 484-486 [doi]
- Security, Cryptography and Directed BigraphsDavide Grohmann. 487-489 [doi]
- Modelling Clustering of Sensor Networks with Synchronised Hyperedge ReplacementMohammad Hammoudeh. 490-492 [doi]
- Grammar Morphisms and Weakly Adhesive CategoriesTobias Heindel. 493-495 [doi]
- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application ConditionsFrank Hermann. 496-498 [doi]
- Towards a Two Layered Verification Approach for Compiled Graph TransformationÁkos Horváth. 499-501 [doi]
- Model-Based Analysis of Network Reconfigurations Using Graph Transformation SystemsAjab Khan. 502-504 [doi]
- Service Extraction from Legacy SystemsCarlos Matos. 505-507 [doi]
- Development of Correct Graph Transformation SystemsKarl-Heinz Pennemann. 508-510 [doi]
- Graph Transformation for the Semantic Web: Queries and Inference RulesHongQing Yu, Yi Hong. 511-513 [doi]
- Using a Triple Graph Grammar for State Machine ImplementationsMichael Striewe. 514-516 [doi]
- Model-Driven Development of Model TransformationsPieter Van Gorp. 517-519 [doi]
- Transformation-Based Operationalization of Graph LanguagesErhard Weinell. 520-522 [doi]