2008 |
27 | EE | Hans-Jörg Kreowski,
Sabine Kuske,
Grzegorz Rozenberg:
Graph Transformation Units - An Overview.
Concurrency, Graphs and Models 2008: 57-75 |
26 | EE | Hans-Jörg Kreowski,
Sabine Kuske:
Graph Multiset Transformation as a Framework for Massively Parallel Computation.
ICGT 2008: 351-365 |
2007 |
25 | EE | Hans-Jörg Kreowski,
Sabine Kuske:
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing.
AGTIVE 2007: 281-296 |
2006 |
24 | EE | Karsten Hölscher,
Hans-Jörg Kreowski,
Sabine Kuske:
Autonomous Units and Their Semantics - The Sequential Case.
ICGT 2006: 245-259 |
23 | EE | Hans-Jörg Kreowski,
Sabine Kuske:
Autonomous Units and Their Semantics - The Parallel Case.
WADT 2006: 56-73 |
22 | EE | 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 | EE | 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 | EE | Giorgio Busatto,
Hans-Jörg Kreowski,
Sabine Kuske:
Abstract hierarchical graph transformation.
Mathematical Structures in Computer Science 15(4): 773-819 (2005) |
2004 |
19 | EE | Renate Klempien-Hinrichs,
Hans-Jörg Kreowski,
Sabine Kuske:
Typing of Graph Transformation Units.
ICGT 2004: 112-127 |
2003 |
18 | EE | Martin Gogolla,
Paul Ziemann,
Sabine Kuske:
Towards an Integrated Graph Based Semantics for UML.
Electr. Notes Theor. Comput. Sci. 72(3): (2003) |
17 | EE | Sabine Kuske,
Peter Knirsch:
Modeling Agent Systems with Distributed Transformation Units.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
2002 |
16 | EE | Peter Knirsch,
Sabine Kuske:
Distributed Graph Transformation Units.
ICGT 2002: 207-222 |
15 | EE | 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 | EE | Hans-Jörg Kreowski,
Sabine Kuske:
Approach-Independent Structuring Concepts for Rule-Based Systems.
WADT 2002: 299-311 |
2001 |
13 | EE | Sabine Kuske:
A Formal Semantics of UML State Machines Based on Structured Graph Transformation.
UML 2001: 241-256 |
12 | EE | 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 | EE | Sabine Kuske:
Parameterized Transformation Units.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
10 | EE | 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 | EE | Frank Drewes,
Peter Knirsch,
Hans-Jörg Kreowski,
Sabine Kuske:
Graph Transformation Modules and Their Composition.
AGTIVE 1999: 15-30 |
8 | EE | 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 | EE | 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 | EE | 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 |