Підписатись
Sabine Kuske
Sabine Kuske
Lecturer at the department of Computer Science, University of Bremen
Підтверджена електронна адреса в uni-bremen.de - Домашня сторінка
Назва
Посилання
Посилання
Рік
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
3061999
A formal semantics of UML state machines based on structured graph transformation
S Kuske
International Conference on the Unified Modeling Language, 241-256, 2001
1322001
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
1182002
Graph transformation units with interleaving semantics
HJ Kreowski, S Kuske
Formal Aspects of Computing 11, 690-723, 1999
911999
Nested graph transformation units
HJ Kreowski, S Kuske, A Schürr
International Journal of Software Engineering and Knowledge Engineering 7 …, 1997
701997
Graph transformation units and modules
HJ Kreowski, S Kuske
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 2 …, 1999
631999
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
631994
Transformation Units-A Structuring Principle for Graph Transformation Systems
S Kuske
BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 72, 273-275, 2000
582000
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
552003
Some Essentials of Graph Transformation.
HJ Kreowski, R Klempien-Hinrichs, S Kuske
Recent advances in formal languages and applications 25, 229-254, 2006
482006
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
462005
More about control conditions for transformation units
S Kuske
International Workshop on Theory and Application of Graph Transformations …, 1998
401998
Graph transformation units–an overview
HJ Kreowski, S Kuske, G Rozenberg
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008
372008
Abstract hierarchical graph transformation
G Busatto, HJ Kreowski, S Kuske
Mathematical Structures in Computer Science 15 (4), 773-819, 2005
342005
Towards an integrated graph-based semantics for UML
S Kuske, M Gogolla, HJ Kreowski, P Ziemann
Software & Systems Modeling 8, 403-422, 2009
322009
Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing
HJ Kreowski, S Kuske
Natural Computing 10, 961-986, 2011
202011
Simple Modules for Grace
R Heckel, B Hoffmann, P Knirsch, S Kuske
Theory and Application of Graph Transformations: 6th International Workshop …, 2000
202000
Autonomous units and their semantics-the parallel case
HJ Kreowski, S Kuske
International Workshop on Algebraic Development Techniques, 56-73, 2006
192006
Autonomous units to model interacting sequential and parallel processes
K Hölscher, HJ Kreowski, S Kuske
Fundamenta Informaticae 92 (3), 233-257, 2009
182009
Graph transformation modules and their composition
F Drewes, P Knirsch, HJ Kreowski, S Kuske
Applications of Graph Transformations with Industrial Relevance …, 2000
182000
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20