Hans-Jörg Kreowski

Hans-Jörg Kreowski, Sabine Kuske: Polynomial graph transformability. Theor. Comput. Sci. 429: 193-201 (2012)

Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (Eds.): Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings. Lecture Notes in Computer Science 7562, Springer 2012, isbn 978-3-642-33653-9

Till Mossakowski, Hans-Jörg Kreowski (Eds.): Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Lecture Notes in Computer Science 7137, Springer 2012, isbn 978-3-642-28411-3

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(2-3): 159-175 (2011)

Hans-Jörg Kreowski, Sabine Kuske: Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing. Natural Computing 10(2): 961-986 (2011)

Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth: From Graph Transformation Units via MiniSat to GrGen.NET. AGTIVE 2011: 153-168

Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth: Stepping from Graph Transformation Units to Model Transformation Units. ECEASST 30 (2010)

Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Concurrent Case. Graph Transformations and Model-Driven Engineering 2010: 102-120

Hans-Jörg Kreowski, Sabine Kuske, Robert Wille: Graph Transformation Units Guided by a SAT Solver. ICGT 2010: 27-42

Amir Jabbari, Hans-Jörg Kreowski, Walter Lang: Application of bio-inspired data processing in intelligent transportation systems. IEEE Conf. of Intelligent Systems 2010: 315-320

Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth: Combining Graph Transformation and Algebraic Specification into Model Transformation. WADT 2010: 193-208

Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units to Model Interacting Sequential and Parallel Processes. Fundam. Inform. 92(3): 233-257 (2009)

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

Hans-Jörg Kreowski, Sabine Kuske, Hauke Tönnies: Autonomous Units to Model Games. GI Jahrestagung 2009: 3465-3472

Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg: Graph Transformation Units - An Overview. Concurrency, Graphs and Models 2008: 57-75

Hans-Jörg Kreowski, Sabine Kuske: Graph Multiset Transformation as a Framework for Massively Parallel Computation. ICGT 2008: 351-365

Hans-Jörg Kreowski, Sabine Kuske: Communities of Autonomous Units for Pickup and Delivery Vehicle Routing. AGTIVE 2007: 281-296

Hans-Jörg Kreowski, Karsten Hölscher, Peter Knirsch: Semantics of Visual Models in a Rule-based Setting. Electr. Notes Theor. Comput. Sci. 148(1): 75-88 (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. Developments in Language Theory 2006: 327-338

Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Sequential Case. ICGT 2006: 245-259

Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Parallel Case. WADT 2006: 56-73

Hans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske: Some Essentials of Graph Transformation. Recent Advances in Formal Languages and Applications 2006: 229-254

Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske: Abstract hierarchical graph transformation. Mathematical Structures in Computer Science 15(4): 773-819 (2005)

Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg: Main Concepts of Networks of Transformation Units with Interlinking Semantics. Formal Methods in Software and Systems Modeling 2005: 325-342

Julia Padberg, Hans-Jörg Kreowski: Loose Semantics of Petri Nets. Formal Methods in Software and Systems Modeling 2005: 370-384

Karsten Hölscher, Peter Knirsch, Hans-Jörg Kreowski: Modelling Transport Networks by Means of Autonomous Units. OR 2005: 399-404

Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (Eds.): Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 3393, Springer 2005, isbn 3-540-24936-2

Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske: Typing of Graph Transformation Units. ICGT 2004: 112-127

Andrea Corradini, Hans-Jörg Kreowski: Preface. Fundam. Inform. 58(1) (2003)

Frank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Table-Driven and Context-Sensitive Collage Languages. Journal of Automata, Languages and Combinatorics 8(1): 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(3): 499-519 (2003)

Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire: Criteria to disprove context freeness of collage languages. Theor. Comput. Sci. 290(3): 1445-1458 (2003)

Björn Cordes, Karsten Hölscher, Hans-Jörg Kreowski: UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams. AGTIVE 2003: 275-291

Hans-Jörg Kreowski: A Sight-seeing Tour of the Computational Landscape of Graph Transformation. Formal and Natural Computing 2002: 119-137

Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski: An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. IFM 2002: 11-28

Hans-Jörg Kreowski, Sabine Kuske: Approach-Independent Structuring Concepts for Rule-Based Systems. WADT 2002: 299-311

Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (Eds.): Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings. Lecture Notes in Computer Science 2505, Springer 2002, isbn 3-540-44310-X

Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske: GRACE as a unifying approach to graph-transformation-based specification. Electr. Notes Theor. Comput. Sci. 44(4): 1-15 (2001)

Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske: Structured Modeling with GRACE. Electr. Notes Theor. Comput. Sci. 51: 233-245 (2001)

Andrea Corradini, Hans-Jörg Kreowski: GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Current Trends in Theoretical Computer Science 2001: 164-170

Frank Drewes, Hans-Jörg Kreowski: Reading words in graphs generated by hyperedge replacement. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 243-252

Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Computing Raster Images from Grid Picture Grammars. CIAA 2000: 113-121

Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (Eds.): Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers. Lecture Notes in Computer Science 1764, Springer 2000, isbn 3-540-67203-6

Hans-Jörg Kreowski, Sabine Kuske: Graph Transformation Units with Interleaving Semantics. Formal Asp. Comput. 11(6): 690-723 (1999)

Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer: Graph Transformation for Specification and Programming. Sci. Comput. Program. 34(1): 1-54 (1999)

Frank Drewes, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske: Graph Transformation Modules and Their Composition. AGTIVE 1999: 15-30

Peter Knirsch, Hans-Jörg Kreowski: A Note on Modeling Agent Systems by Graph Transformation. AGTIVE 1999: 79-86

Frank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Table-driven and context-sensitive collage languages. Developments in Language Theory 1999: 326-337

Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Stefan Taubenberger: Correct Translation of Mutually Recursive Function Systems into TOL Collage Grammars. FCT 1999: 350-361

Hans-Jörg Kreowski, Gabriel Valiente: Redundancy and Subsumption in High-Level Replacement Systems. TAGT 1998: 215-227

Andrea Corradini, Hans-Jörg Kreowski: GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Bulletin of the EATCS 63 (1997)

Hans-Jörg Kreowski, Sabine Kuske, Andy Schürr: Nested Graph Transformation Units. International Journal of Software Engineering and Knowledge Engineering 7(4): 479-502 (1997)

Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire: Criteria to Disprove Context-Freeness of Collage Languages. FCT 1997: 169-178

Frank Drewes, Hans-Jörg Kreowski, Annegret Habel: Hyperedge Replacement, Graph Grammars. Handbook of Graph Grammars 1997: 95-162

Hans-Jörg Kreowski, Veronika Oechtering, Ingrid Rügge: Frauen auf dem Weg, das Image der Informatik zu verändern. GI Jahrestagung 1997: 345-354

Frank Drewes, Hans-Jörg Kreowski: (Un-)Decidability of Geometric Properties of Pictures Generated by Collage Grammars. Fundam. Inform. 25(3): 295-325 (1996)

Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas: Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. Bulletin of the EATCS 56 (1995)

Hans-Jörg Kreowski: Specification and programming (by graph transformation). Electr. Notes Theor. Comput. Sci. 2: 187-190 (1995)

Hans-Jörg Kreowski, Till Mossakowski: Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. Mathematical Structures in Computer Science 5(2): 189-215 (1995)

Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger: Generating Self-Affine Fractals by Collage Grammars. Theor. Comput. Sci. 145(1&2): 159-187 (1995)

Hans-Jörg Kreowski, Thomas Risse, Andreas Spillner, Ralf E. Streibl, Karin Vosseberg (Eds.): Realität und Utopien der Informatik [ausgewählte Beiträge der 10. Jahrestagung des Forums Informatikerinnen und Informatiker für Frieden und gesellschaftliche Verantwortung e.V., 7.-9. Oktober 1994, Bremen]. agenda Verlag 1995, isbn 3-929440-57-1

Hans-Jörg Kreowski: An Axiomatic Approach to Canonical Derivations. IFIP Congress (1) 1994: 348-353

Hans-Jörg Kreowski, Sabine Kuske: On the Interleaving Sematics of Transformation Units - A Step into GRACE. TAGT 1994: 89-106

Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger: A scetch of Collage Grammars. Bulletin of the EATCS 50: 209-219 (1993)

Annegret Habel, Hans-Jörg Kreowski, Clemens Lautemann: A Comparison of Compatible, Finite, and Inductive Graph Properties. Theor. Comput. Sci. 110(1): 145-168 (1993)

Hartmut Ehrig, Hans-Jörg Kreowski, Gabriele Taentzer: Canonical Derivaitons for High-Level Replacement Systems. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 153-169

Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger: Generating Self-Affine Fractals by Collage Grammars. Developments in Language Theory 1993: 278-289

Hans-Jörg Kreowski: Five Facets of Hyperedge Replacement Beyond Context-Freeness. FCT 1993: 69-86

Gnanamalar David, Frank Drewes, Hans-Jörg Kreowski: Hyperedge Replacement with Rendevous. TAPSOFT 1993: 167-181

Hans-Jörg Kreowski: Eine konkrete Utopie von korrekter Software. Informatik zwischen Wissenschaft und Gesellschaft 1992: 108-124

Hans-Jörg Kreowski: Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen. Testen, Analysieren und Verifizieren von Software 1992: 130-142

Hans-Jörg Kreowski (Ed.): Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung an Reinhold Franck. Informatik-Fachberichte 309, Springer 1992, isbn 3-540-55389-4

Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (Eds.): Algebraic System Specification and Development - A Survey and Annotated Bibliography. Lecture Notes in Computer Science 501, Springer 1991, isbn 3-540-54060-1

Hans-Jörg Kreowski: Aspects of Systems of Logic Programming. Bulletin of the EATCS 44: 144-146 (1991)

Annegret Habel, Hans-Jörg Kreowski, Detlef Plump: Jungle evaluation. Fundam. Inform. 15(1): 37-60 (1991)

Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce: Parallelism and Concurrency in High-Level Replacement Systems. Mathematical Structures in Computer Science 1(3): 361-404 (1991)

Annegret Habel, Hans-Jörg Kreowski, Walter Vogler: Decidable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement. Theor. Comput. Sci. 89(1): 33-62 (1991)

Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (Eds.): Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings. Lecture Notes in Computer Science 532, Springer 1991, isbn 3-540-54478-X

Hans-Jörg Kreowski, Grzegorz Rozenberg: On structured graph grammars. I. Inf. Sci. 52(2): 185-210 (1990)

Hans-Jörg Kreowski, Grzegorz Rozenberg: On structured graph grammars. II. Inf. Sci. 52(3): 221-246 (1990)

Frank Drewes, Hans-Jörg Kreowski: A Note on Hyperedge Replacement. Graph-Grammars and Their Application to Computer Science 1990: 1-12

Hans-Jörg Kreowski: Applied Graph Transformation. Graph-Grammars and Their Application to Computer Science 1990: 51-52

Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce: From Graph Grammars to High Level Replacement Systems. Graph-Grammars and Their Application to Computer Science 1990: 269-291

Annegret Habel, Hans-Jörg Kreowski: Collage Grammars. Graph-Grammars and Their Application to Computer Science 1990: 411-429

Eric Jeltsch, Hans-Jörg Kreowski: Grammatical Inference Based on Hyperedge Replacement. Graph-Grammars and Their Application to Computer Science 1990: 461-474

Hans-Jörg Kreowski, Zhenyu Qian: Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results. STACS 1990: 165-175

Annegret Habel, Hans-Jörg Kreowski, Walter Vogler: Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages. Acta Inf. 26(7): 657-677 (1989)

Annegret Habel, Hans-Jörg Kreowski, Walter Vogler: Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar. TAPSOFT, Vol.1 1989: 275-289

Annegret Habel, Hans-Jörg Kreowski: Filtering Hyperedge-Replacement Through Compatible Properties. WG 1989: 107-120

Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß (Eds.): Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]. Lecture Notes in Computer Science 393, Springer 1989, isbn 3-540-51722-7

Hans-Jörg Kreowski: Complexity in Algebraic Specifications: An Upper Bound Result. ADT 1988

Hans-Jörg Kreowski: Colimits as Parameterized Data Types. Categorial Methods in Computer Science 1988: 36-49

Annegret Habel, Hans-Jörg Kreowski, Walter Vogler: Complativle graph properties are decidable for hypergraph replacement graph languages. Bulletin of the EATCS 33: 55-61 (1987)

Annegret Habel, Hans-Jörg Kreowski: Characteristics of Graph Languages Generated by Edge Replacement. Theor. Comput. Sci. 51: 81-115 (1987)

Annegret Habel, Hans-Jörg Kreowski, Detlef Plump: Jungle Evaluation. ADT 1987: 92-112

Hans-Jörg Kreowski: Partial Algebras Flow From Algebraic Specifications. ICALP 1987: 521-530

Annegret Habel, Hans-Jörg Kreowski: Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement. STACS 1987: 207-219

Annegret Habel, Hans-Jörg Kreowski: Pretty Patterns Produced by Hyperedge Replacement. WG 1987: 32-45

Hans-Jörg Kreowski, Anne Wilharm: Net Processes Correspond to Derivation Processes in Graph Grammars. Theor. Comput. Sci. 44: 275-305 (1986)

Hans-Jörg Kreowski: Based Algebras. ADT 1986

Hans-Jörg Kreowski: Informatik und Militär: Zusammen in den Abgrund? FIFF Jahrestagung 1986: 37-42

Annegret Habel, Hans-Jörg Kreowski: May we introduce to you: hyperedge replacement. Graph-Grammars and Their Application to Computer Science 1986: 15-26

Hans-Jörg Kreowski: Is parallelism already concurrency? Part 1: Derivations in graph grammars. Graph-Grammars and Their Application to Computer Science 1986: 343-360

Hans-Jörg Kreowski, Anne Wilharm: Is parallelism already concurrency? Part 2: Non-sequential processes in graph grammars. Graph-Grammars and Their Application to Computer Science 1986: 361-377

Hans-Jörg Kreowski (Ed.): Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, November 13-16, 1984, Selected Papers. Informatik-Fachberichte 116, Springer 1985, isbn 3-540-16077-9

Hans-Jörg Kreowski, Grzegorz Rozenberg: Note on Node-Rewriting Graph Grammars. Inf. Process. Lett. 18(1): 21-24 (1984)

Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Parameter Passing in Algebraic Specification Languages. Theor. Comput. Sci. 28: 45-81 (1984)

Hartmut Ehrig, Hans-Jörg Kreowski: Compatibility of Parameter Passing and Implementation of Parameterized Data Types. Theor. Comput. Sci. 27: 255-286 (1983)

Klaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin: Suggestions on the Interpretation of Algebraic Specifications. ADT 1983

Hans-Jörg Kreowski: Specification of Partial Functions - Only a Tentative Suggestion. ADT 1983

Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz: Algebraic Implementation of Abstract Data Types. Theor. Comput. Sci. 20: 209-263 (1982)

Hans-Jörg Kreowski: An Algebraic Implementation Concept for Abstract Data Types. ADT 1982

Annegret Habel, Hans-Jörg Kreowski: On context-free gragh languages generated by edge replacement. Graph-Grammars and Their Application to Computer Science 1982: 143-158

Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski: Transformations of Structures: an Algebraic Approach. Mathematical Systems Theory 14: 305-334 (1981)

Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen: KWIC-index generation. Program Specification 1981: 47-117

Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Parameter Passing in Algebraic Specification Languages. Program Specification 1981: 322-369

Hans-Jörg Kreowski, Grzegorz Rozenberg: On the Constructive Description of Graph Languages Accepted by Finite Automata. MFCS 1981: 398-409

Hartmut Ehrig, Hans-Jörg Kreowski: Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems. Inf. Syst. 5(3): 225-238 (1980)

Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. ICALP 1980: 142-156

Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Parameterized Data Types in Algebraic Specification Languages (Short Version). ICALP 1980: 157-168

Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz: Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. MFCS 1980: 231-245

Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: A Case Study of Abstract Implementations and Their Correctness. Symposium on Programming 1980: 108-122

Hans-Jörg Kreowski: Algebraische Spezifikation von Softwaresystemen. Software Engineering 1980: 46-74

Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski: Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. Software Engineering 1980: 75-90

Hans-Jörg Kreowski: Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation? Software Engineering 1980: 281-283

Hans-Jörg Kreowski: A Comparison Between Petri-Nets and Graph Grammars. WG 1980: 306-317

Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme. Formale Modelle für Informationssysteme 1979: 181-198

Hans-Jörg Kreowski: A Pumping Lemma for Context-Free Graph Languages. Graph-Grammars and Their Application to Computer Science and Biology 1978: 270-283

Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Stepwise Specification and Implementation of Abstract Data Types. ICALP 1978: 205-226

Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski: Deriving Structures from Structures. MFCS 1978: 177-190

Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440

Hans-Jörg Kreowski: Transformationas of Derivation Sequences in Graph Grammars. FCT 1977: 275-286

Hartmut Ehrig, Hans-Jörg Kreowski: Systematic Approach to Reduction and Minimization in Automata and System Theory. J. Comput. Syst. Sci. 12(3): 269-304 (1976)

Hartmut Ehrig, Hans-Jörg Kreowski: Parallelism of Manipulations in Multidimensional Information Structures. MFCS 1976: 284-293

Hartmut Ehrig, Klaus-Dieter Kiermeier, Hans-Jörg Kreowski, Wolfgang Kühnel: Universal theory of automata - a categorial approach. Teubner Studienbücher, Teubner 1974, isbn 978-3-519-02054-7, pp. 1-240

Hartmut Ehrig, Hans-Jörg Kreowski: Power and initial automata in pseudoclosed categories. Category Theory Applied to Computation and Control 1974: 144-150