Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
Proceedings of the Third International Conference on Graph Transformations
ICGT, 2006.

@proceedings{ICGT-2006,
	address       = "Rio Grande do Norte, Brazil",
	editor        = "Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg",
	isbn          = "3-540-38870-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Conference on Graph Transformations}",
	volume        = 4178,
	year          = 2006,
}

Contents (32 items)

12 ×#graph transformation
4 ×#analysis
4 ×#graph
4 ×#graph grammar
2 ×#category theory
2 ×#distributed
2 ×#modelling
2 ×#process
2 ×#sequence

ICGT-2006-Rensink #graph transformation #quantifier

Nested Quantification in Graph Transformation Rules (AR), pp. 1–13.

ICGT-2006-Jackson #logic #modelling

Idioms of Logical Modelling (DJ), p. 14.

ICGT-2006-Lins #algorithm

New Algorithms and Applications of Cyclic Reference Counting (RDL), pp. 15–29.

ICGT-2006-CorradiniHHK #category theory

Sesqui-Pushout Rewriting (AC, TH, FH, BK), pp. 30–45.

ICGT-2006-BerwangerJ #automaton #graph

Automata on Directed Graphs: Edge Versus Vertex Marking (DB, DJ), pp. 46–60.

ICGT-2006-LambersEO #detection #graph transformation

Conflict Detection for Graph Transformation with Negative Application Conditions (LL, HE, FO), pp. 61–76.

ICGT-2006-DrewesHJME #adaptation

Adaptive Star Grammars (FD, BH, DJ, MM, NVE), pp. 77–91.

ICGT-2006-EchahedP #pointer

Narrowing Data-Structures with Pointers (RE, NP), pp. 92–106.

ICGT-2006-EhrigHL #analysis #graph transformation

Molecular Analysis of Metabolic Pathway with Graph Transformation (KE, RH, GL), pp. 107–121.

ICGT-2006-VelascoL #approach #graph transformation #matrix #sequence

Matrix Approach to Graph Transformation: Matching and Sequences (PPPV, JdL), pp. 122–137.

ICGT-2006-RiedlSF #generative #graph grammar #order #strict #string #word

String Generating Hypergraph Grammars with Word Order Restrictions (MR, SS, IF), pp. 138–152.

ICGT-2006-BaldanEK #composition

Composition and Decomposition of DPO Transformations with Borrowed Context (PB, HE, BK), pp. 153–167.

ICGT-2006-BonchiGK #bisimulation #encoding #process #visual notation

Process Bisimulation Via a Graphical Encoding (FB, FG, BK), pp. 168–183.

ICGT-2006-LackS

Toposes Are Adhesive (SL, PS), pp. 184–198.

ICGT-2006-BaldanCFG #graph #process #transaction

Graph Transactions as Processes (PB, AC, LF, FG), pp. 199–214.

ICGT-2006-EhrigOP #category theory #distributed #graph transformation

Categorical Foundations of Distributed Graph Transformation (HE, FO, UP), pp. 215–229.

ICGT-2006-BruniM #graph transformation

Dynamic Graph Transformation Systems (RB, HCM), pp. 230–244.

ICGT-2006-HolscherKK #semantics

Autonomous Units and Their Semantics — The Sequential Case (KH, HJK, SK), pp. 245–259.

ICGT-2006-VarroVEPT #analysis #model transformation #petri net #termination

Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.

ICGT-2006-MendizabalD #analysis #distributed #graph grammar #non-functional #probability #using

Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars (OMM, FLD), pp. 275–290.

ICGT-2006-RotschkeS #evolution #graph #query

Temporal Graph Queries to Support Software Evolution (TR, AS), pp. 291–305.

ICGT-2006-BaresiS #alloy #graph transformation #on the #using

On the Use of Alloy to Analyze Graph Transformation Systems (LB, PS), pp. 306–320.

ICGT-2006-JakobKS #graph grammar #specification

Non-materialized Model View Specification with Triple Graph Grammars (JJ, AK, AS), pp. 321–335.

ICGT-2006-EngelsLSH #contract #design #graph transformation #modelling #monitoring

Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract (GE, ML, SS, RH), pp. 336–350.

ICGT-2006-GuerraL #graph transformation

Model View Management with Triple Graph Transformation Systems (EG, JdL), pp. 351–366.

ICGT-2006-DoddsP #constant #graph transformation

Graph Transformation in Constant Time (MD, DP), pp. 367–382.

ICGT-2006-GeissBGHS #graph grammar #named #performance

GrGen: A Fast SPO-Based Graph Rewriting Tool (RG, GVB, DG, SH, AS), pp. 383–397.

ICGT-2006-ButtnerG #graph transformation #sequence

Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (FB, MG), pp. 398–413.

ICGT-2006-EdelkampJL #analysis #graph #heuristic

Heuristic Search for the Analysis of Graph Transition Systems (SE, SJ, ALL), pp. 414–429.

ICGT-2006-HabelP #satisfiability

Satisfiability of High-Level Conditions (AH, KHP), pp. 430–444.

ICGT-2006-HabelPR #source code

Weakest Preconditions for High-Level Programs (AH, KHP, AR), pp. 445–460.

ICGT-2006-Heckel #graph transformation #tutorial

Introductory Tutorial on Foundations and Applications of Graph Transformation (RH), pp. 461–462.