Sabine Kuske - RankMe

60 papers B 15C 2Journal 16Unranked 25

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