Sabine Kuske
Sabine Kuske
Lecturer at the department of Computer Science, University of Bremen
Verified email at uni-bremen.de - Homepage
Title
Cited by
Cited by
Year
Graph transformation for specification and programming
M Andries, G Engels, A Habel, B Hoffmann, HJ Kreowski, S Kuske, ...
Science of Computer programming 34 (1), 1-54, 1999
2781999
A formal semantics of UML state machines based on structured graph transformation
S Kuske
International Conference on the Unified Modeling Language, 241-256, 2001
1252001
An integrated semantics for UML class, object and state diagrams based on graph transformation
S Kuske, M Gogolla, R Kollmann, HJ Kreowski
International conference on integrated formal methods, 11-28, 2002
1072002
Graph transformation units with interleaving semantics
HJ Kreowski, S Kuske
Formal Aspects of Computing 11 (6), 690-723, 1999
821999
Nested graph transformation units
HJ Kreowski, S Kuske, A Schürr
International Journal of Software Engineering and Knowledge Engineering 7 …, 1997
631997
Graph transformation units and modules
HJ Kreowski, S Kuske
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2 …, 1999
591999
On the interleaving semantics of transformation units—a step into GRACE
HJ Kreowski, S Kuske
International Workshop on Graph Grammars and Their Application to Computer …, 1994
591994
Transformation Units-A Structuring Principle for Graph Transformation Systems
S Kuske
BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 72, 273-275, 2000
522000
Towards an integrated graph based semantics for UML
M Gogolla, P Ziemann, S Kuske
Electronic Notes in Theoretical Computer Science 72 (3), 160-175, 2003
512003
Some Essentials of Graph Transformation.
HJ Kreowski, R Klempien-Hinrichs, S Kuske
Recent advances in formal languages and applications 25, 229-254, 2006
462006
Animated simulation of integrated UML behavioral models based on graph transformation
C Ermel, K Holscher, S Kuske, P Ziemann
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2005
432005
More about control conditions for transformation units
S Kuske
International Workshop on Theory and Application of Graph Transformations …, 1998
361998
Graph transformation units–an overview
HJ Kreowski, S Kuske, G Rozenberg
Concurrency, Graphs and Models, 57-75, 2008
342008
Towards an integrated graph-based semantics for UML
S Kuske, M Gogolla, HJ Kreowski, P Ziemann
Software & Systems Modeling 8 (3), 403-422, 2009
302009
Abstract hierarchical graph transformation
G Busatto, HJ Kreowski, S Kuske
Mathematical Structures in Computer Science 15 (4), 773, 2005
282005
Autonomous units and their semantics-the parallel case
HJ Kreowski, S Kuske
International Workshop on Algebraic Development Techniques, 56-73, 2006
192006
Graph multiset transformation as a framework for massively parallel computation
HJ Kreowski, S Kuske
International Conference on Graph Transformation, 351-365, 2008
172008
Autonomous units and their semantics—the sequential case
K Hölscher, HJ Kreowski, S Kuske
International Conference on Graph Transformation, 245-259, 2006
172006
Simple modules for GRACE
R Heckel, B Hoffmann, P Knirsch, S Kuske
International Workshop on Theory and Application of Graph Transformations …, 1998
171998
Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing
HJ Kreowski, S Kuske
Natural Computing 10 (2), 961-986, 2011
152011
The system can't perform the operation now. Try again later.
Articles 1–20