


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














