Electronic Notes in Theoretical Computer Science, Volume 109

Volume 109, December 2004

• Reiko Heckel:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Phan C. Vinh, Jonathan P. Bowen:
  On the Visual Representation of Configuration in Reconfigurable Computing. 3-15
  Electronic Edition (link) BibTeX
• Juan de Lara Jaramillo, Claudia Ermel, Gabriele Taentzer, Karsten Ehrig:
  Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets. 17-29
  Electronic Edition (link) BibTeX
• Fabian Büttner, Martin Gogolla:
  Realizing UML Metamodel Transformations with AGG. 31-42
  Electronic Edition (link) BibTeX
• Aditya Agrawal, Gyula Simon, Gabor Karsai:
  Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. 43-56
  Electronic Edition (link) BibTeX
• Jochen Malte Küster:
  Towards Inconsistency Handling of Object-Oriented Behavioral Models. 57-69
  Electronic Edition (link) BibTeX
• Gergely Varró, Dániel Varró:
  Graph Transformation with Incremental Updates. 71-83
  Electronic Edition (link) BibTeX
• Aliaksei Novikau, Anna Perini, Marco Pistore:
  Graph Rewriting for Agent Oriented Visual Modeling. 85-96
  Electronic Edition (link) BibTeX
• Dan Hirsch, Ugo Montanari:
  Shaped Hierarchical Architectural Design. 97-109
  Electronic Edition (link) BibTeX
• Andrea Corradini, Dan Hirsch:
  An Operational Semantics of COMMUNITY Based on Graph Transformation Systems. 111-124
  Electronic Edition (link) BibTeX
• Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro:
  Verifying Object-Based Graph Grammars. 125-136
  Electronic Edition (link) BibTeX
• Szilvia Gyapay, Ákos Schmidt, Dániel Varró:
  Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. 137-147
  Electronic Edition (link) BibTeX