dblp.uni-trier.dewww.uni-trier.de

Sabine Kuske Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
29EEKarsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units to Model Interacting Sequential and Parallel Processes. Fundam. Inform. 92(3): 233-257 (2009)
28EESabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann: Towards an integrated graph-based semantics for UML. Software and System Modeling 8(3): 403-422 (2009)
2008
27EEHans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg: Graph Transformation Units - An Overview. Concurrency, Graphs and Models 2008: 57-75
26EEHans-Jörg Kreowski, Sabine Kuske: Graph Multiset Transformation as a Framework for Massively Parallel Computation. ICGT 2008: 351-365
2007
25EEHans-Jörg Kreowski, Sabine Kuske: Communities of Autonomous Units for Pickup and Delivery Vehicle Routing. AGTIVE 2007: 281-296
2006
24EEKarsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Sequential Case. ICGT 2006: 245-259
23EEHans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Parallel Case. WADT 2006: 56-73
22EEHans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske: Some Essentials of Graph Transformation. Recent Advances in Formal Languages and Applications 2006: 229-254
2005
21EEClaudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann: Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. VL/HCC 2005: 125-133
20EEGiorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske: Abstract hierarchical graph transformation. Mathematical Structures in Computer Science 15(4): 773-819 (2005)
2004
19EERenate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske: Typing of Graph Transformation Units. ICGT 2004: 112-127
2003
18EEMartin Gogolla, Paul Ziemann, Sabine Kuske: Towards an Integrated Graph Based Semantics for UML. Electr. Notes Theor. Comput. Sci. 72(3): (2003)
17EESabine Kuske, Peter Knirsch: Modeling Agent Systems with Distributed Transformation Units. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2002
16EEPeter Knirsch, Sabine Kuske: Distributed Graph Transformation Units. ICGT 2002: 207-222
15EESabine 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
14EEHans-Jörg Kreowski, Sabine Kuske: Approach-Independent Structuring Concepts for Rule-Based Systems. WADT 2002: 299-311
2001
13EESabine Kuske: A Formal Semantics of UML State Machines Based on Structured Graph Transformation. UML 2001: 241-256
12EEHans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske: GRACE as a unifying approach to graph-transformation-based specification. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
11EESabine Kuske: Parameterized Transformation Units. Electr. Notes Theor. Comput. Sci. 51: (2001)
10EEHans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske: Structured Modeling with GRACE. Electr. Notes Theor. Comput. Sci. 51: (2001)
1999
9EEFrank Drewes, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske: Graph Transformation Modules and Their Composition. AGTIVE 1999: 15-30
8EEHans-Jörg Kreowski, Sabine Kuske: Graph Transformation Units with Interleaving Semantics. Formal Asp. Comput. 11(6): 690-723 (1999)
7 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)
1998
6 Sabine Kuske: More About Control Conditions for Transformation Units. TAGT 1998: 323-337
5 Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske: Simple Modules for GRACE. TAGT 1998: 383-395
1997
4EEHans-Jörg Kreowski, Sabine Kuske, Andy Schürr: Nested Graph Transformation Units. International Journal of Software Engineering and Knowledge Engineering 7(4): 479-502 (1997)
1995
3EESabine Kuske: Implementing beta-reduction by hypergraph rewriting. Electr. Notes Theor. Comput. Sci. 2: (1995)
1994
2 Hans-Jörg Kreowski, Sabine Kuske: On the Interleaving Sematics of Transformation Units - A Step into GRACE. TAGT 1994: 89-106
1993
1 Sabine Kuske: A Maximum Path Length Pumping Lemma for Edge-Replacement Languages. FCT 1993: 342-351

Coauthor Index

1Marc Andries [7]
2Giorgio Busatto [10] [12] [20]
3Frank Drewes [9]
4Gregor Engels [7]
5Claudia Ermel [21]
6Martin Gogolla [15] [18] [28]
7Annegret Habel [7]
8Reiko Heckel [5]
9Berthold Hoffmann [5] [7]
10Karsten Hölscher [21] [24] [29]
11Renate Klempien-Hinrichs [10] [19] [22]
12Peter Knirsch [5] [9] [10] [16] [17]
13Ralf Kollmann [15]
14Hans-Jörg Kreowski [2] [4] [7] [8] [9] [10] [12] [14] [15] [19] [20] [22] [23] [24] [25] [26] [27] [28] [29]
15Detlef Plump [7]
16Grzegorz Rozenberg [27]
17Andy Schürr [4] [7]
18Gabriele Taentzer [7]
19Paul Ziemann [18] [21] [28]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)