ask others

Electronic Communication of the European Association of Software Science and Technology, Volume 26

> Home > Journals > Electronic Communication of the European Association of Software Science and Technology

Volume 26: Essays Dedicated to Hans-Jörg Kreowski 2010

- no documents available
- export record
  dblp key:
  - journals/eceasst/DrewesHHP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/DrewesHHP10
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. ECEASST 26 (2010)

Articles

- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/BaldanCGM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/BaldanCGM10
Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari:
From Petri Nets to Graph Transformation Systems.
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/BiermannET10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/BiermannET10
Enrico Biermann, Claudia Ermel, Gabriele Taentzer:
Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework.
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/Drewes10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/Drewes10
Frank Drewes:
Towards the Tree Automata Workbench Marbles.
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/EhrenfeuchtR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/EhrenfeuchtR10
Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Reaction Systems: a Formal Framework for Processes Based on Biochemical Interactions.
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/EhrigHL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/EhrigHL10
Hartmut Ehrig, Annegret Habel, Leen Lambers:
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions.
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/Hoffmann10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/Hoffmann10
Berthold Hoffmann:
Conditional Adaptive Star Grammars.
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/Janssens10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/Janssens10
Dirk Janssens:
Assemblies as Graph Processes.
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/Klempien-HinrichsT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/Klempien-HinrichsT10
Renate Klempien-Hinrichs, Caroline von Totth:
Generation of Celtic Key Patterns with Tree-based Collage Grammars.
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/KuskeL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/KuskeL10
Sabine Kuske, Melanie Luderer:
Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization.
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/Mahr10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/Mahr10
Bernd Mahr:
On Judgements and Propositions.
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/Mossakowski10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/Mossakowski10
Till Mossakowski:
On Teaching Logic and Algebraic Specification.
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/Padawitz10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/Padawitz10
Peter Padawitz:
Algebraic Model Checking.
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/Plump10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/Plump10
Detlef Plump:
Checking Graph-Transformation Systems for Confluence.
- view
  - electronic edition @ tu-berlin.de
- export record
  dblp key:
  - journals/eceasst/SchulzLK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eceasst/SchulzLK10
Christoph Schulz, Michael Löwe, Harald König:
Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods.

maintained by

at