Abstract is missing.
- How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?Christoph Brandt, Frank Hermann. 3-26 [doi]
- Graph Transformation Units Guided by a SAT SolverHans-Jörg Kreowski, Sabine Kuske, Robert Wille. 27-42 [doi]
- Delaying Constraint Solving in Symbolic Graph TransformationFernando Orejas, Leen Lambers. 43-58 [doi]
- A Dynamic Logic for Termgraph RewritingPhilippe Balbiani, Rachid Echahed, Andreas Herzig. 59-74 [doi]
- A New Type of Behaviour-Preserving Transition Insertions in Unfolding PrefixesVictor Khomenko. 75-90 [doi]
- On the Computation of McMillan s Prefix for Contextual Nets and Graph GrammarsPaolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon. 91-106 [doi]
- Verification of Graph Transformation Systems with Context-Free SpecificationsBarbara König, Javier Esparza. 107-122 [doi]
- Saturated LTSs for Adhesive Rewriting SystemsFilippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari. 123-138 [doi]
- A Hoare Calculus for Graph ProgramsChristopher M. Poskitt, Detlef Plump. 139-154 [doi]
- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph GrammarsFrank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas. 155-170 [doi]
- Conflict Detection for Model Versioning Based on Graph ModificationsGabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer. 171-186 [doi]
- A Component Concept for Typed Graphs with Inheritance and Containment StructuresStefan Jurack, Gabriele Taentzer. 187-202 [doi]
- Combining Termination Criteria by Isolating DeletionDénes Bisztray, Reiko Heckel. 203-217 [doi]
- Graph Rewriting in Span-CategoriesMichael Löwe. 218-233 [doi]
- Finitary ::::M::::/mathcal{M}-Adhesive CategoriesBenjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas. 234-249 [doi]
- Hereditary Pushouts ReconsideredTobias Heindel. 250-265 [doi]
- Graph Transformation for Domain-Specific Discrete Event Time SimulationJuan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini. 266-281 [doi]
- Counterpart Semantics for a Second-Order ::::µ::::-CalculusFabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin. 282-297 [doi]
- Declarative Mesh Subdivision Using Topological Rewriting in MGSAntoine Spicher, Olivier Michel, Jean-Louis Giavitto. 298-313 [doi]
- A Model for Distribution and Revocation of CertificatesÅsa Hagström, Francesco Parisi-Presicce. 314-329 [doi]
- Local Confluence for Rules with Nested Application ConditionsHartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas. 330-345 [doi]
- Multi-Amalgamation in Adhesive CategoriesUlrike Golas, Hartmut Ehrig, Annegret Habel. 346-361 [doi]
- Amalgamating Pushout and Pullback Graph Transformation in CollagoriesWolfram Kahl. 362-378 [doi]
- ICGT 2010 Doctoral SymposiumAndrea Corradini, Maarten de Mol. 379-380 [doi]
- EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool EnvironmentEnrico Biermann. 381-383 [doi]
- Recognizable Graph Languages for the Verification of Dynamic SystemsChristoph Blume. 384-387 [doi]
- Stochastic Modelling and Simulation of Dynamic Resource AllocationAdwoa Donyina. 388-390 [doi]
- Bisimulation Theory for Graph Transformation SystemsMathias Hülsbusch. 391-393 [doi]
- Realizing Impure Functions in Interaction NetsEugen Jiresch. 394-396 [doi]
- Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment StructuresStefan Jurack. 397-399 [doi]
- Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation SystemsTony Modica. 400-402 [doi]
- LTS Semantics for Process Calculi from Their Graphical EncodingsGiacoma Valentina Monreale. 403-406 [doi]
- Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation SystemsFawad Qayum. 407-409 [doi]
- Correctness of Graph Programs Relative to HR::: + ::: ConditionsHendrik Radke. 410-412 [doi]
- Static Type Checking of Model Transformation ProgramsZoltán Ujhelyi. 413-415 [doi]
- Using Graph Transformations and Graph Abstractions for Software VerificationEduardo Zambon. 416-418 [doi]