 | 2009 |
|---|
| 29 |       | Karsten Hölscher,
Hans-Jörg Kreowski,
Sabine Kuske:
Autonomous Units to Model Interacting Sequential and Parallel Processes.
Fundam. Inform. 92(3): 233-257 (2009) |
| 28 | | Sabine Kuske,
Martin Gogolla,
Hans-Jörg Kreowski,
Paul Ziemann:
Towards an integrated graph-based semantics for UML.
Software and System Modeling 8(3): 403-422 (2009) |
| 2008 |
|---|
| 27 | | Hans-Jörg Kreowski,
Sabine Kuske,
Grzegorz Rozenberg:
Graph Transformation Units - An Overview.
Concurrency, Graphs and Models 2008: 57-75 |
| 26 | | Hans-Jörg Kreowski,
Sabine Kuske:
Graph Multiset Transformation as a Framework for Massively Parallel Computation.
ICGT 2008: 351-365 |
| 2007 |
|---|
| 25 | | Hans-Jörg Kreowski,
Sabine Kuske:
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing.
AGTIVE 2007: 281-296 |
| 2006 |
|---|
| 24 | | Karsten Hölscher,
Hans-Jörg Kreowski,
Sabine Kuske:
Autonomous Units and Their Semantics - The Sequential Case.
ICGT 2006: 245-259 |
| 23 | | Hans-Jörg Kreowski,
Sabine Kuske:
Autonomous Units and Their Semantics - The Parallel Case.
WADT 2006: 56-73 |
| 22 | | Hans-Jörg Kreowski,
Renate Klempien-Hinrichs,
Sabine Kuske:
Some Essentials of Graph Transformation.
Recent Advances in Formal Languages and Applications 2006: 229-254 |
| 2005 |
|---|
| 21 | | Claudia Ermel,
Karsten Hölscher,
Sabine Kuske,
Paul Ziemann:
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation.
VL/HCC 2005: 125-133 |
| 20 | | Giorgio Busatto,
Hans-Jörg Kreowski,
Sabine Kuske:
Abstract hierarchical graph transformation.
Mathematical Structures in Computer Science 15(4): 773-819 (2005) |
| 2004 |
|---|
| 19 | | Renate Klempien-Hinrichs,
Hans-Jörg Kreowski,
Sabine Kuske:
Typing of Graph Transformation Units.
ICGT 2004: 112-127 |
| 2003 |
|---|
| 18 | | Martin Gogolla,
Paul Ziemann,
Sabine Kuske:
Towards an Integrated Graph Based Semantics for UML.
Electr. Notes Theor. Comput. Sci. 72(3): (2003) |
| 17 | | Sabine Kuske,
Peter Knirsch:
Modeling Agent Systems with Distributed Transformation Units.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 2002 |
|---|
| 16 | | Peter Knirsch,
Sabine Kuske:
Distributed Graph Transformation Units.
ICGT 2002: 207-222 |
| 15 | | Sabine Kuske,
Martin Gogolla,
Ralf Kollmann,
Hans-Jörg Kreowski:
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation.
IFM 2002: 11-28 |
| 14 | | Hans-Jörg Kreowski,
Sabine Kuske:
Approach-Independent Structuring Concepts for Rule-Based Systems.
WADT 2002: 299-311 |
| 2001 |
|---|
| 13 | | Sabine Kuske:
A Formal Semantics of UML State Machines Based on Structured Graph Transformation.
UML 2001: 241-256 |
| 12 | | Hans-Jörg Kreowski,
Giorgio Busatto,
Sabine Kuske:
GRACE as a unifying approach to graph-transformation-based specification.
Electr. Notes Theor. Comput. Sci. 44(4): (2001) |
| 11 | | Sabine Kuske:
Parameterized Transformation Units.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 10 | | Hans-Jörg Kreowski,
Giorgio Busatto,
Renate Klempien-Hinrichs,
Peter Knirsch,
Sabine Kuske:
Structured Modeling with GRACE.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 1999 |
|---|
| 9 | | Frank Drewes,
Peter Knirsch,
Hans-Jörg Kreowski,
Sabine Kuske:
Graph Transformation Modules and Their Composition.
AGTIVE 1999: 15-30 |
| 8 | | Hans-Jörg Kreowski,
Sabine Kuske:
Graph Transformation Units with Interleaving Semantics.
Formal Asp. Comput. 11(6): 690-723 (1999) |
| 7 |  | Marc Andries,
Gregor Engels,
Annegret Habel,
Berthold Hoffmann,
Hans-Jörg Kreowski,
Sabine Kuske,
Detlef Plump,
Andy Schürr,
Gabriele Taentzer:
Graph Transformation for Specification and Programming.
Sci. Comput. Program. 34(1): 1-54 (1999) |
| 1998 |
|---|
| 6 | | Sabine Kuske:
More About Control Conditions for Transformation Units.
TAGT 1998: 323-337 |
| 5 | | Reiko Heckel,
Berthold Hoffmann,
Peter Knirsch,
Sabine Kuske:
Simple Modules for GRACE.
TAGT 1998: 383-395 |
| 1997 |
|---|
| 4 | | Hans-Jörg Kreowski,
Sabine Kuske,
Andy Schürr:
Nested Graph Transformation Units.
International Journal of Software Engineering and Knowledge Engineering 7(4): 479-502 (1997) |
| 1995 |
|---|
| 3 | | Sabine Kuske:
Implementing beta-reduction by hypergraph rewriting.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 1994 |
|---|
| 2 | | Hans-Jörg Kreowski,
Sabine Kuske:
On the Interleaving Sematics of Transformation Units - A Step into GRACE.
TAGT 1994: 89-106 |
| 1993 |
|---|
| 1 | | Sabine Kuske:
A Maximum Path Length Pumping Lemma for Edge-Replacement Languages.
FCT 1993: 342-351 |
