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.
Aaron Lye: Quantenschlüsselverteilung: Von Glasfaser zu Satelliten. IMI-Analyse 2022, 2022.
Aaron Lye: Weltraum-Manöver: Schriever Wargame. IMI-Analyse 2022/40, 2022.
Aaron Lye: Context-sensitive Fusion Grammars and Fusion Grammars with Forbidden Context are Universal. Information and Computation, 2022.
Aaron Lye: NATO-Manöver im Cyberraum: Cyber Coalition, Locked Shields und Crossed Swords. IMI-Analyse 2022/11:14-18, 2022. Nachdruck in FIfF-Kommunikation 1/2022, S. 6-10..
Wolfgang Hofkirchner, Hans-Jörg Kreowski: Digital Humanism: How to Shape Digitalisation in the Age of Global Challenges?. Proceedings 81(4), 2022. 6 pages.
Hans-Jörg Kreowski: A World Worth Living - Can Artificial Intelligence Help to Reach the Goal?. Proceedings 81, 2022. 4 pages.
Hans-Jörg Kreowski, Aaron Lye: Cyberpeace - für Frieden, Freiheit und eine lebenswerte Welt, Editorial. FIfF-Kommunikation 2022:8, 2022.
Christian Heck, Hans-Jörg Kreowski: Krieg mit Künstlicher Intelligenz - Bericht über das Online-Hearing am 10. März 2022. FIfF-Kommunikation 2022:9-10, 2022.
Hans-Jörg Kreowski, Stefan Hügel: Künstliche Intelligenz: Zwischen hochgeschraubten Erwartungen und unkalkulierbaren Risiken, Schwerpunkteditorial. FIfF-Kommunikation 2022:24-25, 2022.
Hans-Jörg Kreowski: Eine lebenswerte Welt - Kann Künstliche Intelligenz helfen, das Ziel zu erreichen?. FIfF-Kommunikation 2022:53-56, 2022.
Wolfgang Hofkirchner, Hans-Jörg Kreowski (ed.): A Special Issue: Digital Humanism and the Future of Humanity, volume 2(3). New Explorations. 2022.
Hans-Jörg Kreowski: A World Worth Living - Can Artificial Intelligence Help to Reach the Goal?. New Explorations 2:173-181, 2022.
Hans-Jörg Kreowski: Drohnenkrieg in der Ukraine - Fakten und erste Folgenabschätzung. Wissenschaft und Frieden 3:15-17, 2022. Nachdruck in FIfF-Kommunikation 3/2022, S. 7-10, ergänzt um ein persönliches Wort.
Aaron Lye: Transformations of Reaction Systems over Categories by means of Epi-Mono Factorization and Functors. In Fabio Gadducci, Timo Kehrer, editors, Proc. 14th International Conference on Graph Transformation (ICGT 2021), volume 12741 of LNCS, pages 40-59. Springer, 2021.
Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske: A Graph-Transformational Approach to Swarm Computation. Entropy 23:453, 2021.
Hans-Jörg Kreowski, Aaron Lye: A Case Study on the Graph-transformational Modeling and Analysis of Puzzles. In Fabio Gadducci, Timo Kehrer, editors, Proc. 14th International Conference on Graph Transformation (ICGT 2021), volume 12741 of LNCS, pages 203-220. Springer, 2021.
Frank Drewes, Berthold Hoffmann, Mark Minas: Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars. In Fabio Gadducci, Timo Kehrer, editors, Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, volume 12741 of Lecture Notes in Computer Science, pages 164-184. Springer, 2021.
Aaron Lye: Transformation geheimdienstlicher und militärischer Serverinfrastruktur in den USA durch kommerzielle Cloud-Provider am Beispiel Amazon. FIfF-Kommunikation 2021:39-42, 2021.
Hans-Jörg Kreowski, Aaron Lye: Future Combat Air System: Künstliche Intelligenz fliegt und kämpft mit. In Hans-Jörg Kreowski, Aaron Lye, editors, Künstliche Intelligenz zieht in den Krieg, Dossier, pages 16-20. Wissenschaft und Frieden, 2021.
Aaron Lye: Deciding Non-Emptiness of Hypergraph Languages Generated by Connection-preserving Fusion Grammars is NP-complete. In Alberto Leporati, Carlos Martin-Vide, Dana Shapira, Claudio Zandron, editors, Proceedings 15th International Conference on Language and Automata Theory and Applications (LATA 2021), volume 12638 of LNCS, pages 97-108. Springer, 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: Digital Humanism - How to Shape Digitalisation in the Age of Global Challenges? Bericht. FIfF-Kommunikation 2021:22, 2021.
Hans-Jörg Kreowski, Aaron Lye: Künstliche Intelligenz zieht in den Krieg, Schwerpunkteditorial. FIfF-Kommunikation 2021:28-30, 2021.
Britta Schinzel, Hans-Jörg Kreowski: Laudatio für Prof.in Dr.in Dr.in h.c. Christiane Floyd. FIfF-Kommunikation 2022:15-18, 2021.
Leoni Michal Armbruster, Bellinda Bartolucci, Rolf Gössner, Julia Heesen, Martin Heiming, Hans-Jörg Kreowski, John Philipp Thurn, Rosemarie Will, Michèle Winkler, Christine Zedler, editors: Grundrechte-Report 2020 - Zur Lage der Bürger- und Menschenrechte in Deutschland. Fischer Taschenbuch Verlag, Frankfurt/M., 2020.
Michael Ahlmann, Hans-Jörg Kreowski, Philip Love, Ralf E. Streibl, Karin Vosseberg, Margita Zallmann: Künstliche Intelligenz als Wunderland. FIfF-Kommunikation 1:14-15, 2020. Editorial zum Schwerpunkt.
Hans-Jörg Kreowski: Können Gemeinschaften autonomer Einheiten beim Modellieren digitaler Ökosysteme helfen?. In Heinrich C. Mayr, Stefanie Rinderle-Ma, Stefan Strecker, editors, 40 Years EMISA, volume P 304 of Lecture Notes in in Informatics - Proceedings Series of the Gesellschaft für Informatik (GI), pages 143-146. 2020.
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.
Frank Drewes, Berthold Hoffmann, Mark Minas: Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers. In Fabio Gadducci, Timo Kehrer, editors, Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, volume 12150 of Lecture Notes in Computer Science, pages 221-238. Springer, 2020.
Aaron Lye: Context-sensitive Fusion Grammars are Universal. In Alberto Leporati, Carlos Martin-Vide, Dana Shapira, Claudio Zandron, editors, Proc. 14th International Conference on Language and Automata Theory and Applications (LATA 2020), volume 12038 of LNCS, pages 275-286. Springer, 2020.
Hans-Jörg Kreowski, Aaron Lye: Graph Surfing in Reaction Systems from a Categorial Perspective. In Berthold Hoffmann, Mark Minas, editors, Proc. 11th International Workshop on Graph Computation Models, (GCM 2020), volume 330 of Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 71-87. Open Publishing Association, 2020.
Michael Freitag, Aseem Kinra, Herbert Kotzab, Hans-Jörg Kreowski, Klaus-Dieter Thoben (ed.): Subject-Oriented Business Process Management. The Digital Workplace - Nucleus of Transformation, 12th International Conference, S-BPM ONE 2020, Bremen, Germany, Proceedings, volume 1278. Communications in Computer and Information Science. Springer, 2020.
Hans-Jörg Kreowski, Aaron Lye: A Categorial Approach to Reaction Systems: First Steps. Theoretical Computer Science, 2020.
Aaron Lye: Transformation of Turing Machines into Context-Dependent Fusion Grammars. In Post-Proc. 10th International Workshop on Graph Computation Models, (GCM 2019). Electronic Proceedings in Theoretical Computer Science (EPTCS). 2019.
Hans-Jörg Kreowski, Aaron Lye: Informationstechnische Aufrüstung der Polizei. vorgänge Nr. 227: Polizei und Technik, Zeitschrift für Bürgerrechte und Gesellschaftspolitik 58:33-46, 2019.
Wolfgang Hofkirchner, José María Díaz-Nafría, Peter Crowley, Wilfried Graf, Gudrun Kramer, Hans-Jörg Kreowski, Werner Wintersteiner: ICTs Connecting Global Citizens, Global Dialogue and Global Governance. A Call for Needful Designs. In Hector Florez, Marcelo Leon, Jose Maria Diaz-Nafria, Simone Belli, editors, Applied Informatics, pages 453-468. Springer International Publishing, Cham, 2019.
Hans-Jörg Kreowski, Grzegorz Rozenberg: Graph transformation through graph surfing in reaction systems. Journal of Logical and Algebraic Methods in Programming 109:100481, 2019. doi: https://doi.org/10.1016/j.jlamp.2019.100481.
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: Bericht über das zweite Cyberpeace-Forum. FIfF-Kommunikation 1/2019:67-68, 2019.
Hans-Jörg Kreowski: Extralegale Tötung durch Drohnen und autonome Waffen. In Bellinda Bartolucci, Iris Burdinski, Marie Diekmann, Rolf Gössner, Julia Heesen, Martin Heiming, Hans-Jörg Kreowski, Britta Rabe, Rosemarie Will, editors, Grundrechte-Report 2019, pages 175-178. S. Fischer Verlag, Frankfurt am Main, 2019.
Bellinda Bartolucci, Iris Burdinski, Marie Diekmann, Rolf Gössnerand Julia Heesen, Martin Heiming, Hans-Jörg Kreowski, Britta Rabe, Rosemarie Will, editors: Grundrechte-Report 2019. S. Fischer Verlag, Frankfurt am Main, 2019.
Hans-Jörg Kreowski: Die Aufrüstung im Cyberspace. NATURFREUNDiN 2-2019:10, 2019.
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, Aaron Lye: Canonical Mixed-Polarity Multi-Target Toffoli Circuits: Shift and Removal. Information and Computation 269, 2019.
Frank Drewes, Berthold Hoffmann, Mark Minas: Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. J. Log. Algebraic Methods Program. 104:303-341, 2019.
Frank Drewes, Berthold Hoffmann, Mark Minas: Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement 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 55-72. Springer, 2019.
Berthold Hoffmann, Mark Minas: Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars. In Carlos Mart&{acute;n-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 233-245. Springer, 2019.
Stefan Hügel, Hans-Jörg Kreowski, Dietrich Meyer-Ebrecht: Cyberwar and Cyberpeace. In Elias G. Carayannis, David F. J. Campbell, Marios Panagiotis Efthymiopoulos, editors, Handbook of Cyber-Development, Cyber-Democracy, and Cyber-Defense, pages 885-909. Springer, 2018.
Hans-Jörg Kreowski, Grzegorz Rozenberg: Graph Surfing by Reaction Systems. 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 45-62. Springer, 2018.
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.
Frank Drewes, Berthold Hoffmann, Mark Minas: Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement. CoRR abs/1812.11927, 2018.
Hans-Jörg Kreowski: Transhumanism and Nanotechnology-Will Old Myths Come True?. International Society for Information Studies (IS4SI) Gothenburg Summit 2017 Digitalisation for a Sustainable Society: Embodied, Embedded, Networked, Empowered through Information, Computation & Cognition!, (MDPI) Proceedings 2017 1(3), 234, 2017. doi: 10.3390/IS4SI-2017-03965, 3 pages.
Hans-Jörg Kreowski, Dietrich Meyer-Ebrecht: Revolution in Military Affairs: Not without Information and Communication Technology. In Wolfgang Hofkirchner, Mark Burgin, editors, The Future of Information Society, volume 8 of World Scientific Series in Information Studies, pages 439-448. World Scientific, 2017.
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.
Frank Drewes, Berthold Hoffmann, Mark Minas: Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars. In Juan de Lara, Detlef Plump, editors, Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, volume 10373 of Lecture Notes in Computer Science, pages 106-122. Springer, 2017.
Berthold Hoffmann, Mark Minas: Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars. In Martina Seidl, Steffen Zschaler, editors, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers, volume 10748 of Lecture Notes in Computer Science, pages 76-91. Springer, 2017.
Robert Wille, Aaron Lye, Philipp Niemann: Checking Reversibility of Boolean Functions. In Simon J. Devitt, Ivan Lanese, editors, Proc. 8th International Conference on Reversible Computation (RC 2016), volume 9720 of Lecture Notes in Computer Science, pages 322-337. Springer, 2016.
Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg: Hartmut Ehrig (1944-2016). Bulletin of the EATCS 119, 2016.
Larbi Abdenebaoui, Hans-Jörg Kreowski: Modeling of decentralized processes in dynamic logistic networks by means of graph-transformational swarms. Logistics Research 9:1-13, 2016.
Hans-Jörg Kreowski: Informatik und Gesellschaft aus der Sicht eines theoretischen Informatikers. In Frank Fuchs-Kittowski, Werner Kriesel, editors, Informatik und Gesellschaft - Festschrift zum 80. Geburtstag von Klaus Fuchs-Kittowski, pages 375-382. Peter Lang Internationaler Verlag der Wissenschaften, Frankfurt a. M., 2016.
Hans-Jörg Kreowski, Michael Freitag, Martin Gogolla, Michael Lütjen, Robert Porzel, Klaus-Dieter Thoben: Towards a Unified Logistics Modeling Language: Constraints and Objectives. In Michael Freitag, Herbert Kotzab, Jürgen Pannek, editors, Dynamics in Logistics, Proceedings of the 5th International Conference LDIC, 2016 Bremen, Germany, Lecture Notes in Logistics. Springer, 2016. 425-432.
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.
Larbi Abddenebaoui, Hans-Jörg Kreowski: Decentralized routing of automated guided vehicles by means of graph-transformational swarms. In Michael Freitag, Herbert Kotzab, Jürgen Pannek, editors, Dynamics in Logistics, Proceedings of the 5th International Conference LDIC, 2016 Bremen, Germany, Lecture Notes in Logistics. Springer, 2016. 457-467.
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.
Frank Drewes, Berthold Hoffmann, Mark Minas: Approximating Parikh Images for Generating Deterministic Graph Parsers. In Paolo Milazzo, D&{acute;aniel Varr&{acute;o, Manuel Wimmer, editors, Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, volume 9946 of Lecture Notes in Computer Science, pages 112-128. Springer, 2016.
Aaron Lye, Robert Wille, Rolf Drechsler: Determining the Minimal Number of SWAP Gates for Multi-dimensional Nearest Neighbor Quantum Circuits. In Proc. 19th Asia and South Pacific Design Automation Conference (ASP-DAC), pages 178-183. IEEE, 2015.
Hans-Jörg Kreowski: Die unheilvolle Vermischung ziviler und militärischer Sicherheit aus Sicht der Informatik. In Rudolph Bauer, editor, Kriege im 21. Jahrhundert. Neue Herausforderungen der Friedensbewegung, volume 1 of Friedenspolitische Reihe, pages 111-118. Sonnenberg Verlag, Annweiler am Trifels, 2015.
Hans-Jörg Kreowski: Die Zivilklausel der Universität Bremen - Ein Lehrstück in sieben Stationen. Dossier 78 von Wissenschaft und Frieden: Zivilklauseln - Lernen und Forschen für den Frieden 2, 2015.
Hans-Jörg Kreowski: Unbemannte Waffensysteme - nicht ohne Informatik. FIfF-Kommunikation 3:18-20, 2015.
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.
Frank Drewes, Berthold Hoffmann: Contextual hyperedge replacement. Acta Informatica 52:497-524, 2015.
Berthold Hoffmann, Dieter Hutter, Hui Shi: Preface. Int. J. Softw. Informatics 9:113-115, 2015.
Frank Drewes, Berthold Hoffmann, Mark Minas: Predictive Top-Down Parsing for Hyperedge Replacement Grammars. In Francesco Parisi-Presicce, Bernhard Westfechtel, editors, Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, volume 9151 of Lecture Notes in Computer Science, pages 19-34. Springer, 2015.
Marcus Ermler, Berthold Hoffmann, Christian John, Christopher Nottrodt, Carsten Pfeffer: Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Monty's Coconut. In Wolf Zimmermann, Wolfgang Böhm, Clemens Grelck, Robert Heinrich, Reiner Jung, Marco Konersmann, Alexander Schlaefer, Eric Schmieders, Sibylle Schupp, Baltasar Tranc&{acute;on y Widemann, Thorsten Weyer, editors, Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015, volume 1337 of CEUR Workshop Proceedings, pages 164-170. CEUR-WS.org, 2015.
Robert Wille, Aaron Lye, Rolf Drechsler: Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 33:1818-1831, 2014.
Robert Wille, Aaron Lye, Rolf Drechsler: Optimal SWAP Gate Insertion for Nearest Neighbor Quantum Circuits. In Proc. 18th Asia and South Pacific Design Automation Conference (ASP-DAC), pages 489-494. IEEE, 2014.
Robert Wille, Aaron Lye, Rolf Drechsler: Considering Nearest Neighbor Constraints of Quantum Circuits at the Reversible Circuit Level. Quantum Information Processing 13:185-199, 2014.
Sylvia Johnigk, Hans-Jörg Kreowski, Kai Nothdurft: Cyberwar - Schimäre oder reale Bedrohung?. FIfF-Kommunikation 4:74-76, 2014.
Peter Bittner, Stefan Hügel, Hans-Jörg Kreowski, Dietrich Meyer-Ebrecht, Britta Schinzel, editors: Gesellschaftliche Verantwortung in der digital vernetzten Welt. Volume 8 of Kritische Informatik. LIT Verlag, Berlin, 2014.
Hans-Jörg Kreowski, Dietrich Meyer-Ebrecht: Der Missbrauch der Informationstechnik für die `Revolution' des Kriegsgeschäfts. In Peter Bittner et al., editor, Gesellschaftliche Verantwortung in der digital vernetzten Welt, volume 8 of Kritische Informatik, pages 81 - 88. LIT Verlag, Berlin, 2014.
Hans-Jörg Kreowski, Dietrich Meyer-Ebrecht: Der Missbrauch der Informationstechnik für die `Revolution' des Kriegsgeschäfts. FIfF-Kommunikation 4:66-68, 2014. (Reprint from Peter Bittner et al., editor, Gesellschaftliche Verantwortung in der digital vernetzten Welt, volume 8 of Kritische Informatik, LIT Verlag, Berlin, 2014).
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.
Michael Lütjen, Hans-Jörg Kreowski, Marco Franke, Klaus-Dieter Thoben, Michael Freitag: Model-Driven Logistics Engineering - Challenges of Model and Object Transformation. In Klaus-Dieter Thoben, Matthias Busse, Benrend Denkena, Jürgen Gausemeier, editors, Proc. 2nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, pages 301-310. 2014.
Berthold Hoffmann: More on Graph Rewriting With Contextual Refinement. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71, 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.
Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben (ed.): Dynamics in Logistics, Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings. Lecture Notes in Logistics. Springer, 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.
Berthold Hoffmann: Graph Rewriting with Contextual Refinement. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61, 2013.
Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (ed.): Graph Transformations. Proc. 6th International Conference (ICGT 2012), volume 7562. Lecture Notes in Computer Science. Springer, 2012.
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.
Till Mossakowski, Hans-Jörg Kreowski (ed.): Proc. International Workshop on Recent Trends in Algebraic Development Techniques (WADT 2010), Revised Selected Papers, volume 7137. Lecture Notes in Computer Science. Springer, 2012.
Hans-Jörg Kreowski, Sabine Kuske: Polynomial Graph Transformability. Theoretical Computer Science 429:193-201, 2012.
Renate Klempien-Hinrichs, Melanie Luderer: Assuring Strong Termination of Controlled Graph Transformation by Means of Petri Nets. LogDynamics Research Report 2011 2:31-34, 2011.
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.
Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben (ed.): Proc. 2nd International Conference on Dynamics in Logistics (LDIC 2009). Springer, 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.
Berthold Hoffmann, Mark Minas: Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39, 2011.
Frank Drewes, Berthold Hoffmann, Mark Minas: Contextual Hyperedge Replacement. In Andy Schürr, D&{acute;aniel Varr&{acute;o, Gergely Varr&{acute;o, editors, Applications of Graph Transformations with Industrial Relevance - 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers, volume 7233 of Lecture Notes in Computer Science, pages 182-197. Springer, 2011.
Amir Jabbari, Hans-Jörg Kreowski, Walter Lang: Application of bio-inspired data processing in intelligent transportation systems. In IEEE Conf. of Intelligent Systems, pages 315-320. 2010.
Renate Klempien-Hinrichs, Caroline von Totth: Generation of Celtic Key Patterns with Tree-based Collage Grammars. Electronic Communications of the EASST 26, 2010. 16 pages.
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.
Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump: Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26, 2010.
Berthold Hoffmann: Conditional Adaptive Star Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26, 2010.
Berthold Hoffmann, Mark Minas: Defining Models - Meta Models versus Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29, 2010.
Francisco Javier P&{acute;erez, Yania Crespo, Berthold Hoffmann, Tom Mens: A case study to evaluate the suitability of graph transformation tools for program refactoring. Int. J. Softw. Tools Technol. Transf. 12:183-199, 2010.
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas: Adaptive star grammars and their languages. Theor. Comput. Sci. 411:3090-3109, 2010.
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.
Hauke Tönnies: An Evolutionary Graph Transformation System as a Modelling Framework for Evolutionary Algorithms. In Bärbel Mertsching, Marcus Hund, Muhammad Zaheer Aziz, editors, KI 2009: Advances in Artificial Intelligence, volume 5803 of Lecture Notes in Computer Science, pages 201-208. 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, editor: Informatik und Gesellschaft - Verflechtungen und Perspektiven. LIT Verlag, Berlin, 2008.
Hans-Dietrich Haasis, Hans-Jörg Kreowski, Bernd Scholz-Reiter (ed.): Dynamics in Logistics, Proc. First Intl. Conference (LDIC). Springer, 2008.
Karsten Hölscher, Peter Knirsch, Melanie Luderer: Autonomous Units for Communication-based Dynamic Scheduling. In H.-D. Haasis, H.-J. Kreowski, B. Scholz-Reiter, editors, Dynamics in Logistics, Proceedings of the First International Conference on Dynamics in Logistics (LDIC 2007), pages 331-339. Springer, 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.
Mehrdad Babazadeh, Hans-Jörg Kreowski, Walter Lang: Selective Predictors of Environmental Parameters in Wireless Sensor Networks. INTERNATIONAL JOURNAL OF MATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES 2:355-363, 2008.
Hans-Jörg Kreowski, Melanie Luderer: Modelling Logistic Processes - The Termination Problem. LogDynamics Research Report 2007/08 1:38-39, 2008.
Renate Klempien-Hinrichs, Melanie Luderer: Assuring Strong Termination of Controlled Graph Transformation by Means of Petri Nets. In Annegret Habel, Mohamed Mosbah, editors, Proc. 2nd Int. Workshop on Graph Computation Models (Satellite Event of ICGT 2008), pages 17-19. 2008.
Mark Minas, Berthold Hoffmann: An Example of Cloning Graph Transformation Rules for Programming. Electron. Notes Theor. Comput. Sci. 211:241-250, 2008.
Frank Drewes, Berthold Hoffmann, Mark Minas: Adaptive Star Grammars for Graph Models. In Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer, editors, Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, volume 5214 of Lecture Notes in Computer Science, pages 442-457. 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.
Ingo Timm, Hans-Jörg Kreowski, Peter Knirsch, Andreas Timm-Giel: Autonomy in Software Systems. 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 255-274. Springer, 2007.
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde: Shaped Generic Graph Transformation. In Andy Schürr, Manfred Nagl, Albert Zündorf, editors, Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, volume 5088 of Lecture Notes in Computer Science, pages 201-216. 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, Paul Ziemann, Martin Gogolla: On Translating UML Models into Graph Transformation Systems. Journal of Visual Languages and Computing 17:78-105, 2006.
Hans-Jörg Kreowski, Karsten Hölscher, Peter Knirsch: Semantics of Visual Models in a Rule-based Setting. In R. Heckel, editor, Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Dagstuhl, volume 148 of Electronic Notes in Theoretical Computer Science, pages 75-88. Elsevier Science, 2006.
Karsten Hölscher, Peter Knirsch, Hans-Jörg Kreowski: Modelling Transport Networks by Means of Autonomous Units. In H.-D. Haasis, H. Kopfer, J. Schönberger, editors, Operations Research Proceedings 2005, pages 399-404. 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.
Karsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch: Undecidable Control Conditions in Graph Transformation Units. In Anamaria Moreira Martins, Leila Ribeiro, editors, Brazilian Symposium on Formal Methods (SBMF 2006), pages 121-135. 2006.
Adrian Horia Dediu, Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Benedek Nagy: Contextual Hypergraph Grammars - A New Approach to the Generation of Hypergraph Languages. In Oscar H. Ibarra, Zhe Dang, editors, Developments in Language Theory, volume 4036 of Lecture Notes in Computer Science, pages 327-338. Springer, 2006.
Berthold Hoffmann, Dirk Janssens, Niels Van Eetvelde: Cloning and Expanding Graph Transformation Rules for Refactoring. Electron. Notes Theor. Comput. Sci. 152:53-67, 2006.
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde: Adaptive Star Grammars. In Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg, editors, Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, volume 4178 of Lecture Notes in Computer Science, pages 77-91. Springer, 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.
Paul Ziemann, Karsten Hölscher, Martin Gogolla: From UML Models to Graph Transformation Systems. In Mark Minas, editor, Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004), volume 127(4) of Electronic Notes in Theoretical Computer Science, pages 17-33. Elsevier Science, 2005.
Paul Ziemann, Karsten Hölscher, Martin Gogolla: Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. In Arnaldo Moura, Alexandre Mota, editors, Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004), volume 130 of Electronic Notes in Theoretical Computer Science, pages 263-280. Elsevier Science, 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.
Hans-Jörg Kreowski, Ugo Montanari, Fernado Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors: Formal Methods in Software and System Modeling. Volume 3393 of Lecture Notes in Computer Science. Springer Verlag, 2005.
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg: Main Concepts of Networks of Transformation Units with Interlinking Semantics. In Hans-Jörg Kreowski, Ugo Montanari, Fernado Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and System Modeling, volume 3393 of Lecture Notes in Computer Science, pages 325-342. Springer Verlag, 2005.
Julia Padberg, Hans-Jörg Kreowski: Loose Semantics of Petri Nets. In Hans-Jörg Kreowski, Ugo Montanari, Fernado Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and System Modeling, volume 3393 of Lecture Notes in Computer Science, pages 370-384. Springer Verlag, 2005.
Hans-Jörg Kreowski: Autonomous Units to Model Cooperating Logistic Processes: Basic Features. In K.S. Palwar et al., editor, Proceedings of the 10th International Symposium on Logistics (ISL 2005), Lisbon, pages 377-380. 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.
Carolina von Totth: Attributed Collage Grammars: A Rule-Based Modeling Framework. In Vaclav Skala, editor, Short Paper Proceedings of The 13-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2005 - WSCG'2005, Plzen, Czech Republic, pages 21-24. 2005.
Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas: Rule-Based Programming with Diaplan. Electron. Notes Theor. Comput. Sci. 127:15-26, 2005.
Berthold Hoffmann: Graph Transformation with Variables. In Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday, volume 3393 of Lecture Notes in Computer Science, pages 101-115. Springer, 2005.
Björn Cordes, Karsten Hölscher, Hans-Jörg Kreowski: UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams. In M. Nagl, J. Pfaltz, B. Böhlen, editors, Proc. 2nd Intl. Workshop and Symposium on Applications of Graph Transformations with Industrial Relevance (AGTIVE '03), volume 3062 of Lecture Notes in Computer Science, pages 275-291. Springer, 2004.
Renate Klempien-Hinrichs, Thomas Meyer, Caroline von Totth: Collage grammars for collision-free growing of objects in 3D scenes. In M. Nagl, J. Pfaltz, B. Böhlen, editors, Proc. 2nd Intl. Workshop and Symposium on Applications of Graph Transformations with Industrial Relevance (AGTIVE '03), volume 3062 of Lecture Notes in Computer Science, pages 383-397. Springer, 2004.
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.
Annegret Habel, Berthold Hoffmann: Parallel Independence in Hierarchical Graph Transformation. In Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg, editors, Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings, volume 3256 of Lecture Notes in Computer Science, pages 178-193. Springer, 2004.
Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire: Criteria to disprove context freeness of collage languages. Theoretical Computer Science 290:1445-1458, 2003.
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.
Frank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Table-driven and context-sensitive collage languages. Journal of Automata, Languages and Combinatorics 8:5-24, 2003.
Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Computing Raster Images from Grid Picture Grammars. Journal of Automata, Languages and Combinatorics 8:499-519, 2003.
Peter Knirsch: Approach Independent Modeling of Agents and Agent Systems by Graph Transformation. University of Bremen, 2003. Ph.D. thesis.
Hans-Jörg Kreowski: Syntax, Semantik und .... In Karl-Heinz Rödiger, editor, Algorithmik - Kunst - Semiotik - Hommage für Frieder Nake, pages 75-88. Synchron Publishers, 2003.
Berthold Hoffmann: Abstraction and Control for Shapely Nested Graph Transformation. Fundam. Inform. 58:39-65, 2003.
Hans-Jörg Kreowski: A Sight-seeing Tour of the Computational Landscape of Graph Transformation. In W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa, editors, Formal and Natural Computing. Essays Dedicated to Grzegorz Rozenberg, volume 2300 of Lecture Notes in Computer Science, pages 121-137. Springer, 2002.
Renate Klempien-Hinrichs: Normal forms for context-free node-rewriting hypergraph grammars. Mathematical Structures in Computer Science 12:135-148, 2002.
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.
Renate Klempien-Hinrichs: Context-free hypergraph grammars with node rewriting. In M. Bauderon, A. Corradini, editors, Proc. GETGRATS Closing Workshop, volume 51 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. 10 pages.
Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs: Pullback rewriting and applications. In M. Bauderon, A. Corradini, editors, Proc. GETGRATS Closing Workshop, volume 51 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. 10 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.
Hans-Jörg Kreowski, Peter Knirsch (ed.): Proc. Applied Graph Transformation (AGT'02). 2002. Satellite Event of ETAPS 2002.
Renate Klempien-Hinrichs: Hyperedge Substitution in Basic Atom Replacement Languages. In A. Corradini, H. Ehrig, H.-J. Kreowski, G. Rozenberg, editors, Proc. 1st Intl. Conference on Graph Transformation (ICGT 2002), volume 2505 of Lecture Notes in Computer Science, pages 192-206. Springer, 2002.
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.
Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (ed.): Proc. 1st Int. Conference on Graph Transformation (ICGT 2002), volume 2505. Lecture Notes in Computer Science. 2002.
Frank Drewes, Berthold Hoffmann, Detlef Plump: Hierarchical Graph Transformation. J. Comput. Syst. Sci. 64:249-283, 2002.
Berthold Hoffmann: Abstraction and Control for Shapely Nested Graph Transformation. In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, volume 2505 of Lecture Notes in Computer Science, pages 177-191. Springer, 2002.
Frank Drewes: Tree-Based Generation of Languages of Fractals. Theoretical Computer Science 262:377-414, 2001.
Annegret Habel, Jürgen Müller, Detlef Plump: Double-Pushout Graph Transformation Revisited. Mathematical Structures in Computer Science 11:637-688, 2001.
Frank Drewes, Hans-Jörg Kreowski: Reading Words in Graphs Generated by Hyperedge Replacement. In C. Martin-Vide, V. Mitrana, editors, Where Mathematics, Computer Science, Linguistics and Biology Meet, chapter 22, pages 243-252. Kluwer Academic Publishers, 2001.
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.
Frank Drewes, Renate Klempien-Hinrichs: TREEBAG. In S. Yu, A. Paun, editors, Proc. 5th Intl. Conference on Implementation and Application of Automata (CIAA 2000), volume 2088 of Lecture Notes in Computer Science, pages 329-330. Springer, 2001.
Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Computing Raster Images from Grid Picture Grammars. In S. Yu, A. Paun, editors, Proc. 5th Intl. Conference on Implementation and Application of Automata (CIAA 2000), volume 2088 of Lecture Notes in Computer Science, pages 113-121. Springer, 2001.
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.
I.J. Timm, P. Knirsch, O. Herzog, H.K. Tönshoff, P.-O. Woelk: Mass Customization als Chance f?r KMU - Kooperative Agenten für die Informationslogistik. In H.-J. Sebastian, T. Grünert, editors, Logistik Management - Supply Chain Management und e-Business, Aachen, pages 401-409. B.G. Teubner Verlag, 2001.
I.J. Timm, P.-O. Woelk, P. Knirsch, H.K. Tönshoff, O. Herzog: Flexible Mass Customisation: Managing Its Information Logistics Using Adaptive Co-operative Multiagent Systems. In K.S. Pawar, M. Muffatto, editors, Logistics and the Digital Economy. Proceedings of the 6th International Symposium on Logistics, Salzburg, Austria, pages 227-232. 2001.
Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Algebraic Specification goes multimedia - A few tentative steps. Bulletin of the EATCS 75:224-227, 2001.
Renate Klempien-Hinrichs: Context-free Hypergraph Grammars. Node and Hyperedge Rewriting with an Application to Petri Nets. Books on Demand, Norderstedt, 2001. Doctoral thesis, Universität Bremen, 2000.
Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske: Abstract Hierarchical Graph Transformation. Technical report 1/01, Universität Bremen, 2001.
Mark Minas, Berthold Hoffmann: Specifying and Implementing Visual Process Modeling Languages with DiaGen. Electron. Notes Theor. Comput. Sci. 44:67-79, 2001.
Giorgio Busatto, Berthold Hoffmann: Comparing Notions of Hierarchical Graph Transformation. Electron. Notes Theor. Comput. Sci. 50:310-317, 2001.
Berthold Hoffmann, Mark Minas: Transformation of Shaped Nested Graphs and Diagrams. Electron. Notes Theor. Comput. Sci. 59:305-319, 2001.
Berthold Hoffmann: Shapely Hierarchical Graph Transformation. In 2002 IEEECS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pages 30-37. IEEE Computer Society, 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.
Frank Drewes, Peter Knirsch: TREEBAG - A Short Presentation. 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 411-417. Springer, 2000.
Frank Drewes: Tree-Based Picture Generation. Theoretical Computer Science 246:1-51, 2000.
Frank Drewes: Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars. In H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg, editors, Proc. Sixth Intl. Workshop on Theory and Application of Graph Transformations (TAGT'98), volume 1764 of Lecture Notes in Computer Science, pages 1-14. 2000.
Peter Knirsch, Hans-Jörg Kreowski: A Note on Modeling Agent Systems by Graph Transformation. 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 79-86. Springer, 2000.
Frank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Table-driven and context-sensitive collage languages. In G. Rozenberg, W. Thomas, editors, Proc. Developments in Language Theory (DLT'99), pages 326-337. World Scientific, 2000.
Sigrid Ewert, Andries van der Walt: A Pumping Lemma for Random Permitting Context Languages. Theoretical Computer Science. To appear.
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.
Hélène Jacquet, Renate Klempien-Hinrichs: Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach. In H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg, editors, Proc. Sixth Intl. Workshop on Theory and Application of Graph Transformations (TAGT'98), volume 1764 of Lecture Notes in Computer Science, pages 117-130. Springer, 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.
Renate Klempien-Hinrichs: Normal forms for context-free node-rewriting hypergraph grammars. In H. Ehrig, G. Taentzer, editors, Preproc. GRATRA 2000, pages 224-231. 2000. Technische Universität Berlin, Forschungsberichte des Fachbereichs Informatik 2000-2.
Andries van der Walt, Sigrid Ewert: A Shrinking Lemma for Random Forbidding Context Languages. Theoretical Computer Science 237:149-158, 2000.
Sigrid Ewert, Tiaan Wessels: Distributed Processing of Random Context Picture Grammars. In International Workshop on Grammar Systems, Bad Ischl, Austria. 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.
Frank Drewes, Renate Klempien-Hinrichs: Picking Knots from Trees. The Syntactic Structure of Celtic Knotwork. In M. Anderson, P. Cheng, V. Haarslev, editors, Proc. 1st Intl. Conference on Theory and Application of Diagrams 2000, volume 1889 of Lecture Notes in Artificial Intelligence, pages 89-104. Springer, 2000.
Frank Drewes, Renate Klempien-Hinrichs: Picking Knots from Trees. The Syntactic Structure of Celtic Knotwork. Technical report 4/00, Universität Bremen, 2000.
Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Computing Raster Images from Grid Picture Grammars. In M. Daley, M.G. Eramian, S. Yu, editors, Preproc. 5th Intl. Conference on Implementation and Application of Automata (CIAA 2000), pages 79-85. University of Western Ontario, London, Canada, 2000.
Frank Drewes, Renate Klempien-Hinrichs, Sigrid Ewert, Hans-Jörg Kreowski: Computing Raster Images from Grid Picture Grammars. Technical report 2/00, Universität Bremen, 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.
Frank Drewes: The Complexity of the Exponential Output Size Problem for Top-Down and Bottom-Up Tree Transducers. Information and Computation, 2000. To appear.
Jens Eschenbächer, Peter Knirsch, Ingo J. Timm: Demand Chain Optimisation by Using Agent Technology. In IFIP WG 5.7 - International Conference on Integrated Production Management: Information and Communication Technology in Logistics and Production Management, Tromso, Norway, pages 285-292. 2000.
Jens Eschenbächer, Peter Knirsch: Reengineering of Supply Chain Networks with Change Management. In Global Logistics for the New Millennium - Proc. of the 5th Internat. Symposium on Logistics (ISL 2000), Iwate, Japan, pages 198-207. 2000.
Zena M. Ariola, Jan Willem Klop, Detlef Plump: Bisimilarity in Term Graph Rewriting. Information and Computation 156:2-24, 2000.
Annegret Habel, Jürgen Müller, Detlef Plump: Double-Pushout Approach with Injective Matching. In Theory and Application of Graph Transformations (TAGT '98), Selected Papers, volume 1764 of Lecture Notes in Computer Science, pages 103-116. Springer, 2000.
Frank Drewes, Berthold Hoffmann, Detlef Plump: Hierarchical Graph Transformation. Informatik-Bericht 1/2000, Fachbereich Mathematik und Informatik, Universität Bremen, 2000. 33 pages.
Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif (ed.): Proc. Rigorose Entwicklung software-intensiver Systeme. Technical Report 0005, Universität München. 2000.
Sabine Kuske: Transformation Units-A structuring Principle for Graph Transformation Systems. University of Bremen, 2000.
Hans-Jörg Kreowski, Gabriel Valiente: Redundancy and Subsumption in High-level Replacement Systems. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Proc. 6th Int. Workshop on Theory and Application of Graph Transformations, volume 1764 of Lecture Notes in Computer Science, pages 215-227. 2000.
Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (ed.): Proc. 6th International Workshop on Theory and Application of Graph Transformations TAGT'98, volume 1764. Lecture Notes in Computer Science. Springer, 2000.
Frank Drewes, Berthold Hoffmann, Detlef Plump: Hierarchical Graph Transformation. In Jerzy Tiuryn, editor, Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, volume 1784 of Lecture Notes in Computer Science, pages 98-113. Springer, 2000.
Berthold Hoffmann, Mark Minas: A Generic Model for Diagram Syntax and Semantics. In Jos&{acute;e D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, J. B. Wells, editors, ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000, pages 443-450. Carleton Scientific, Waterloo, Ontario, Canada, 2000.
Berthold Hoffmann, Mark Minas: Towards Generic Rule-Based Visual Programming. In 2000 IEEE International Symposium on Visual Languages, VL 2000, Seattle, Washington, USA, September 10-13, 2000, Proceedings, pages 65-66. IEEE Computer Society, 2000.
Berthold Hoffmann, Mark Minas: Towards rule-based visual programming of generic visual systems. CoRR cs.PL/0010016, 2000.
Frank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Table-Driven and Context-Sensitive Collage Languages (extended abstract). In W. Thomas, editor, Prelim. Proc. Developments in Language Theory (DLT'99), pages 153-163. 1999. Aachener Informatik-Berichte 99-5.
Frank Drewes, Hans-Jörg Kreowski: Picture generation by collage grammars. In H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, volume 2, chapter 11, pages 397-457. World Scientific, 1999.
Frank Drewes: The Complexity of the Exponential Output Size Problem for Top-Down Tree Transducers. In G. Ciobanu, Gh. Paun, editors, Proc. Fundamentals of Computation Theory (FCT'99), volume 1684 of Lecture Notes in Computer Science, pages 234-245. 1999.
Frank Drewes: Tree-Based Generation of Languages of Fractals. Report 2/99, Univ. Bremen, 1999.
Peter Knirsch, Ingo J. Timm: Adaptive Multiagent Systems Applied on Temporal Logistics Networks. In M. Muffatto, Pawar K. S., editors, Logistics in the Information Age; Proc. of the 4th Internat. Symposium on Logistics (ISL-99), pages 213-218. 1999.
Peter Knirsch, Ingo J. Timm: Multi-Agentensysteme zur Unterstützung temporärer Logistiknetzwerke. In Herbert Kopfer, Christian Bierwirth, editors, Logistik Management - Intelligente I+K Technologien, pages 185-195. Springer, 1999.
Thomas Bousonville, Peter Knirsch, Ingo J. Timm: Einsatz von Graphregel-basierten Agenten zur flexiblen Modellierung von Tourenplanungsproblemen. In I. J. Timm, P. Knirsch, M. Petsch, U. Visser, K. Fischer, O. Herzog, S. Kirn, S. Zelewski, editors, Proc. des Workshops Agententechnologie auf der KI99 in Bonn, volume 16 of TZI-Bericht, Universität Bremen, pages 47-56. 1999.
Ingo J. Timm, Peter Knirsch: Ökologische Optimierung in der verteilten Tourenplanung durch Multi-Agentensystemen. In I. J. Timm, P. Knirsch, M. Petsch, U. Visser, K. Fischer, O. Herzog, S. Kirn, S. Zelewski, editors, Proc. des Workshops Agententechnologie auf der KI99 in Bonn, volume 16 of TZI-Bericht, Universität Bremen, pages 73-85. 1999.
Renate Klempien-Hinrichs: The generative power of context-free node rewriting in hypergraphs. Grammars 2:211-221, 1999.
Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Stefan Taubenberger: Correct translation of mutually recursive function systems into TOL collage grammars. In G. Ciobanu, Gh. Paun, editors, Proc. 12th Intl. Symposium on Fundamentals of Computation Theory (FCT'99), volume 1684 of Lecture Notes in Computer Science, pages 350-361. Springer, 1999.
Sigrid Ewert, Andries van der Walt: Random Context Picture Grammars. Publicationes Mathematicae (Debrecen) 54 (Supp):763-786, 1999.
Sigrid Ewert, Andries van der Walt: Generating Pictures using Random Permitting Context. International Journal of Pattern Recognition and Artificial Intelligence 13:339-355, 1999.
Sigrid Ewert, Andries van der Walt: A Hierarchy Result for Random Forbidding Context Picture Grammars. International Journal of Pattern Recognition and Artificial Intelligence 13:997-1007, 1999.
Sigrid Ewert, Andries van der Walt: Shrink Indecomposable Fractals. In Proc. Workshop on Formal Languages and Automata (WFLA), satellite event of 12th Intl. Symposium on Fundamentals of Computation Theory (FCT). 1999. Full paper in Journal of Universal Computer Science 5.
Sigrid Ewert, Andries van der Walt: Shrink Indecomposable Fractals. Journal of Universal Computer Science 5, 1999. http://www.iicm.edu/jucs_5_9.
Sigrid Ewert: Random Context Picture Grammars. University of Stellenbosch, South Africa, 1999.
Frank Drewes: The Complexity of the Exponential Output Size Problem for Top-Down and Bottom-Up Tree Transducers. Report 4/99, Univ. Bremen, 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. 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.
Hartmut Ehrig, Hans-Jörg Kreowski, Ugo Montanari, Grzegorz Rozenberg, editors: Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism, and Distribution. World Scientific, 1999.
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. World Scientific, 1999.
Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner, editors: Algebraic Foundations of Systems Specification. Springer, 1999.
Hartmut Ehrig, Hans-Jörg Kreowski: Refinement and Implementation. In E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner, editors, Algebraic Foundations of Systems Specification, pages 201-242. Springer, 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.
Berthold Hoffmann: From Graph Transformation to Rule-Based Programming with Diagrams. In Manfred Nagl, Andy Schürr, Manfred Münch, editors, Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings, volume 1779 of Lecture Notes in Computer Science, pages 165-180. Springer, 1999.
Frank Drewes, Joost Engelfriet: Decidability of the Finiteness of Ranges of Tree Transductions. Information and Computation 145:1-50, 1998.
Frank Drewes: A Characterization of the Sets of Hypertrees Generated by Hyperedge-Replacement Graph Grammars. Theory of Computing Systems 32:159-208, 1998.
Frank Drewes: TREEBAG - a Tree-Based Generator for Objects of Various Types. Report 1/98, Univ. Bremen, 1998.
Frank Drewes: Tree-Based Picture Generation. Report 7/98, Univ. Bremen, 1998. Revised version to appear in Theoretical Computer Science.
Frank Drewes: Treebag - Baum-basierte Generierung und Transformation von Objekten. In J. Dassow, R. Kruse, editors, Proc. Informatik '98, Informatik Aktuell, pages 47-56. 1998. In German.
Annegret Habel, Renate Klempien-Hinrichs: Atom Replacement in Hypergraphs. In G. Engels, G. Rozenberg, editors, Preproc. TAGT'98, Bericht tr-ri-98-201, Reihe Informatik, pages 182-189. Universität-GH Paderborn, 1998.
Renate Klempien-Hinrichs: Net Refinement by Pullback Rewriting. In M. Nivat, editor, Proc. Foundations of Software Science and Computation Structures, volume 1378 of Lecture Notes in Computer Science, pages 189-202. Springer, 1998.
Sigrid Ewert, Andries van der Walt: Generating Pictures using Random Forbidding Context. International Journal of Pattern Recognition and Artificial Intelligence 12:939-950, 1998.
Sigrid Ewert, Andries van der Walt: Permission Is Necessary When Generating Pictures. In Proc. 13th Annual MSc and PhD Conference in Computer Science, pages 18-26. Department of Computer Science, University of Stellenbosch, South Africa, 1998. Full paper in International Journal of Pattern Recognition and Artificial Intelligence 13.
Hélène Jacquet, Renate Klempien-Hinrichs: Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach. In G. Engels, G. Rozenberg, editors, Preproc. TAGT'98, pages 174-181. 1998. Universität-GH Paderborn, Bericht tr-ri-98-201, Reihe Informatik. Revised version appeared in LNCS 1764.
Aglaia Giotaki: Syntaktische Dimension von Collagen-Grammatiken. Dissertation. Universität Bremen, 1998.
Hans-Jörg Kreowski: Künstliche Intelligenz und Gehirn. In H.J. Sandkühler, editor, Repräsentation, Denken und Selbstbewusstsein, volume 20 of Schriftenreihe des Zentrums Philosophische Grundlagen der Wissenschaften, pages 193-204. Universität Bremen, 1998.
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.
Andrea Corradini, Frank Drewes: (Cyclic) Term Graph Rewriting is Adequate for Rational Parallel Term Rewriting. Technical report TR-97-14, Dipartimento di Informatica, Pisa, 1997.
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski: Hyperedge Replacement Graph Grammars. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 1: Foundations, chapter 2, pages 95-162. World Scientific, 1997.
Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire: Criteria to Disprove Context-Freeness of Collage Languages. In B.S. Chlebus, L. Czaja, editors, Proc. Fundamentals of Computation Theory XI, volume 1279 of Lecture Notes in Computer Science, pages 169-178. 1997.
Frank Drewes: A Characterization of the Sets of Hypertrees Generated by Hyperedge-Replacement Graph Grammars. Report 3/97, Univ. Bremen, 1997. Revised version appeared in Theory of Computing Systems.
Frank Drewes: On the Generation of Trees by Hyperedge Replacement. In I. Prìvara, P. Ruzicka, editors, Proc. Mathematical Foundations of Computer Science 1997, volume 1295 of Lecture Notes in Computer Science, pages 229-238. 1997. Long version appeared in Theory of Computing Systems.
Sigrid Ewert, Andries van der Walt: A Pumping Lemma for Random Permitting Context Grammars. In Proc. 12th Annual MSc and PhD Conference in Computer Science, pages 14-17. Department of Computer Science, University of the Witwatersrand, Johannesburg, South Africa, 1997. Full paper to appear in Theoretical Computer Science.
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.
Renate Klempien-Hinrichs: Net Refinement by Pullback Rewriting. Technical report LaBRI TR 1175-97, LaBRI, Université de Bordeaux I, 1997. Revised version appeared in LNCS 1378.
Peter Knirsch: Hierarchical Event Structures for the Description of Reactive Systems. 1997. Diploma thesis, Universität Hildesheim.
Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas: Correctness of Horizontal and Vertical Composition for Implementation Concepts Based on Constructors and Abstractors. Revista Matematica 10:365-387, 1997.
Frank Drewes, Joost Engelfriet: Decidability of the Finiteness of Ranges of Tree Transductions. Report 9/96, Univ. Bremen, 1996. Revised version appeared in Information and Computation.
Frank Drewes, Hans-Jörg Kreowski, Nils Schwabe: COLLAGE-ONE: A System for Evaluation and Visualisation of Collage Grammars. In Proc. 4th International Conference on Computer Graphics & Image Processing GKPO'96, volume 5 of Machine Graphics & Vision, pages 393-402. Polish Academy of Sciences, Warsaw, Poland, 1996.
Frank Drewes, Hans-Jörg Kreowski: (Un-)Decidability of Geometric Properties of Pictures Generated by Collage Grammars. Fundamenta Informaticae 25:295-325, 1996.
Frank Drewes, Uwe Pirr: Abstrakte Objekte dreidimensional und interaktiv. Report 3/96, Univ. Bremen, 1996.
Frank Drewes: A lower bound on the growth of functions computed by tree transducers. Fundamenta Informaticae 26:267-286, 1996. Short version in LNCS 787 (CAAP'94).
Frank Drewes: Language Theoretic and Algorithmic Properties of d-dimensional Collages and Patterns in a Grid. Journal of Computer and System Sciences 53:33-60, 1996.
Frank Drewes: On the Connectedness of Pictures Defined by Iterated Function Systems. In J. Dassow, G. Rozenberg, A. Salomaa, editors, Proc. 2nd Intl. Conference on Developments in Language Theory-At the Crossroads of Mathematics, Computer Science and Biology, pages 289-298. World Scientific, Singapore, 1996.
Frank Drewes: The Use of Tree Transducers to Compute Translations Between Graph Algebras. In J. Cuny, H. Ehrig, G. Engels, G. Rozenberg, editors, Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci., volume 1073 of Lecture Notes in Computer Science, pages 196-210. Springer, 1996.
Frank Drewes: Computation by Tree Transductions. Doctoral dissertation, University of Bremen, Germany, 1996.
Renate Klempien-Hinrichs: Node Replacement in Hypergraphs: Simulation of Hyperedge Replacement, and Decidability of Confluence. In J. Cuny, H. Ehrig, G. Engels, G. Rozenberg, editors, Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci., volume 1073 of Lecture Notes in Computer Science, pages 397-411. Springer, 1996.
Katrin Floegel, Renate Klempien-Hinrichs: Und warum studierst DUInformatik? - Bremer Informatikstudentinnen gestern und heute - [So why do YOU study informatics? - Female informatics students in Bremen: past and present -]. In Proc. Frauen in Naturwissenschaft und Technik 1996, pages 10. 1996.
Sigrid Ewert, Andries van der Walt: Random Context Picture Grammars. In Proc. 8th Intl. Conference on Automata and Formal Languages. 1996. Full paper in Publicationes Mathematicae 54.
Sigrid Ewert, Andries van der Walt: Random Context Picture Grammars. In Proc. 11th Annual Conference for Masters and PhD Students in Computer Science and Information Systems. Department of Computer Science, University of Pretoria, South Africa, 1996.
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.
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger: Generating self-affine fractals by collage grammars. Theoretical Computer Science 145:159-187, 1995.
Frank Drewes: Semirings and Tree-to-Graph-to-Tree Transductions. 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. Elsevier Science, 1995.
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.
Hans-Jörg Kreowski, Thomas Risse, Andreas Spillner, Ralf Streibl, Karin Vosseberg, editors: Realität und Utopien der Informatik. Agenda Verlag, Münster, 1995.
Hans-Jörg Kreowski, Till Mossakowski: Equivalence and Difference of Institutions: Simulating Horn Clause Logic with Based Algebras. Mathematical Structures in Computer Science 5:189-215, 1995.
Hans-Jörg Kreowski: Specification and Programming (by Graph Transformation). In Andrea Corradini, Ugo Montanari, editors, Proc. Joint Workshop on Graph Rewriting and Computation COMPUGRAPH/SEMAGRAPH, volume 2 of Electronic Notes in Computer Science. Springer, 1995.
Hans-Jörg Kreowski: Graph Grammars for Software Specification and Programming: An Eulogy in Praise of GRACE. In Francesco Rosselló Llompart, Gabriel Valiente, editors, Colloquium on Gaph Transformation and its Application in Computer Science, pages 55-61. 1995.
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger: Generating self-affine fractals by collage grammars. In G. Rozenberg, A. Salomaa, editors, Proc. Developments in Language Theory 93. At the Crossroads of Mathematics, Computer Science and Biology, pages 278-289. World Scientific, 1994. Long version appeared in Theoretical Computer Science.
Frank Drewes: A lower bound on the growth of functions computed by tree transductions. In S. Tison, editor, Proc. CAAP'94, volume 787 of Lecture Notes in Computer Science, pages 100-114. Springer, 1994. Revised version in Fundamenta Informaticae 26.
Frank Drewes: The Use of Tree Transducers to Compute Translations Between Graph Algebras. Report 8/94, Univ. Bremen, 1994.
Renate Klempien-Hinrichs: Node Replacement in Hypergraphs: Comparison with Hyperedge Replacement, and Confluence. In Preproc. GRAGRA'94, pages 37-42. 1994. Revised version appeared in LNCS 1073.
Hans-Jörg Kreowski: An Axiomatic Approach to Canonical Derivations. In Proc. IFIP World Computer Congress, volume A-51 of IFIP-Transactions, pages 348-353. North-Holland, 1994.
Gnanamalar David, Frank Drewes, Hans-Jörg Kreowski: Hyperedge replacement with Rendezvous. In J.P. Jouannaud, editor, Proc. CAAP'93, volume 668 of Lecture Notes in Computer Science, pages 167-181. Springer, 1993.
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger: A sketch of collage grammars. Bulletin of the EATCS 50, 1993.
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger: Generating self-affine fractals by collage grammars. Report 3/93, Univ. Bremen, 1993. Revised version appeared in Theoretical Computer Science.
Frank Drewes: A lower bound on the growth of functions computed by tree transducers. Report 4/93, Univ. Bremen, 1993.
Frank Drewes: An optimal term rewrite implementation of queues. Report 5/93, Univ. Bremen, 1993.
Frank Drewes: NP-completeness of k-connected hyperedge-replacement languages of order k. Information Processing Letters 45:89-94, 1993.
Frank Drewes: Recognising k-connected hypergraphs in cubic time. Theoretical Computer Science 109:83-122, 1993.
Frank Drewes: Transducibility-symbolic computation by tree-transductions. Report 2/93, Univ. Bremen, 1993.
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.
Annegret Habel, Hans-Jörg Kreowski, Clemens Lautemann: A Comparison of Compatible, Finite and Inductive Graph Properties. Theoretical Computer Science 110:145-168, 1993.
Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger: Collages and Patterns Generated by Hyperedge Replacement. Languages of Design 1:125-145, 1993.
: Canonical Derivations for High-level Replacement Systems. In Hartmut Ehrig, Hans-Jörg Kreowski, Gabriele Taentzer, editors, Tagungsband des Dagstuhl-Seminars über Graph-Transformationen (Jan. 1993), volume 776 of Lecture Notes in Computer Science, pages 153-169. Springer, 1993.
Hans-Jörg Kreowski: Five Facets of Hyperedge Replacement beyond Context-Freeness. In Zoltan Ésik, editor, Proc. Fundamentals of Computation Theory, volume 710 of Lecture Notes in Computer Science, pages 69-86. Springer, 1993.
Hans-Jörg Kreowski: Translations into the Graph Grammar Machine. In Roman M. Sleep, Rinus Plasmeijer, Marko van Eekelen, editors, Term Graph Rewriting: Theory and Practice, chapter 13, pages 171-183. John Wiley, 1993.
Hans-Jörg Kreowski: Some Initial Sections of the Algebraic Specification Tale. In Grzegorz Rozenberg, Arto Salomaa, editors, Current Trends in Theoretical Computer Science - Essays and Tutorials, pages 54-75. World Scientific Press, 1993.
Berthold Hoffmann, Bernd Krieg-Brückner (ed.): Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, volume 680. Lecture Notes in Computer Science. Springer, 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.
Renate Hinrichs: Konfluente Graphgrammatiken mit Einbettungstiefe k>1. 1992. Diploma thesis, Universität Passau.
Hans-Jörg Kreowski, editor: Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung an Reinhold Franck. Volume 309 of Informatik-Fachberichte. Springer, 1992.
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski: Introduction to Graph Grammars with Application to Semantic Networks. Computers and Mathematics with Applications 23:557-572, 1992.
Berthold Hoffmann: Term Rewriting with Sharing and Memo&\uml;ization. In H&{acute;el&{grave;ene Kirchner, Giorgio Levi, editors, Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings, volume 632 of Lecture Notes in Computer Science, pages 128-142. Springer, 1992.
Gerhard Buntrock, Frank Drewes, Clemens Lautemann, Till Mossakowski: Some Modifications of Auxiliary Pushdown Automata. RAIRO Theoretical Informatics and Applications 25:545-556, 1991.
Frank Drewes, H.-J. Kreowski: A Note on Hyperedge Replacement. In H. Ehrig, H.-J. Kreowski, G. Rozenberg, editors, Proc. Fourth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci., volume 532 of Lecture Notes in Computer Science, pages 1-11. Springer, 1991.
Frank Drewes, Clemens Lautemann: Incremental termination proofs and the length of derivations. In Proc. RTA-91, volume 488 of Lecture Notes in Computer Science, pages 49-61. Springer, 1991.
Frank Drewes: Recognising k-connected hypergraphs in cubic time. Report 3/91, Univ. Bremen, 1991.
Hans-Jörg Kreowski: Logische Grundlagen der Informatik - Handbuch der Informatik 1.1. Oldenbourg-Verlag, München, 1991. 165 Seiten.
Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (ed.): Algebraic System Specification and Development - A Survey and Annotated Bibliography, volume 501. Lecture Notes in Computer Science. Springer, 1991.
Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (ed.): Proc. 4th International Workshop on Graph Grammars and Their Application to Computer Science, volume 532. Lecture Notes in Computer Science. Springer, 1991.
Annegret Habel, Hans-Jörg Kreowski, Detlef Plump: Jungle Evalutation. Fundamenta Informaticae 15:37-60, 1991.
Annegret Habel, Hans-Jörg Kreowski, Walter Vogler: Dedicable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement. Theoretical Computer Science 89:33-62, 1991.
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce: Parallelism and Concurrency in High-level Replacement Systems. Journal of Mathematical Structures in Computer Science 1:361-404, 1991.
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce: From Graph Grammars to High-Level Replacement Systems. In Hartmut Ehrig et al., editor, Proc. International Workshop on Graph Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 269-291. Springer, 1991.
Annegret Habel, Hans-Jörg Kreowski: Collage Grammars. In Hartmut Ehrig et al., editor, Proc. International Workshop on Graph Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 411-429. Springer, 1991.
Eric Jeltsch, Hans-Jörg Kreowski: Grammatical Inference Based on Hyperedge Replacement. In Hartmut Ehrig et al., editor, Proc. International Workshop on Graph Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 461-474. Springer, 1991.
Berthold Hoffmann, Detlef Plump: Implementing term rewriting by jungle evaluation. RAIRO Theor. Informatics Appl. 25:445-472, 1991.
Berthold Hoffmann, Bernd Krieg-Brückner: The PROSPECTRA System. In Sren Prehn, W. J. Toetenel, editors, VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, volume 551 of Lecture Notes in Computer Science, pages 668-669. Springer, 1991.
Berthold Hoffmann, Bernd Krieg-Brückner: The PROSPECTRA System. In Christian Choffrut, Matthias Jantzen, editors, STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings, volume 480 of Lecture Notes in Computer Science, pages 539-540. Springer, 1991.
Frank Drewes, C. Lautemann: Incremental termination proofs and the length of derivations. Report 7/90, Univ. Bremen, 1990.
Frank Drewes: Parsing ordered graphs generated by hyperedge replacement. Report 10/90, Univ. Bremen, 1990.
Frank Drewes: Unique decompositions of hypergraphs. Report 14/90, Univ. Bremen, 1990.
Hans-Jörg Kreowski, Grzegorz Rozenberg: On Structured Graph Grammars - Part I. Information Sciences 52:185-210, 1990.
Hans-Jörg Kreowski, Grzegorz Rozenberg: On Structured Graph Grammars - Part II. Information Sciences 52:211-246, 1990.
Annegret Habel, Hans-Jörg Kreowski: Filtering Hyperedge-Replacement Languages Through Compatible Properties. In Manfred Nagl, editor, Proc. Workshop on Graphtheoretical Concepts in Computer Science WG'89, volume 411 of Lecture Notes in Computer Science, pages 107-120. Springer, 1990.
Hans-Jörg Kreowski, Zhenyu Quian: Relation-Sorted Specifications with Built-in Coercers: Basic Notions and Results. In Proc. Symposium on Theoretical Aspects of Computer Science STACS'90, volume 415 of Lecture Notes in Computer Science, pages 165-175. Springer, 1990.
Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preu , editors: Categorical Methods in Computer Science. Volume 393 of Lecture Notes in Computer Science. Springer, 1989.
Annegret Habel, Hans-Jörg Kreowski, Walter Vogler: Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages. Acta Informatica 26:657-677, 1989.
Annegret Habel, Hans-Jörg Kreowski, Walter Vogler: Dedicable Boundedness Problems for Hyperedge Replacement Graph Grammars. In Proc. Joint Conference on Theory and Practice of Software Development TAPSOFT'89, Vol. 1, volume 351 of Lecture Notes in Computer Science, pages 275-289. Springer, 1989.
Hans-Jörg Kreowski: Colimits as Parametrerized Data Types. In Proc. Workshop on Categorial Methods in Computer Science - with Aspects from Topology, volume 393 of Lecture Notes in Computer Science, pages 36-49. Springer, 1989.
Hans-Jörg Kreowski: Informationstechnische Grundbildung für alle ist Unfug. In Felix Rauner, Julie K. Ruth, editors, Informationstechnische Grundbildung zwischen Affirmation und Gestaltungskompetenz, pages 27-38. Leuchtturm-Verlag, Alsbach, 1989.
Annegret Habel, Hans-Jörg Kreowski: Pretty Patterns Produced by Hyperedge Replacement. In Proc. Workshop on Graphtheoretical Concepts in Computer Science WG'87, volume 314 of Lecture Notes in Computer Science, pages 32-45. Springer, 1988.
Annegret Habel, Hans-Jörg Kreowski, Detlef Plump: Jungle Evalutation. In Proc. International Workshop on Abstract Data Types ADT'87, volume 332 of Lecture Notes in Computer Science, pages 92-112. Springer, 1988.
Berthold Hoffmann, Detlef Plump: Jungle Evaluation for Efficient Term Rewriting. In Jan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings, volume 343 of Lecture Notes in Computer Science, pages 191-203. Springer, 1988.
Annegret Habel, Hans-Jörg Kreowski: Characteristics of Graph Languages Generated by Edge Replacement. Theoretical Computer Science 51:81-115, 1987.
Annegret Habel, Hans-Jörg Kreowski: Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement. In Proc. Symposium on Theoretical Aspects of Computer Science STACS'87(Passau), volume 247 of Lecture Notes in Computer Science, pages 207-219. Springer, 1987.
Hans-Jörg Kreowski: Partial Algebras Flow from Algebraic Specification. In Proc. International Conference on Automata, Languages and Programming ICALP'87, volume 267 of Lecture Notes in Computer Science, pages 521-530. Springer, 1987.
Annegret Habel, Hans-Jörg Kreowski: May We Introduce to You: Hyperedge Replacement. In Proc. International Workshop on Graph Grammars and Their Application to Computer Science GRAGRA'86, volume 291 of Lecture Notes in Computer Science, pages 15-26. Springer, 1987.
Hans-Jörg Kreowski: Is Parallelism Already Concurrency? Part 1: Derivations in Graph Grammars. In Proc. International Workshop on Graph Grammars and Their Application to Computer Science GRAGRA'86, volume 291 of Lecture Notes in Computer Science, pages 343-360. Springer, 1987.
Hans-Jörg Kreowski, Anne Wilharm: Is Parallelism Already Concurrency? Part 2: Non-sequential Processes in Graph Grammars. In Proc. International Workshop on Graph Grammars and Their Application to Computer Science GRAGRA'86, volume 291 of Lecture Notes in Computer Science, pages 361-377. Springer, 1987.
Hans-Jörg Kreowski: Informatik und Militär: Zusammen in den Abgrund. In Michael Löwe, Manfred Schmidt, Reinhard Wilhelm, editors, Umdenken in der Informatik, pages 37-42. Verlag für Ausbildung und Studium in der Elefanten Press, Berlin, 1987.
Reinhold Franck, Brian J. Gerloff, Roland Hardt, Rainer Isle, Hans-Jörg Kreowski, Inger Kuhlmann, Klaus-Peter Löhr, Richard Voet, Anne Wilharm: Informatik 2000, Kampf um Märkte und Vorherrschaft. Informatik-Bericht 5, Universität Bremen, 1987. 41 Seiten.
Hans-Jörg Kreowski, Anne Wilharm: Net Processes Correspond to Derivation Processes in Graph Grammars. Theoretical Computer Science 44:275-305, 1986.
Hans-Jörg Kreowski: Rule Trees Represent Derivations in Edge Replacement Systems. In Grzegorz Rozenberg, Arto Salomaa, editors, The book of L, pages 217-232. Springer, 1986.
Hans-Jörg Kreowski, Anne Wilharm: Solving Conflicts in Graph Grammars Derivation Processes. In Proc. Workshop Graphtheoretical Concepts in Computer Science WG'85 (Würzburg, June 1985), pages 161-179. Trauner Verlag, Linz, 1985.
Hans-Jörg Kreowski (ed.): Recent Trends in Data Type Specification - Selected Papers of the 3rd Workshop on Theory and Applications on Abstract Data Types, volume 116. Informatik-Fachberichte. 1985.
Hans-Jörg Kreowski, Grzegorz Rozenberg: Note on Node-rewriting Graph Grammars. Information Processing Letters 18:21-24, 1984.
Hans-Jörg Kreowski, Anne Wilharm: Processes on Petri Nets and Graph Grammars: A Summary. In Proc. Workshop on Graphtheoretical Concepts in Computer Science WG'84 (Berlin, 1984), pages 189-200. Trauner Verlag, Linz, 1984.
Hans-Jörg Kreowski, Heinz-Wilhelm Schmidt: Some Algebraic Concepts of the Specification Language SEGRAS and Their Initial Semantics. GMD-Studien 93, Okt. 1984.
Annegret Habel, Hans-Jörg Kreowski: On Context-free Graph Languages Generated by Edge Replacement. In Proc. International Workshop on Graph Grammars and Their Application to Computer Science (Osnabrück, Oct. 1982), volume 153 of Lecture Notes in Computer Science, pages 143-158. Springer, 1983.
Hartmut Ehrig, Hans-Jörg Kreowski: Compatability of Parameter Passing and Implementation of Parameterized Data Types. Theoretical Computer Science 27:255-286, 1983.
Hans-Jörg Kreowski: Graph Grammar Derivation Processes. In Proc. Workshop on Graphtheoretical Concepts in Computer Science WG'83 (Osnabrück, June 1983), pages 136-150. Trauner Verlag, Linz, 1983.
Berthold Hoffmann: Compiler generation: from language definitions to abstract compilers. Technische Universit??t Berlin, Germany, 1983.
Hartmut Ehrig, Hans-Jörg Kreowski, James Thatcher, Eric Wagner, Jesse Wright: Parameter Passing in Algebraic Specification Languages. In Proc. Workshop on Program Specification (Aarhus, 1981), volume 134 of Lecture Notes in Computer Science, pages 322-369. Springer, 1982. (Draft version) also appeared in: Theoretical Computer Science Vol. 28, 45-81, 1984.
Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz: Algebraic Implementation of Abstract Data Types. Theoretical Computer Science 20:209-263, 1982.
Hartmut Ehrig, Hans-Jörg Kreowski: Keywords in Context: An Algebraic Specification. In Proc. Workshop on Program Specification (Aarhus, 1981), volume 134 of Lecture Notes in Computer Science, pages 73-83. Springer, 1982.
Hartmut Ehrig, Hans-Jörg Kreowski: Parameter Passing Commutes with Implementation of Parameterized Data Types. In Proc. International Conference on Automata, Languages and Programming ICALP'82 (Aarhus), volume 140 of Lecture Notes in Computer Science, pages 197-211. Springer, 1982.
Berthold Hoffmann: Modelling compiler generation by graph grammars. In Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, editors, Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabrück], Germany, October 4-8, 1982, volume 153 of Lecture Notes in Computer Science, pages 159-171. Springer, 1982.
Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Jozef Winkowski: Transformations of Structures: An Algebraic Approach. Math. Systems Theory 14:305-334, 1981.
Hans-Jörg Kreowski: A Comparision Between Petri-Nets and Graph Grammars. In Proc. Workshop WG'80 on Graphtheoretic Concepts in Computer Science (Bad Honnef, June 1980), volume 100 of Lecture Notes in Computer Science, pages 306-317. Springer, 1981.
Hans-Jörg Kreowski: Algebraische Spezifikation von Softwaresystemen. In Proc. GACM-Konferenz Software Engineering - Entwurf und Spezifikation (Berlin, Sept. 1980), volume 5 of Berichte des German Chapter of the ACM, pages 46-74. Teubner, Stuttgart, 1981.
Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski: Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. In Proc. GACM-Konferenz Software Engineering - Entwurf und Spezifikation (Berlin, Sept. 1980), volume 5 of Berichte des German Chapter of the ACM, pages 75-90. Teubner, Stuttgart, 1981.
Hans-Jörg Kreowski, Grzegorz Rozenberg: On the Constructive Description of Graph Languages Accepted by Finite Automata. In Proc. Conference MFCS'81 (Strbske Pleso, Aug./Sept. 1981), volume 118 of Lecture Notes in Computer Science, pages 398-409. Springer, 1981.
Hartmut Ehrig, Berthold Hoffmann, Ilse Schmiedecke: A Graph-Theoretical Model for Multi-Pass Parsing. In Jörg R. Mühlbacher, editor, Proceedings of the 7th Conference Graphtheoretic Concepts in Computer Science (WG '81), Linz, Austria, June 15-17, 1981, pages 19-32. Hanser, Munich, 1981.
Hartmut Ehrig, Hans-Jörg Kreowski: A Graph Grammar Approach to Optimal and Consistent Schedules in Data Base Systems. In Uwe Pape, editor, Proc. Workshop WG'79 Graphentheoretische Konzepte in der Informatik (Berlin 1979, Discrete Structures and Algorithms, pages 223-240. Hanser, 1980.
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. In Proc. International Conference on Automata, Languages and Programming (Noordwijkerhout, July 1980), volume 85 of Lecture Notes in Computer Science, pages 142-156. Springer, 1980.
Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz: Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. In Proc. Conference Math. Foundations of Computer Science (Rydzyna, Sept. 1980), volume 88 of Lecture Notes in Computer Science, pages 231-245. Springer, 1980.
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: A Case Study of Abstract Implementations and Their Correctness. In Proc. Symposium on Programming (Paris, April 1980), volume 83 of Lecture Notes in Computer Science, pages 108-122. Springer, 1980.
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric Wagner, Jesse Wright: Parameterized Data Types in Algebraic Specification Languages. In Proc. International Conference on Automata, Languages and Programming (Noordwijkerhout, July 1980), volume 85 of Lecture Notes in Computer Science, pages 157-168. Springer, 1980.
Hartmut Ehrig, Hans-Jörg Kreowski: Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems. Information Systems 5:225-238, 1980.
Berthold Hoffmann, Ilse-Renate Schmiedecke: A Mathematical Approach to Multi-Pass Parsing. In Piotr Dembinski, editor, Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980, volume 88 of Lecture Notes in Computer Science, pages 275-290. Springer, 1980.
Hartmut Ehrig, Hans-Jörg Kreowski: The Skeleton of Minimal Realization. Studien zur Algebra und ihre Anwendungen 7:137-154, 1979.
Hartmut Ehrig, Hans-Jörg Kreowski: Pushout-Properties: An Analysis of Gluing Constructions for Graphs. Mathematische Nachrichten 91:135-149, 1979.
Hartmut Ehrig, Hans-Jörg Kreowski: Algebraic Theory of Graph Grammars Applied to Consistency and Synchronization in Data Base Systems. In Proc. Workshop WG'78 Graphentheoretische Konzepte in der Informatik (Feuerstein 1978), volume 13 of Applied Computer Science, pages 227-244. Hanser, 1979.
Hans-Jörg Kreowski: A Pumping Lemma for Context-free Graph Languages. In Proc. International Workshop on Graph Grammars and Their Application to Computer Science and Biology (Bad Honnef, 1978), volume 73 of Lecture Notes in Computer Science, pages 270-283. Springer, 1979.
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Algebraic Implementation of Abstract Data Types: An Announcement. SIGACT News 11:25-29, 1979.
Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme. In Proc. GI-Fachtagung Formale Modelle für Informationssysteme (Tutzing 1979), volume 21 of Informatik-Fachberichte, pages 181-198. Springer, 1979.
Helmut Franzen, Berthold Hoffmann: Automatic Determination of Data Flow in Extended Affix Grammars. In Karl-Heinz Böhling, Peter Paul Spies, editors, GI - 9. Jahrestagung, Bonn, 1.-5. Oktober 1979, Proceedings, volume 19 of Informatik-Fachberichte, pages 176-193. Springer, 1979.
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Stepwise Specification and Implementation of Abstract Data Types. In Proc. International Conference on Automata, Languages and Programming (Udine, July 1978), volume 62 of Lecture Notes in Computer Science, pages 205-226. Springer, 1978.
Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Jozef Winkowski: Deriving Structures from Structures. In Proc. 7th International Symposium on Math. Foundations of Computer Science (Zakopane, 1978), volume 64 of Lecture Notes in Computer Science, pages 177-190. Springer, 1978.
Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. In Proc. 4th International Conference on Very Large Data Bases (Berlin, Sept. 1978), pages 427-440. 1978.
Hans-Jörg Kreowski: Manipulationen von Graphmanipulationen. Univ. Berlin, 1978. Dissertation, Fachbereich Informatik.
Hans-Jörg Kreowski: Transformation of Derivation Sequences in Graph Grammars. In Proc. Conference Fundamentals of Computation Theory (Poznan-Kornik, Sept. 1977), volume 56 of Lecture Notes in Computer Science, pages 275-286. Springer, 1977.
Hartmut Ehrig, Hans-Jörg Kreowski: Systematic Approach of Reduction and Minimization in Automata and Systems Theory. Computer Systems Science 12:269-304, 1976.
Hartmut Ehrig, Hans-Jörg Kreowski: Parallel Graph Grammars. In Aristid Lindenmayer, Grzegorz Rozenberg, editors, Proc. Automata, Languages, Development, pages 425-442. North-Holland, Amsterdam, 1976.
Hartmut Ehrig, Hans-Jörg Kreowski: Categorial Approach to Graphic Systems and Graph Grammars. In Proc. Algebraic System Theory (Udine, 1975), volume 131 of Lecture Notes in Econ. Math. Systems, pages 323-351. Springer, 1976.
Hartmut Ehrig, Hans-Jörg Kreowski: Minimization Concepts of Automata in Pseudoclosed Categories. In Proc. Algebraic System Theory (Udine, 1975), volume 131 of Lecture Notes in Econ. Math. Systems, pages 359-374. Springer, 1976.
Hartmut Ehrig, Hans-Jörg Kreowski: Parallelism of Manipulations in Multidimensional Information Structures. In Proc. Conference Math. Foundations of Computer Science (Gdansk), volume 45 of Lecture Notes in Computer Science, pages 284-293. Springer, 1976.
Hartmut Ehrig, Hans-Jörg Kreowski, Michael Pfender: Kategorielle Theorie der Reduktion, Minimierung und Äquivalenz von Automaten. Mathematische Nachrichten 59:105-124, 1974.
Hartmut Ehrig, Hans-Jörg Kreowski: Power and Initial Automata in Pseudoclosed Categories. In Proc. First International Symposium Category Theory Applied to Computation and Control (San Francisco), volume 25 of Lecture Notes in Computer Science, pages 144-150. Springer, 1974.
Hartmut Ehrig, Klaus-Dieter Kiermeier, Hans-Jörg Kreowski, Wolfgang Kühnel, editors: Universal Theory of Automata: A Categorical Approach. Teubner, Stuttgart, 1974.
