University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH
Publications by Sabine Kuske (get BIBTeX file):

Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske: Graph-transformational swarms. In Frank Drewes, Rudolf Freund, Friedrich Otto Suna Bensch, editor, Fifth Workshop on Non-Classical Models for Automata and Applications - NCMA 2013, Umea, Sweden, August 13 - August 14, Proceedings, pages 35-50. Österreichische Computer Gesellschaft, 2013.

Marcus Ermler, Sabine Kuske, Melanie Luderer, Caro von Totth: A Graph Transformational View on Reductions in NP. Electronic Communications of the EASST 61, 2013.

Hans-Jörg Kreowski, Sabine Kuske: Graph Tuple Transformation. Electronic Communications of the EASST 62, 2013. 23 pages.

Hans-Jörg Kreowski, Sabine Kuske, Caro von Totth: Combining Graph Transformation and Algebraic Specification into Model Transformation. In Till Mossakowski, Hans-Jörg Kreowski, editors, Proc. Int. Workshop on Algebraic Development Techniques (WADT 2010), volume 7137 of Lecture Notes in Computer Science, pages 193-208. 2012.

Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske, Caro von Totth: From Graph Transformation Units via MiniSat to GrGen.Net. In Andy Schürr, Dániel Varró, Gergley Varró, editors, Revised Selected and Invited Papers of the International Symposium Applications of Graph Transformations with Industrial Relevance (AGTIVE 2011), volume 7233 of Lecture Notes in Computer Science, pages 153-168. Springer, 2012.

Marcus Ermler, Sabine Kuske, Melanie Luderer, Caro von Totth: A Graph Transformational View on Reductions in NP. In Rachid Echahed, Annegret Habel, Mohamed Mosbah, editors, Proc. Fourth International Workshop on Graph Computation Models (GCM 2012), pages 32-46. 2012.

Hans-Jörg Kreowski, Sabine Kuske: Polynomial Graph Transformability. Theoretical Computer Science 429:193-201, 2012.

Hans-Jörg Kreowski, Sabine Kuske: Graph Multiset Transformation - A New Framework for Massively Parallel Computation Inspired by DNA Computing. Natural Computing 10:961-986, 2011. DOI:10.1007/s11047-010-9245-6.

Hans-Jörg Kreowski, Sabine Kuske, Melanie Luderer, Caro von Totth: Communities of Autonomous Units. An Approach to Interactive Computation, its Power and Limitations. In Michael Hülsmann, Bernd Scholz-Reiter, Katja Windt, editors, Autonomous Cooperation and Control in Logistics, Contributions and Limitations - Theoretical and Practical Perspectives, pages 113-129. 2011.

Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth: Modeling Production Networks with Discrete Processes by Means of Communities of Autonomous Units. Logistics Research 3:159-175, 2011.

Sabine Kuske, Melanie Luderer, Hauke Tönnies: Autonomous Units for Solving the Traveling Salesperson Problem Based on Ant Colony Optimization. In Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben, editors, Proc. 2nd International Conference on Dynamics in Logistics (LDIC 2009). Springer, 2011.

Hans-Jörg Kreowski, Sabine Kuske, Caro von Totth: Stepping from Graph Transformation Units to Model Transformation Units. Electronic Communications of the EASST 30, 2010. 24 pages.

Sergey Dashkovskiy, Hans-Jörg Kreowski, Sabine Kuske, Andrii Mironchenko, Lars Naujuk, Caroline von Totth: Production Networks as Communities of Autonomous Units and Their Stability. International Electronic Journal of Pure and Applied Mathematics 2:17-42, 2010.

Hans-Jörg Kreowski, Sabine Kuske, Robert Wille: Graph Transformation Units Guided by a SAT Solver. In Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr, editors, Proc. 5th Intl. Conference on Graph Transformations (ICGT 2010), volume 6372 of Lecture Notes in Computer Science, pages 27-42. 2010.

Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Concurrent Case. In Gregor Engels, Claus Lewerentz, Wilhelm Sch�fer, Andy Sch�rr, Bernhard Westfechtel, editors, Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, volume 5765 of Lecture Notes in Computer Science, pages 102-120. 2010.

Sabine Kuske, Melanie Luderer: Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization. Electronic Communications of the EASST 26, 2010. 23 pages.

Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units to Model Interacting Sequential and Parallel Processes. Fundamenta Informaticae 92:233-257, 2009.

Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann: Towards an integrated graph-based semantics for UML. Software and Systems Modeling 8:403-422, 2009.

Sabine Kuske, Melanie Luderer, Hauke Tönnies: Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization. In F. Drewes, A. Habel, B. Hoffmann, D. Plump, editors, Manipulation of Graphs, Algebras and Pictures, Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, pages 223-246. 2009.

Hans-Jörg Kreowski, Sabine Kuske, Hauke Tönnies: Autonomous Units to Model Games. In Stefan Fischer, Erik Maehle, Rüdiger Reischuk, editors, Informatik 2009, Im Focus das Leben, volume 154 of Lecture Notes in Informatics, pages 3465-3472. 2009.

Hans-Jörg Kreowski, Sabine Kuske: Graph Multiset Transformation as a Framework for Massively Parallel Computation. In Proc. 4th Intl. Conference on Graph Transformations (ICGT 2008), volume 5214 of Lecture Notes in Computer Science, pages 351-365. 2008.

Hans-Jörg Kreowski, Sabine Kuske: Communities of Autonomous Units for Pickup and Delivery Vehicle Routing. In Andy Schürr, Manfred Nagl, Albert Zündorf, editors, Proc. 3rd Intl. Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE '07), volume 5088 of Lecture Notes in Computer Science, pages 281-296. Springer, 2008.

Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg: Graph Transformation Units - An Overview. In Pierpaolo Degano, Rocco De Nicola, José Meseguer, editors, Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Science, pages 57-75. Springer, 2008.

Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Parallel Case. In J.L. Fiadeiro, P.Y. Schobbens, editors, Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, volume 4409 of Lecture Notes in Computer Science, pages 56-73. 2007.

Karsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units: Basic Concepts and Semantic Foundation. In Michael Hülsmann, Katja Windt, editors, Understanding Autonomous Cooperation and Control in Logistics - The Impact on Management, Information and Communication and Material Flow, pages 103-120. Springer, 2007.

Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units and their Semantics - the Sequential Case. In A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, G. Rozenberg, editors, Proc. 3rd Intl. Conference on Graph Transformations (ICGT 2006), volume 4178 of Lecture Notes in Computer Science, pages 245-259. Springer, 2006.

Hans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske: Some Essentials of Graph Transformation. In Z. Esik, C. Martin-Vide, V. Mitrana, editors, Recent Advances in Formal Languages and Applications, volume 25 of Studies in Computational Intelligence, pages 229-254. Springer, 2006.

Karsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske: Autonome Transformationseinheiten zur regelbasierten Modellierung vernetzter logistischer Prozesse. In Egon Müller, Birgit Spanner-Ulmer, editors, Vernetzt planen und produzieren (VPP 2006), pages 113-118. 2006.

Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske: Abstract Hierarchical Graph Transformation. Mathematical Structures in Computer Science 15:773-819, 2005.

Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann: Animated Simulation of Integrated Behavioral Models based on Graph Transformation. In IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), pages 125-133. IEEE Computer Society, 2005.

Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske: Rule-based transformation of graphs and the product type. In Patrick van Bommel, editor, Transformation of Knowledge, Information, and Data: Theory and Applications, pages 29-51. Idea Group Publishing, Hershey, Pennsylvania, USA, 2005.

Karsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske: Regelbasierte Modellierung mit autonomen Transformationseinheiten. Technical report 1, Universität Bremen, Fachbereich Mathematik & Informatik, 2005.

Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske: Typing of Graph Transformation Units. In H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, editors, Proc. 2nd Intl. Conference on Graph Transformations (ICGT 2004), volume 3256 of Lecture Notes in Computer Science, pages 112-127. Springer, 2004.

Sabine Kuske, Peter Knirsch: Modeling Agent Systems with Distributed Transformation Units. In Roswita Bardohl, Hartmut Ehrig, editors, Proc. UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques, volume 82, issue 7 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2003.

Martin Gogolla, Paul Ziemann, Sabine Kuske: Towards an Integrated Graph Based Semantics for UML. In Paolo Bottoni, Mark Minas, editors, Proc. Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2002), volume 72 of Electronic Notes in Theoretical Computer Science. 2003. 16 pages.

Hans-Jörg Kreowski, Sabine Kuske: Approach-independent structuring concepts for rule-based systems. In Martin Wirsing, Dirk Pattison, Rolf Hennicker, editors, Proc. 16th Int. Workshop on Algebraic Development Techniques (WADT 2002), volume 2755 of Lecture Notes in Computer Science, pages 299-311. 2003.

Sabine Kuske: Parameterized Transformation Units. In M. Bauderon, A. Corradini, editors, Proc. GETGRATS Closing Workshop, volume 51 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. 12 pages.

Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske: Structured Modeling with GRACE. In M. Bauderon, A. Corradini, editors, Proc. GETGRATS Closing Workshop, volume 51 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. 13 pages.

Peter Knirsch, Sabine Kuske: Distributed Graph Transformation Units. In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Proc. First International Conference on Graph Transformation (ICGT), volume 2505 of Lecture Notes in Computer Science, pages 207-222. 2002.

Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske: Modeling the Pickup-and-Delivery Problem with Structured Graph Transformation. In Hans-Jörg Kreowski, Peter Knirsch, editors, Proc. APPLIGRAPH Workshop on Applied Graph Transformation (Satellite Event of ETAPS 2002), pages 119-130. 2002.

Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Ralf Kollmann: An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. In Michael Butler, Luigia Petre, Kaisa Sere, editors, Proc. Third International Conference on Integrated Formal Methods (IFM 2002), volume 2335 of Lecture Notes in Computer Science, pages 11-28. 2002.

Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske: GRACE as a unifying approach to graph-transformation-based specification. In H. Ehrig, C. Ermel, J. Padberg, editors, Proc. Uniform Approaches to Graphical Process Specification Techniques, volume 44/4 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001. 15 pages.

Sabine Kuske: A Formal Semantics of UML State Machines Based on Structured Graph Transformation. In Martin Gogolla, Cris Kobryn, editors, UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools, volume 2185 of Lecture Notes in Computer Science, pages 241-256. 2001.

Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske: Abstract Hierarchical Graph Transformation. Technical report 1/01, Universität Bremen, 2001.

Frank Drewes, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske: Graph Transformation Modules and Their Composition. In M. Nagl, A. Schürr, M. Münch, editors, Proc. Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), volume 1779 of Lecture Notes in Computer Science, pages 15-30. Springer, 2000.

Sabine Kuske: More about control conditions for transformation units. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Proc. Theory and Application of Graph Transformations, volume 1764 of Lecture Notes in Computer Science, pages 323-337. 2000.

Hans-Jörg Kreowski, Sabine Kuske: Note on approach-independent structuring concepts for rule-based systems. In Hartmut Ehrig, Gabi Taentzer, editors, Proc. Joint Appligraph and GETGRATS Workshop on Graph Transformation Systems, Technical Report Nr. 2000-2, Technische Universität Berlin, pages 41-49. 2000.

Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske: Simple modules for GRACE. In H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg, editors, Theory and Application of Graph Transformation: 6th International Workshop, Paderborn, Germany, November 1998, Selected Papers, volume 1764 of Lecture Notes in Computer Science. Springer, 2000.

Hans-Jörg Kreowski, Sabine Kuske: Suggestions on the Modularization of Rule-Based Systems. In Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif, editors, Proc. Rigorose Entwicklung software-intensiver Systeme, Technical Report 0005, Universität München, pages 73-82. 2000.

Sabine Kuske: Transformation Units-A structuring Principle for Graph Transformation Systems. University of Bremen, 2000.

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. Science of Computer Programming 34:1-54, 1999.

Hans-Jörg Kreowski, Sabine Kuske: Graph Transformation Units and Modules. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools, pages 607-638. World Scientific, Singapore, 1999.

Hans-Jörg Kreowski, Sabine Kuske: Graph Transformation Units with Interleaving Semantics. Formal Aspects of Computing 11:690-723, 1999.

Hans-Jörg Kreowski, Sabine Kuske, Andy Schürr: Nested graph transformation units. International Journal on Software Engineering and Knowledge Engineering 7:479-502, 1997.

Hans-Jörg Kreowski, Sabine Kuske: On the Interleaving Semantics of Transformation Units - A Step into GRACE. In Janice E. Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg, editors, Proc. Graph Grammars and Their Application to Computer Science, volume 1073 of Lecture Notes in Computer Science, pages 89-108. 1996.

Sabine Kuske: Semantic Aspects of the Graph and Rule Centered Language GRACE. In Francesc Rosselló Llompart, Gabriel Valiente Feruglio, editors, Proc. Colloquium on Graph Transformation and its Application in Computer Science, Technical Report, Palma de Mallorca, pages 63-70. 1995.

Sabine Kuske: Implementing -reduction by hypergraph rewriting. In A. Corradini, U. Montanari, editors, Proc. Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA '95), volume 2 of Electronic Notes in Theoretical Computer Science, pages 159-166. Elsevier Science, 1995.

Sabine Kuske: Maximum Path Length Pumping Lemma for Edge Replacement Languages. In Zoltán Ésik, editor, Proc. Fundamentals of Computation Theory, volume 710 of Lecture Notes in Computer Science, pages 342-351. 1993.

Frank Drewes, Hans-Jörg Kreowski, S. Kuske: Hyperedge Replacement: A Basis for Efficient Graph Algorithms. In M. Beyer, H. Ehrig, M. Löwe, editors, Computing by Graph Transformation (COMPUGRAPH) - Survey, Results, and Applications. 1992. Project brochure.


Mail Address
University of Bremen
Dept. for Math. &
Computer Science

P.O. Box 330 440
28334 Bremen
Germany

Physical Address
Linzer Strasse 9a
OAS 3002
28359 Bremen

Phone
++49(421)218 64450
Fax
++49 (421)218 64459

Email (Secr.)
Helga Reinermann

helga@tzi.de