home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Electronic Notes in Theoretical Computer Science
, Volume 109
Volume 109, December 2004
Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2004)
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/Heckel04
ask others
Google
Google Scholar
MS Academic Search
PubZone
Reiko Heckel
:
Preface.
1-2
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/VinhB04
ask others
Google
Google Scholar
MS Academic Search
PubZone
Phan C. Vinh
,
Jonathan P. Bowen
:
On the Visual Representation of Configuration in Reconfigurable Computing.
3-15
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/JaramilloETE04
ask others
Google
Google Scholar
MS Academic Search
PubZone
Juan de Lara Jaramillo
,
Claudia Ermel
,
Gabriele Taentzer
,
Karsten Ehrig
:
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets.
17-29
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/ButtnerG04
ask others
Google
Google Scholar
MS Academic Search
PubZone
Fabian Büttner
,
Martin Gogolla
:
Realizing UML Metamodel Transformations with AGG.
31-42
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/AgrawalSK04
ask others
Google
Google Scholar
MS Academic Search
PubZone
Aditya Agrawal
,
Gyula Simon
,
Gabor Karsai
:
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations.
43-56
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/Kuster04
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jochen Malte Küster
:
Towards Inconsistency Handling of Object-Oriented Behavioral Models.
57-69
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/VarroV04
ask others
Google
Google Scholar
MS Academic Search
PubZone
Gergely Varró
,
Dániel Varró
:
Graph Transformation with Incremental Updates.
71-83
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/NovikauPP04
ask others
Google
Google Scholar
MS Academic Search
PubZone
Aliaksei Novikau
,
Anna Perini
,
Marco Pistore
:
Graph Rewriting for Agent Oriented Visual Modeling.
85-96
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/HirschM04
ask others
Google
Google Scholar
MS Academic Search
PubZone
Dan Hirsch
,
Ugo Montanari
:
Shaped Hierarchical Architectural Design.
97-109
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/CorradiniH04
ask others
Google
Google Scholar
MS Academic Search
PubZone
Andrea Corradini
,
Dan Hirsch
:
An Operational Semantics of COMMUNITY Based on Graph Transformation Systems.
111-124
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/SantosDR04
ask others
Google
Google Scholar
MS Academic Search
PubZone
Osmar Marchi dos Santos
,
Fernando Luís Dotti
,
Leila Ribeiro
:
Verifying Object-Based Graph Grammars.
125-136
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/GyapaySV04
ask others
Google
Google Scholar
MS Academic Search
PubZone
Szilvia Gyapay
,
Ákos Schmidt
,
Dániel Varró
:
Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time.
137-147