Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst: A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. In Proceedings 13th International Workshop on Graph Computation Models (GCM 2020), Electronic Proceedings in Theoretical Computer Science (EPTCS). 2022. to appear.
Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske: A Graph-Transformational Approach to Swarm Computation. Entropy 23:453, 2021.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Transformation of Variants of Petri Nets into Context-Dependent Fusion Grammars. Information and Computation, 2021. 26 pages.
Hans-Jörg Kreowski, Sabine Kuske: Modeling and Analyzing Graph Algorithms by Means of Graph Transformation Units. Journal of Object Technology 19:3:1 - 14, 2020. doi: 10.5381/jot.2020.19.3.a9.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Relating DNA Computing and Splitting/Fusion Grammars. In Esther Guerra, Fernando Orejas, editors, Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, volume 11629 of Lecture Notes in Computer Science, pages 159-174. Springer, 2019. doi: 10.1007/978-3-030-23611-3.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Transformation of Petri Nets into Context-Dependent Fusion Grammars. In Carlos Martin-Vide, Alexander Okhotin, Dana Shapira, editors, Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, volume 11417 of Lecture Notes in Computer Science, pages 246-258. Springer, 2019.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars. In Leen Lambers, Jens H. Weber, editors, Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, volume 10887 of Lecture Notes in Computer Science, pages 3-19. Springer, 2018.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: A Simple Notion of Parallel Graph Transformation and its Perspectives. In Reiko Heckel, Gabriele Taentzer, editors, Graph Transformation, Specifications, and Nets (Festschrift in Memory of Hartmut Ehrig), volume 10800 of Lecture Notes in Computer Science. 2018.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Fusion Grammars: A Novel Approach to the Generation of Graph Languages. In Juan de Lara, Detlef Plump, editors, Graph Transformation: Proceedings of the 10th International Conference ICGT 2016, Held as Part of STAF 2017, Marburg, Germany, pages 90-105. Springer, 2017.
Stefan Edelkamp, Eike Externest, Sebastian Kühl, Sabine Kuske: Solving Graph Optimization Problems in a Framework for Monte-Carlo Search (Extended Abstract). In Alex Fukunaga, Akihiro Kishimoto, editors, Proceedings of the 10th Annual Symposium on Combinatorial Search, SOCS 2017. AAAI Press, 2017.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth: Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. In Rachid Echahed, Mark Minas, editors, Graph Transformation: Proceedings of the 9th International Conference ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, pages 236-251. Springer International Publishing, 2016.
Hans-Jörg Kreowski, Marco Franke, Karl Hribernik, Sabine Kuske, Klaus-Dieter Thoben, Caro von Totth: Toward a Comprehensive Approach to the Transformation of Logistic Models. In Herbert Kotzab, Jürgen Pannek, Klaus-Dieter Thoben, editors, Dynamics in Logistics, Proceedings of the 4th International Conference LDIC, 2016 Bremen, Germany, Lecture Notes in Logistics, pages 115-126. Springer, 2016.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Canonical Multi-Target Toffoli Circuits. In Adrian-Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe, editors, Proc. 10th International Conference on Language and Automata Theory and Applications (LATA 2016), Lecture Notes in Computer Science, pages 603-616. Springer, 2016.
Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske: Graph-Transformational Swarms with Stationary Members. In M. Luis Camarinha-Matos, A. Thais Baldissera, Giovanni Di Orio, Francisco Marques, editors, Technological Innovation for Cloud-Based Engineering Systems: 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings, pages 137-144. Springer International Publishing, 2015.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer: Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. In Holger Giese, Barbara König, editors, Proc. 7th Intl. Conference on Graph Transformation (ICGT 2014), volume 8571 of Lecture Notes in Computer Science, pages 237-252. Springer, 2014.
Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske: Graph-transformational swarms. In Suna Bensch, Frank Drewes, Rudolf Freund, Friedrich Otto, editors, 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.
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-54, 1999.
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske: Simple Modules for GRACE. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers, volume 1764 of Lecture Notes in Computer Science, pages 383-395. Springer, 1998.
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.
