default search action
Electronic Communication of the European Association of Software Science and Technology, Volume 26
Volume 26: Essays Dedicated to Hans-Jörg Kreowski 2010
- Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump:
Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday.
- Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari:
From Petri Nets to Graph Transformation Systems. - Enrico Biermann, Claudia Ermel, Gabriele Taentzer:
Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework. - Frank Drewes:
Towards the Tree Automata Workbench Marbles. - Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Reaction Systems: a Formal Framework for Processes Based on Biochemical Interactions. - Hartmut Ehrig, Annegret Habel, Leen Lambers:
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. - Berthold Hoffmann:
Conditional Adaptive Star Grammars. - Dirk Janssens:
Assemblies as Graph Processes. - Renate Klempien-Hinrichs, Caroline von Totth:
Generation of Celtic Key Patterns with Tree-based Collage Grammars. - Sabine Kuske, Melanie Luderer:
Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization. - Bernd Mahr:
On Judgements and Propositions. - Till Mossakowski:
On Teaching Logic and Algebraic Specification. - Peter Padawitz:
Algebraic Model Checking. - Detlef Plump:
Checking Graph-Transformation Systems for Confluence. - Christoph Schulz, Michael Löwe, Harald König:
Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.