Sabine Kuske

Hans-Jörg Kreowski, Sabine Kuske: Polynomial graph transformability. Theor. Comput. Sci. 429: 193-201 (2012)

Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth: Modeling production networks with discrete processes by means of communities of autonomous units. Logistics Research 3(2-3): 159-175 (2011)

Hans-Jörg Kreowski, Sabine Kuske: Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing. Natural Computing 10(2): 961-986 (2011)

Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth: From Graph Transformation Units via MiniSat to GrGen.NET. AGTIVE 2011: 153-168

Sabine Kuske, Melanie Luderer: Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization. ECEASST 26 (2010)

Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth: Stepping from Graph Transformation Units to Model Transformation Units. ECEASST 30 (2010)

Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Concurrent Case. Graph Transformations and Model-Driven Engineering 2010: 102-120

Hans-Jörg Kreowski, Sabine Kuske, Robert Wille: Graph Transformation Units Guided by a SAT Solver. ICGT 2010: 27-42

Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth: Combining Graph Transformation and Algebraic Specification into Model Transformation. WADT 2010: 193-208

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)

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)

Hans-Jörg Kreowski, Sabine Kuske, Hauke Tönnies: Autonomous Units to Model Games. GI Jahrestagung 2009: 3465-3472

Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg: Graph Transformation Units - An Overview. Concurrency, Graphs and Models 2008: 57-75

Hans-Jörg Kreowski, Sabine Kuske: Graph Multiset Transformation as a Framework for Massively Parallel Computation. ICGT 2008: 351-365

Hans-Jörg Kreowski, Sabine Kuske: Communities of Autonomous Units for Pickup and Delivery Vehicle Routing. AGTIVE 2007: 281-296

Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Sequential Case. ICGT 2006: 245-259

Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Parallel Case. WADT 2006: 56-73

Hans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske: Some Essentials of Graph Transformation. Recent Advances in Formal Languages and Applications 2006: 229-254

Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske: Abstract hierarchical graph transformation. Mathematical Structures in Computer Science 15(4): 773-819 (2005)

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

Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske: Typing of Graph Transformation Units. ICGT 2004: 112-127

Martin Gogolla, Paul Ziemann, Sabine Kuske: Towards an Integrated Graph Based Semantics for UML. Electr. Notes Theor. Comput. Sci. 72(3): 160-175 (2003)

Sabine Kuske, Peter Knirsch: Modeling Agent Systems with Distributed Transformation Units. Electr. Notes Theor. Comput. Sci. 82(7): 79-90 (2003)

Peter Knirsch, Sabine Kuske: Distributed Graph Transformation Units. ICGT 2002: 207-222

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

Hans-Jörg Kreowski, Sabine Kuske: Approach-Independent Structuring Concepts for Rule-Based Systems. WADT 2002: 299-311

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): 1-15 (2001)

Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske: Structured Modeling with GRACE. Electr. Notes Theor. Comput. Sci. 51: 233-245 (2001)

Sabine Kuske: Parameterized Transformation Units. Electr. Notes Theor. Comput. Sci. 51: 246-257 (2001)

Sabine Kuske: A Formal Semantics of UML State Machines Based on Structured Graph Transformation. UML 2001: 241-256

Hans-Jörg Kreowski, Sabine Kuske: Graph Transformation Units with Interleaving Semantics. Formal Asp. Comput. 11(6): 690-723 (1999)

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)

Frank Drewes, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske: Graph Transformation Modules and Their Composition. AGTIVE 1999: 15-30

Sabine Kuske: More About Control Conditions for Transformation Units. TAGT 1998: 323-337

Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske: Simple Modules for GRACE. TAGT 1998: 383-395

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)

Sabine Kuske: Implementing beta-reduction by hypergraph rewriting. Electr. Notes Theor. Comput. Sci. 2: 191-198 (1995)

Hans-Jörg Kreowski, Sabine Kuske: On the Interleaving Sematics of Transformation Units - A Step into GRACE. TAGT 1994: 89-106

Sabine Kuske: A Maximum Path Length Pumping Lemma for Edge-Replacement Languages. FCT 1993: 342-351