Sabine Kuske

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 14

Top Venues

ICGT

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

LATA

CoRR

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst
Moving a Derivation Along a Derivation Preserves the Spine. ICGT (2023)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst
A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. CoRR (2022)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Transformation of variants of Petri nets into context-dependent fusion grammars. Inf. Comput. 286 (2022)
Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske
A Graph-Transformational Approach to Swarm Computation. Entropy 23 (4) (2021)
Hans-Jörg Kreowski, Sabine Kuske
Modeling and Analyzing Graph Algorithms by Means of Graph Transformation Units. J. Object Technol. 19 (3) (2020)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Transformation of Petri Nets into Context-Dependent Fusion Grammars. LATA (2019)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Relating DNA Computing and Splitting/Fusion Grammars. ICGT (2019)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars. ICGT (2018)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
A Simple Notion of Parallel Graph Transformation and Its Perspectives. Graph Transformation, Specifications, and Nets (2018)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Fusion Grammars: A Novel Approach to the Generation of Graph Languages. ICGT (2017)
Stefan Edelkamp, Eike Externest, Sebastian Kühl, Sabine Kuske
Solving Graph Optimization Problems in a Framework for Monte-Carlo Search. SOCS (2017)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. ICGT (2016)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Canonical Multi-target Toffoli Circuits. LATA (2016)
Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske
Graph-Transformational Swarms with Stationary Members. DoCEIS (2015)
Hans-Jörg Kreowski, Marco Franke, Karl Hribernik, Sabine Kuske, Klaus-Dieter Thoben, Caro von Totth
Toward a Comprehensive Approach to the Transformation of Logistic Models. LDIC (2014)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. ICGT (2014)
Marcus Ermler, Sabine Kuske, Melanie Luderer, Caroline von Totth
A Graph Transformational View on Reductions in NP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61 (2013)
Hans-Jörg Kreowski, Sabine Kuske
Graph Tuple Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013)
Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske
Graph-transformational swarms. NCMA (2013)
Hans-Jörg Kreowski, Sabine Kuske
Polynomial graph transformability. Theor. Comput. Sci. 429 (2012)
Hans-Jörg Kreowski, Sabine Kuske
Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing. Nat. Comput. 10 (2) (2011)
Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
From Graph Transformation Units via MiniSat to GrGen.NET. AGTIVE (2011)
Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
Modeling production networks with discrete processes by means of communities of autonomous units. Logist. Res. 3 (2-3) (2011)
Hans-Jörg Kreowski, Sabine Kuske, Robert Wille
Graph Transformation Units Guided by a SAT Solver. ICGT (2010)
Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
Stepping from Graph Transformation Units to Model Transformation Units. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Hans-Jörg Kreowski, Sabine Kuske
Autonomous Units and Their Semantics - The Concurrent Case. Graph Transformations and Model-Driven Engineering (2010)
Sabine Kuske, Melanie Luderer
Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
Combining Graph Transformation and Algebraic Specification into Model Transformation. WADT (2010)
Hans-Jörg Kreowski, Sabine Kuske, Hauke Tönnies
Autonomous Units to Model Games. GI Jahrestagung (2009)
Sabine Kuske, Melanie Luderer, Hauke Tönnies
Autonomous Units for Solving the Traveling Salesperson Problem Based on Ant Colony Optimization. LDIC (2009)
Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske
Autonomous Units to Model Interacting Sequential and Parallel Processes. Fundam. Informaticae 92 (3) (2009)
Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann
Towards an integrated graph-based semantics for UML. Softw. Syst. Model. 8 (3) (2009)
Hans-Jörg Kreowski, Sabine Kuske
Graph Multiset Transformation as a Framework for Massively Parallel Computation. ICGT (2008)
Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg
Graph Transformation Units - An Overview. Concurrency, Graphs and Models (2008)
Hans-Jörg Kreowski, Sabine Kuske
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing. AGTIVE (2007)
Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske
Autonomous Units and Their Semantics - The Sequential Case. ICGT (2006)
Hans-Jörg Kreowski, Sabine Kuske
Autonomous Units and Their Semantics - The Parallel Case. WADT (2006)
Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske
Abstract hierarchical graph transformation. Math. Struct. Comput. Sci. 15 (4) (2005)
Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. VL/HCC (2005)
Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske
Typing of Graph Transformation Units. ICGT (2004)
Martin Gogolla, Paul Ziemann, Sabine Kuske
Towards an Integrated Graph Based Semantics for UML. Electron. Notes Theor. Comput. Sci. 72 (3) (2003)
Sabine Kuske, Peter Knirsch
Modeling Agent Systems with Distributed Transformation Units. Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
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)
Hans-Jörg Kreowski, Sabine Kuske
Approach-Independent Structuring Concepts for Rule-Based Systems. WADT (2002)
Peter Knirsch, Sabine Kuske
Distributed Graph Transformation Units. ICGT (2002)
Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske
Structured Modeling with GRACE. Electron. Notes Theor. Comput. Sci. 51 (2001)
Sabine Kuske
A Formal Semantics of UML State Machines Based on Structured Graph Transformation. UML (2001)
Sabine Kuske
Parameterized Transformation Units. Electron. Notes Theor. Comput. Sci. 51 (2001)
Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske
GRACE as a unifying approach to graph-transformation-based specification. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Frank Drewes, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske
Graph Transformation Modules and Their Composition. AGTIVE (1999)
Hans-Jörg Kreowski, Sabine Kuske
Graph Transformation Units with Interleaving Semantics. Formal Aspects Comput. 11 (6) (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) (1999)
Sabine Kuske
More About Control Conditions for Transformation Units. TAGT (1998)
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske
Simple Modules for GRACE. TAGT (1998)
Hans-Jörg Kreowski, Sabine Kuske, Andy Schürr
Nested Graph Transformation Units. Int. J. Softw. Eng. Knowl. Eng. 7 (4) (1997)
Sabine Kuske
Implementing beta-reduction by hypergraph rewriting. Electron. Notes Theor. Comput. Sci. 2 (1995)
Hans-Jörg Kreowski, Sabine Kuske
On the Interleaving Sematics of Transformation Units - A Step into GRACE. TAGT (1994)
Sabine Kuske
A Maximum Path Length Pumping Lemma for Edge-Replacement Languages. FCT (1993)

Sabine Kuske.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sabine Kuske