University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH
Publications by Hans-Jörg Kreowski (get BIBTeX file):

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Fusion Grammars: A Novel Approach to the Generation of Graph Languages. In Detlef Plump, Juan de Lara, editors, Graph Transformation: Proceedings of the 10th International Conference ICGT 2016, Held as Part of STAF 2017, Marburg, Germany. Springer International Publishing, 2017. To appear.

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. 10 pages, to appear.

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. 10 pages, to appear.

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.

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.

Sylvia Johnigk, Hans-Jörg Kreowski, Kai Nothdurft: Cyberwar - Schimäre oder reale Bedrohung?. FIfF-Kommunikation 4:74-76, 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.

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.

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

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.

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.

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.

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.

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.

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.

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

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

Hans-Jörg Kreowski, 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.

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.

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.

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.

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.

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.

Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske: Abstract Hierarchical Graph Transformation. Mathematical Structures in Computer Science 15:773-819, 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.

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, 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.

Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire: Criteria to disprove context freeness of collage languages. Theoretical Computer Science 290:1445-1458, 2003.

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.

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.

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.

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.

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, 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, 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.

Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Algebraic Specification goes multimedia - A few tentative steps. Bulletin of the EATCS 75:224-227, 2001.

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

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

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.

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.

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.

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.

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, 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.

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.

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.

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.

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.

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.

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, 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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, 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.

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.

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.


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

P.O. Box 330 440
28334 Bremen
Germany

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

Phone
++49(421)218 64451

Email (Secr.)
Helga Reinermann

helga@tzi.de