![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Sabine Kuske
Person information
- affiliation: University of Bremen, Department of Computer Science, Germany
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c42]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst:
Moving a Derivation Along a Derivation Preserves the Spine. ICGT 2023: 64-80 - 2022
- [j16]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
:
Transformation of variants of Petri nets into context-dependent fusion grammars. Inf. Comput. 286: 104780 (2022) - [c41]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst:
A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. GCM@STAF 2022: 76-93 - 2021
- [j15]Larbi Abdenebaoui
, Hans-Jörg Kreowski, Sabine Kuske:
A Graph-Transformational Approach to Swarm Computation. Entropy 23(4): 453 (2021) - 2020
- [j14]Hans-Jörg Kreowski, Sabine Kuske:
Modeling and Analyzing Graph Algorithms by Means of Graph Transformation Units. J. Object Technol. 19(3): 3:1-14 (2020)
2010 – 2019
- 2019
- [c40]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Relating DNA Computing and Splitting/Fusion Grammars. ICGT 2019: 159-174 - [c39]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Transformation of Petri Nets into Context-Dependent Fusion Grammars. LATA 2019: 246-258 - 2018
- [c38]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
A Simple Notion of Parallel Graph Transformation and Its Perspectives. Graph Transformation, Specifications, and Nets 2018: 61-82 - [c37]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars. ICGT 2018: 3-19 - 2017
- [c36]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Fusion Grammars: A Novel Approach to the Generation of Graph Languages. ICGT 2017: 90-105 - [c35]Stefan Edelkamp, Eike Externest, Sebastian Kühl, Sabine Kuske:
Solving Graph Optimization Problems in a Framework for Monte-Carlo Search. SOCS 2017: 163-164 - 2016
- [c34]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth:
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. ICGT 2016: 236-251 - [c33]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Canonical Multi-target Toffoli Circuits. LATA 2016: 603-616 - 2015
- [c32]Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske:
Graph-Transformational Swarms with Stationary Members. DoCEIS 2015: 137-144 - 2014
- [c31]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer:
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. ICGT 2014: 237-252 - [c30]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: 115-126 - 2013
- [j13]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) - [j12]Hans-Jörg Kreowski, Sabine Kuske:
Graph Tuple Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013) - [c29]Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske:
Graph-transformational swarms. NCMA 2013: 35-50 - 2012
- [j11]Hans-Jörg Kreowski, Sabine Kuske:
Polynomial graph transformability. Theor. Comput. Sci. 429: 193-201 (2012) - 2011
- [j10]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): 159-175 (2011) - [j9]Hans-Jörg Kreowski, Sabine Kuske:
Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing. Nat. Comput. 10(2): 961-986 (2011) - [c28]Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth:
From Graph Transformation Units via MiniSat to GrGen.NET. AGTIVE 2011: 153-168 - 2010
- [j8]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) - [j7]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) - [c27]Hans-Jörg Kreowski, Sabine Kuske:
Autonomous Units and Their Semantics - The Concurrent Case. Graph Transformations and Model-Driven Engineering 2010: 102-120 - [c26]Hans-Jörg Kreowski, Sabine Kuske, Robert Wille
:
Graph Transformation Units Guided by a SAT Solver. ICGT 2010: 27-42 - [c25]Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth:
Combining Graph Transformation and Algebraic Specification into Model Transformation. WADT 2010: 193-208
2000 – 2009
- 2009
- [j6]Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske:
Autonomous Units to Model Interacting Sequential and Parallel Processes. Fundam. Informaticae 92(3): 233-257 (2009) - [j5]Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann:
Towards an integrated graph-based semantics for UML. Softw. Syst. Model. 8(3): 403-422 (2009) - [c24]Hans-Jörg Kreowski, Sabine Kuske, Hauke Tönnies:
Autonomous Units to Model Games. GI Jahrestagung 2009: 3465-3472 - [c23]Sabine Kuske, Melanie Luderer, Hauke Tönnies:
Autonomous Units for Solving the Traveling Salesperson Problem Based on Ant Colony Optimization. LDIC 2009: 289-298 - 2008
- [c22]Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg:
Graph Transformation Units - An Overview. Concurrency, Graphs and Models 2008: 57-75 - [c21]Hans-Jörg Kreowski, Sabine Kuske:
Graph Multiset Transformation as a Framework for Massively Parallel Computation. ICGT 2008: 351-365 - 2007
- [c20]Hans-Jörg Kreowski, Sabine Kuske:
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing. AGTIVE 2007: 281-296 - 2006
- [c19]Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske:
Autonomous Units and Their Semantics - The Sequential Case. ICGT 2006: 245-259 - [c18]Hans-Jörg Kreowski, Sabine Kuske:
Autonomous Units and Their Semantics - The Parallel Case. WADT 2006: 56-73 - [p1]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
- [j4]Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske:
Abstract hierarchical graph transformation. Math. Struct. Comput. Sci. 15(4): 773-819 (2005) - [c17]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 - 2004
- [c16]Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske:
Typing of Graph Transformation Units. ICGT 2004: 112-127 - 2003
- [c15]Sabine Kuske, Peter Knirsch:
Modeling Agent Systems with Distributed Transformation Units. UNIGRA 2003: 79-90 - 2002
- [c14]Peter Knirsch, Sabine Kuske:
Distributed Graph Transformation Units. ICGT 2002: 207-222 - [c13]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 - [c12]Hans-Jörg Kreowski, Sabine Kuske:
Approach-Independent Structuring Concepts for Rule-Based Systems. WADT 2002: 299-311 - [c11]Martin Gogolla, Paul Ziemann, Sabine Kuske:
Towards an Integrated Graph Based Semantics for UML. GT-VMT@ICGT 2002: 160-175 - 2001
- [c10]Sabine Kuske:
A Formal Semantics of UML State Machines Based on Structured Graph Transformation. UML 2001: 241-256 - [c9]Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske:
GRACE as a unifying approach to graph-transformation-based specification. UNIGRA 2001: 1-15 - [c8]Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske:
Structured Modeling with GRACE. GETGRATS Closing Workshop 2001: 233-245 - [c7]Sabine Kuske:
Parameterized Transformation Units. GETGRATS Closing Workshop 2001: 246-257 - 2000
- [b1]Sabine Kuske:
Transformation units: a structuring principle for graph transformation systems. University of Bremen, Germany, 2000, pp. 1-169
1990 – 1999
- 1999
- [j3]Hans-Jörg Kreowski, Sabine Kuske:
Graph Transformation Units with Interleaving Semantics. Formal Aspects Comput. 11(6): 690-723 (1999) - [j2]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) - [c6]Frank Drewes, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske:
Graph Transformation Modules and Their Composition. AGTIVE 1999: 15-30 - 1998
- [c5]Sabine Kuske:
More About Control Conditions for Transformation Units. TAGT 1998: 323-337 - [c4]Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske:
Simple Modules for GRACE. TAGT 1998: 383-395 - 1997
- [j1]Hans-Jörg Kreowski, Sabine Kuske, Andy Schürr:
Nested Graph Transformation Units. Int. J. Softw. Eng. Knowl. Eng. 7(4): 479-502 (1997) - 1995
- [c3]Sabine Kuske:
Implementing beta-reduction by hypergraph rewriting. SEGRAGRA 1995: 191-198 - 1994
- [c2]Hans-Jörg Kreowski, Sabine Kuske:
On the Interleaving Sematics of Transformation Units - A Step into GRACE. TAGT 1994: 89-106 - 1993
- [c1]Sabine Kuske:
A Maximum Path Length Pumping Lemma for Edge-Replacement Languages. FCT 1993: 342-351
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint