Vol. 26 (2010): Manipulation of Graphs, Algebras and Pictures

DOI: https://doi.org/10.14279/tuj.eceasst.26

Published: 2010-04-11

Articles

On Teaching Logic and Algebraic Specification

Till Mossakowski
- PDF
Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework

Enrico Biermann, Claudia Ermel, Gabriele Taentzer
- PDF
Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization

Sabine Kuske, Melanie Luderer
- PDF
Assemblies as Graph Processes

Dirk Janssens
- PDF
Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods

Christoph Schulz, Michael Löwe, Harald König
- PDF
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions

Hartmut Ehrig, Annegret Habel, Leen Lambers
- PDF
Algebraic Model Checking

Peter Padawitz
- PDF
Towards the Tree Automata Workbench Marbles

Frank Drewes
- PDF
On Judgements and Propositions

Bernd Mahr
- PDF
From Petri Nets to Graph Transformation Systems

Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari
- PDF
Generation of Celtic Key Patterns with Tree-based Collage Grammars

Renate Klempien-Hinrichs, Caroline von Totth
- PDF
Conditional Adaptive Star Grammars

Berthold Hoffmann
- PDF
Checking Graph-Transformation Systems for Confluence

Detlef Plump
- PDF
Reaction Systems: a Formal Framework for Processes Based on Biochemical Interactions

Andrzej Ehrenfeucht, Grzegorz Rozenberg
- PDF

Preface

Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday

Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump
- PDF