Festkolloquium zum 60. Geburtstag von

Hans-Jörg Kreowski

 

   Festschrift




Festschrift Complete / vollständig (118 MB PDF!)


Festschrift without color plates / ohne Farbtafeln (46 MB PDF!)


Greetings / Grußworte




  ESSAYS


Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari: Frm Ptr Nts t Grph Trnsfrmtn Sstms


Enrico Biermann, Claudia Ermel, Gabriele Taentzer : Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework


Wolfgang Coy: Rechnen, Denken, lebenslange Bildung


Frank Drewes: Towards the Tree Automata Workbench MARBLES


Andrzej Ehrenfeucht, Grzegorz Rozenberg: Processes Based on Biochemical Interactions: Natural Computing Point of View


Hartmut Ehrig, Annegret Habel, Leen Lambers: Parallelism and Concurrency Theorems for Rules with Nested Application Conditions


Sigrid Ewert: Random Context Picture Grammars: The State of the Art


Martin Gogolla, Karsten Hölscher: From Algebraic Specifications to Graph Transformation Rules to UML and OCL Models


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, Hauke Tönnies: 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: Refactoring Object-Oriented Systems


Ralf E. Streibl: Das Forum InformatikerInnen für Frieden und gesellschaftliche Verantwortung (FIfF) e.V.