Sabine Kuske

According to our database1, Sabine Kuske
  • authored at least 51 papers between 1993 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars.
Proceedings of the Graph Transformation - 11th International Conference, 2018

A Simple Notion of Parallel Graph Transformation and Its Perspectives.
Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017
Solving Graph Optimization Problems in a Framework for Monte-Carlo Search.
Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Fusion Grammars: A Novel Approach to the Generation of Graph Languages.
Proceedings of the Graph Transformation - 10th International Conference, 2017

2016
Canonical Multi-target Toffoli Circuits.
Proceedings of the Language and Automata Theory and Applications, 2016

Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization.
Proceedings of the Graph Transformation - 9th International Conference, 2016

2015
Graph-Transformational Swarms with Stationary Members.
Proceedings of the Technological Innovation for Cloud-Based Engineering Systems, 2015

2014
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis.
Proceedings of the Graph Transformation - 7th International Conference, 2014

2013
Graph Tuple Transformation.
ECEASST, 2013

A Graph Transformational View on Reductions in NP.
ECEASST, 2013

Graph-transformational swarms.
Proceedings of the Fifth Workshop on Non-Classical Models for Automata and Applications - NCMA 2013, Umeå, Sweden, August 13, 2013

2012
Polynomial graph transformability.
Theor. Comput. Sci., 2012

2011
Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing.
Natural Computing, 2011

Modeling production networks with discrete processes by means of communities of autonomous units.
Logistics Research, 2011

From Graph Transformation Units via MiniSat to GrGen.NET.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010
Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization.
ECEASST, 2010

Stepping from Graph Transformation Units to Model Transformation Units.
ECEASST, 2010

Combining Graph Transformation and Algebraic Specification into Model Transformation.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Graph Transformation Units Guided by a SAT Solver.
Proceedings of the Graph Transformations - 5th International Conference, 2010

Autonomous Units and Their Semantics - The Concurrent Case.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
Towards an integrated graph-based semantics for UML.
Software and System Modeling, 2009

Autonomous Units to Model Interacting Sequential and Parallel Processes.
Fundam. Inform., 2009

Autonomous Units to Model Games.
Proceedings of the Informatik 2009: Im Focus das Leben, 2009

2008
Graph Multiset Transformation as a Framework for Massively Parallel Computation.
Proceedings of the Graph Transformations, 4th International Conference, 2008

Graph Transformation Units - An Overview.
Proceedings of the Concurrency, 2008

2007
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
Some Essentials of Graph Transformation.
Proceedings of the Recent Advances in Formal Languages and Applications, 2006

Autonomous Units and Their Semantics - The Parallel Case.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Autonomous Units and Their Semantics - The Sequential Case.
Proceedings of the Graph Transformations, Third International Conference, 2006

2005
Abstract hierarchical graph transformation.
Mathematical Structures in Computer Science, 2005

Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

2004
Typing of Graph Transformation Units.
Proceedings of the Graph Transformations, Second International Conference, 2004

2003
Modeling Agent Systems with Distributed Transformation Units.
Electr. Notes Theor. Comput. Sci., 2003

Towards an Integrated Graph Based Semantics for UML.
Electr. Notes Theor. Comput. Sci., 2003

2002
Approach-Independent Structuring Concepts for Rule-Based Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Distributed Graph Transformation Units.
Proceedings of the Graph Transformation, First International Conference, 2002

2001
Parameterized Transformation Units.
Electr. Notes Theor. Comput. Sci., 2001

Structured Modeling with GRACE.
Electr. Notes Theor. Comput. Sci., 2001

GRACE as a unifying approach to graph-transformation-based specification.
Electr. Notes Theor. Comput. Sci., 2001

A Formal Semantics of UML State Machines Based on Structured Graph Transformation.
Proceedings of the «UML» 2001, 2001

2000
Transformation units: a structuring principle for graph transformation systems.
PhD thesis, 2000

1999
Graph Transformation for Specification and Programming.
Sci. Comput. Program., 1999

Graph Transformation Units with Interleaving Semantics.
Formal Asp. Comput., 1999

Graph Transformation Modules and Their Composition.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998
More About Control Conditions for Transformation Units.
Proceedings of the Theory and Application of Graph Transformations, 1998

Simple Modules for GRACE.
Proceedings of the Theory and Application of Graph Transformations, 1998

1997
Nested Graph Transformation Units.
International Journal of Software Engineering and Knowledge Engineering, 1997

1995
Implementing beta-reduction by hypergraph rewriting.
Electr. Notes Theor. Comput. Sci., 1995

1994
On the Interleaving Sematics of Transformation Units - A Step into GRACE.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1993
A Maximum Path Length Pumping Lemma for Edge-Replacement Languages.
Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993


  Loading...