Universal theory of automata - a categorial approach. - Hartmut Ehrig; Klaus-Dieter Kiermeier; Hans-Jörg Kreowski; Wolfgang Kühnel (Teubner, 1974)

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

Parallel Graph Grammers. - Hartmut Ehrig; Hans-Jörg Kreowski (Automata, Languages, Development, 1975)

Parallelism of Manipulations in Multidimensional Information Structures. - Hartmut Ehrig; Hans-Jörg Kreowski (MFCS, 1976)

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

Transformationas of Derivation Sequences in Graph Grammars. - Hans-Jörg Kreowski (FCT, 1977)

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

Stepwise Specification and Implementation of Abstract Data Types. - Hartmut Ehrig; Hans-Jörg Kreowski; Peter Padawitz (ICALP, 1978)

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

Algebraic Specification Schemes for Data Base Systems. - Hartmut Ehrig; Hans-Jörg Kreowski; Herbert Weber (VLDB, 1978)

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

Algebraic implementation of abstract data types: an announcement. - Hartmut Ehrig; Hans-Jörg Kreowski; Peter Padawitz (SIGACT News, 1979)

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

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

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

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

Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. - Hartmut Ehrig; Werner Fey; Hans-Jörg Kreowski (Software Engineering, 1980)

Algebraische Spezifikation von Softwaresystemen. - Hans-Jörg Kreowski (Software Engineering, 1980)

Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation? - Hans-Jörg Kreowski (Software Engineering, 1980)

A Comparison Between Petri-Nets and Graph Grammars. - Hans-Jörg Kreowski (WG, 1980)

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

KWIC-index generation. - 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 (Program Specification, 1981)

On the Constructive Description of Graph Languages Accepted by Finite Automata. - Hans-Jörg Kreowski; Grzegorz Rozenberg (MFCS, 1981)

Transformations of Structures: an Algebraic Approach. - Hartmut Ehrig; Hans-Jörg Kreowski; Andrea Maggiolo-Schettini; Barry K. Rosen; Józef Winkowski (Math. Syst. Theory, 1981)

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

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

Concurrency of Node-Label-Controlled Graph Transformations. - Dirk Janssens; Hans-Jörg Kreowski; Grzegorz Rozenberg; Hartmut Ehrig (WG, 1982)

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

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

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

Graph Grammar Derivation Processes. - Hans-Jörg Kreowski (WG, 1983)

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

Note on Node-Rewriting Graph Grammars. - Hans-Jörg Kreowski; Grzegorz Rozenberg (Inf. Process. Lett., 1984)

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

Based Algebras. - Hans-Jörg Kreowski (ADT, 1986)

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

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

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

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

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

Partial Algebras Flow From Algebraic Specifications. - Hans-Jörg Kreowski (ICALP, 1987)

Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement. - Annegret Habel; Hans-Jörg Kreowski (STACS, 1987)

Pretty Patterns Produced by Hyperedge Replacement. - Annegret Habel; Hans-Jörg Kreowski (WG, 1987)

Complativle graph properties are decidable for hypergraph replacement graph languages. - Annegret Habel; Hans-Jörg Kreowski; Walter Vogler (Bull. EATCS, 1987)

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

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

Colimits as Parameterized Data Types. - Hans-Jörg Kreowski (Categorial Methods in Computer Science, 1988)

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

Filtering Hyperedge-Replacement Through Compatible Properties. - Annegret Habel; Hans-Jörg Kreowski (WG, 1989)

Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages. - Annegret Habel; Hans-Jörg Kreowski; Walter Vogler (Acta Informatica, 1989)

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

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

Collage Grammars. - Annegret Habel; Hans-Jörg Kreowski (Graph-Grammars and Their Application to Computer Science, 1990)

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

Applied Graph Transformation. - Hans-Jörg Kreowski (Graph-Grammars and Their Application to Computer Science, 1990)

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

On structured graph grammars. I. - Hans-Jörg Kreowski; Grzegorz Rozenberg (Inf. Sci., 1990)

On structured graph grammars. II. - Hans-Jörg Kreowski; Grzegorz Rozenberg (Inf. Sci., 1990)

Logische Grundlagen der Informatik. - Hans-Jörg Kreowski (Oldenbourg, 1991)

Aspects of Systems of Logic Programming. - Hans-Jörg Kreowski (Bull. EATCS, 1991)

Jungle evaluation. - Annegret Habel; Hans-Jörg Kreowski; Detlef Plump (Fundam. Informaticae, 1991)

Parallelism and Concurrency in High-Level Replacement Systems. - Hartmut Ehrig; Annegret Habel; Hans-Jörg Kreowski; Francesco Parisi-Presicce (Math. Struct. Comput. Sci., 1991)

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

Eine konkrete Utopie von korrekter Software. - Hans-Jörg Kreowski (Informatik zwischen Wissenschaft und Gesellschaft, 1992)

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

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

Five Facets of Hyperedge Replacement Beyond Context-Freeness. - Hans-Jörg Kreowski (FCT, 1993)

Hyperedge Replacement with Rendevous. - N. Gnanamalar David; Frank Drewes; Hans-Jörg Kreowski (TAPSOFT, 1993)

A scetch of Collage Grammars. - Frank Drewes; Annegret Habel; Hans-Jörg Kreowski; Stefan Taubenberger (Bull. EATCS, 1993)

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

Some initial sections of the Algebraic Specification Tale. - Hans-Jörg Kreowski (Current Trends in Theoretical Computer Science, 1993)

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

On the Interleaving Sematics of Transformation Units - A Step into GRACE. - Hans-Jörg Kreowski; Sabine Kuske (TAGT, 1994)

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

Specification and programming (by graph transformation). - Hans-Jörg Kreowski (SEGRAGRA, 1995)

Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. - Hans-Jörg Kreowski; Till Mossakowski (Math. Struct. Comput. Sci., 1995)

Generating Self-Affine Fractals by Collage Grammars. - Frank Drewes; Annegret Habel; Hans-Jörg Kreowski; Stefan Taubenberger (Theor. Comput. Sci., 1995)

(Un-)Decidability of Geometric Properties of Pictures Generated by Collage Grammars. - Frank Drewes; Hans-Jörg Kreowski (Fundam. Informaticae, 1996)

Hyperedge Replacement, Graph Grammars. - Frank Drewes; Hans-Jörg Kreowski; Annegret Habel (Handbook of Graph Grammars, 1997)

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

GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. - Andrea Corradini 001; Hans-Jörg Kreowski (Bull. EATCS, 1997)

Nested Graph Transformation Units. - Hans-Jörg Kreowski; Sabine Kuske; Andy Schürr (Int. J. Softw. Eng. Knowl. Eng., 1997)

Redundancy and Subsumption in High-Level Replacement Systems. - Hans-Jörg Kreowski; Gabriel Valiente (TAGT, 1998)

Graph Transformation Modules and Their Composition. - Frank Drewes; Peter Knirsch 001; Hans-Jörg Kreowski; Sabine Kuske (AGTIVE, 1999)

A Note on Modeling Agent Systems by Graph Transformation. - Peter Knirsch 001; Hans-Jörg Kreowski (AGTIVE, 1999)

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

Graph Transformation Units with Interleaving Semantics. - Hans-Jörg Kreowski; Sabine Kuske (Formal Aspects Comput., 1999)

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

Refinement and Implementation. - Hartmut Ehrig; Hans-Jörg Kreowski (Algebraic Foundations of Systems Specification, 1999)

Workshop über Rigorose Entwicklung software-intensiver Systeme. - Martin Wirsing; Martin Gogolla; Hans-Jörg Kreowski; Tobias Nipkow; Wolfgang Reif (GI Jahrestagung, 2000)

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

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

GRACE as a unifying approach to graph-transformation-based specification. - Hans-Jörg Kreowski; Giorgio Busatto; Sabine Kuske (UNIGRA, 2001)

Structured Modeling with GRACE. - Hans-Jörg Kreowski; Giorgio Busatto; Renate Klempien-Hinrichs; Peter Knirsch 001; Sabine Kuske (GETGRATS Closing Workshop, 2001)

A Sight-seeing Tour of the Computational Landscape of Graph Transformation. - Hans-Jörg Kreowski (Formal and Natural Computing, 2002)

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

Approach-Independent Structuring Concepts for Rule-Based Systems. - Hans-Jörg Kreowski; Sabine Kuske (WADT, 2002)

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

Preface. - Andrea Corradini 001; Hans-Jörg Kreowski (Fundam. Informaticae, 2003)

Computing Raster Images from Grid Picture Grammars. - Frank Drewes; Sigrid Ewert; Renate Klempien-Hinrichs; Hans-Jörg Kreowski (J. Autom. Lang. Comb., 2003)

Table-Driven and Context-Sensitive Collage Languages. - Frank Drewes; Renate Klempien-Hinrichs; Hans-Jörg Kreowski (J. Autom. Lang. Comb., 2003)

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

Typing of Graph Transformation Units. - Renate Klempien-Hinrichs; Hans-Jörg Kreowski; Sabine Kuske (ICGT, 2004)

Semantics of Visual Models in a Rule-based Setting. - Hans-Jörg Kreowski; Karsten Hölscher; Peter Knirsch 001 (FoVMT, 2004)

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

Loose Semantics of Petri Nets. - Julia Padberg; Hans-Jörg Kreowski (Formal Methods in Software and Systems Modeling, 2005)

Modelling Transport Networks by Means of Autonomous Units. - Karsten Hölscher; Peter Knirsch 001; Hans-Jörg Kreowski (OR, 2005)

Abstract hierarchical graph transformation. - Giorgio Busatto; Hans-Jörg Kreowski; Sabine Kuske (Math. Struct. Comput. Sci., 2005)

Contextual Hypergraph Grammars - A New Approach to the Generation of Hypergraph Languages. - Adrian-Horia Dediu; Renate Klempien-Hinrichs; Hans-Jörg Kreowski; Benedek Nagy (Developments in Language Theory, 2006)

Autonomous Units and Their Semantics - The Sequential Case. - Karsten Hölscher; Hans-Jörg Kreowski; Sabine Kuske (ICGT, 2006)

Autonomous Units and Their Semantics - The Parallel Case. - Hans-Jörg Kreowski; Sabine Kuske (WADT, 2006)

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

Communities of Autonomous Units for Pickup and Delivery Vehicle Routing. - Hans-Jörg Kreowski; Sabine Kuske (AGTIVE, 2007)

Graph Transformation Units - An Overview. - Hans-Jörg Kreowski; Sabine Kuske; Grzegorz Rozenberg (Concurrency, Graphs and Models, 2008)

Graph Multiset Transformation as a Framework for Massively Parallel Computation. - Hans-Jörg Kreowski; Sabine Kuske (ICGT, 2008)

Autonomous Units to Model Games. - Hans-Jörg Kreowski; Sabine Kuske; Hauke Tönnies (GI Jahrestagung, 2009)

Autonomous Units to Model Interacting Sequential and Parallel Processes. - Karsten Hölscher; Hans-Jörg Kreowski; Sabine Kuske (Fundam. Informaticae, 2009)

Towards an integrated graph-based semantics for UML. - Sabine Kuske; Martin Gogolla; Hans-Jörg Kreowski; Paul Ziemann (Softw. Syst. Model., 2009)

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

Graph Transformation Units Guided by a SAT Solver. - Hans-Jörg Kreowski; Sabine Kuske; Robert Wille (ICGT, 2010)

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

Combining Graph Transformation and Algebraic Specification into Model Transformation. - Hans-Jörg Kreowski; Sabine Kuske; Caroline von Totth (WADT, 2010)

Stepping from Graph Transformation Units to Model Transformation Units. - Hans-Jörg Kreowski; Sabine Kuske; Caroline von Totth (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

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

Modeling production networks with discrete processes by means of communities of autonomous units. - Hans-Jörg Kreowski; Sabine Kuske; Caroline von Totth (Logist. Res., 2011)

Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing. - Hans-Jörg Kreowski; Sabine Kuske (Nat. Comput., 2011)

Polynomial graph transformability. - Hans-Jörg Kreowski; Sabine Kuske (Theor. Comput. Sci., 2012)

Graph-transformational swarms. - Larbi Abdenebaoui; Hans-Jörg Kreowski; Sabine Kuske (NCMA, 2013)

Graph Tuple Transformation. - Hans-Jörg Kreowski; Sabine Kuske (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye; Melanie Luderer (ICGT, 2014)

Toward a Comprehensive Approach to the Transformation of Logistic Models. - Hans-Jörg Kreowski; Marco Franke; Karl Hribernik; Sabine Kuske; Klaus-Dieter Thoben; Caro von Totth (LDIC, 2014)

Graph-Transformational Swarms with Stationary Members. - Larbi Abdenebaoui; Hans-Jörg Kreowski; Sabine Kuske (DoCEIS, 2015)

Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye; Caro von Totth (ICGT, 2016)

Canonical Multi-target Toffoli Circuits. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (LATA, 2016)

Decentralized Routing of Automated Guided Vehicles by Means of Graph-Transformational Swarms. - Larbi Abdenebaoui; Hans-Jörg Kreowski (LDIC, 2016)

Toward a Unified Logistics Modeling Language: Constraints and Objectives. - Michael Freitag 001; Martin Gogolla; Hans-Jörg Kreowski; Michael Lütjen; Robert Porzel; Klaus-Dieter Thoben (LDIC, 2016)

Hartmut Ehrig (1944-2016). - Reiko Heckel; Andrea Corradini 001; Ugo Montanari; Hans-Jörg Kreowski; Fernando Orejas; Grzegorz Rozenberg (Bull. EATCS, 2016)

Modeling of decentralized processes in dynamic logistic networks by means of graph-transformational swarms. - Larbi Abdenebaoui; Hans-Jörg Kreowski (Logist. Res., 2016)

Fusion Grammars: A Novel Approach to the Generation of Graph Languages. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (ICGT, 2017)

A Simple Notion of Parallel Graph Transformation and Its Perspectives. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (Graph Transformation, Specifications, and Nets, 2018)

Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (ICGT, 2018)

Graph Surfing by Reaction Systems. - Hans-Jörg Kreowski; Grzegorz Rozenberg (ICGT, 2018)

Können Gemeinschaften autonomer Einheiten beim Modellieren digitaler Ökosysteme helfen? - Hans-Jörg Kreowski (40 Years EMISA, 2019)

Relating DNA Computing and Splitting/Fusion Grammars. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (ICGT, 2019)

ICTs Connecting Global Citizens, Global Dialogue and Global Governance. A Call for Needful Designs. - Wolfgang Hofkirchner; José María Díaz Nafría; Peter Crowley; Wilfried Graf; Gudrun Kramer; Hans-Jörg Kreowski; Werner Wintersteiner (ICAI, 2019)

Transformation of Petri Nets into Context-Dependent Fusion Grammars. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (LATA, 2019)

Canonical mixed-polarity multi-target Toffoli circuits: Shift and removal. - Hans-Jörg Kreowski; Aaron Lye (Inf. Comput., 2019)

Graph transformation through graph surfing in reaction systems. - Hans-Jörg Kreowski; Grzegorz Rozenberg (J. Log. Algebraic Methods Program., 2019)

Graph Surfing in Reaction Systems from a Categorial Perspective. - Hans-Jörg Kreowski; Aaron Lye (GCM@STAF, 2020)

Modeling and Analyzing Graph Algorithms by Means of Graph Transformation Units. - Hans-Jörg Kreowski; Sabine Kuske (J. Object Technol., 2020)

A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles. - Hans-Jörg Kreowski; Aaron Lye (ICGT, 2021)

A Graph-Transformational Approach to Swarm Computation. - Larbi Abdenebaoui; Hans-Jörg Kreowski; Sabine Kuske (Entropy, 2021)

A categorial approach to reaction systems: First steps. - Hans-Jörg Kreowski; Aaron Lye (Theor. Comput. Sci., 2021)

A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye; Aljoscha Windhorst (GCM@STAF, 2022)

Transformation of variants of Petri nets into context-dependent fusion grammars. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye (Inf. Comput., 2022)

Moving a Derivation Along a Derivation Preserves the Spine. - Hans-Jörg Kreowski; Sabine Kuske; Aaron Lye; Aljoscha Windhorst (ICGT, 2023)

Moving a Derivation Along a Derivation Preserves the Spine in Adhesive High-level Replacement Systems. - Hans-Jörg Kreowski; Aaron Lye; Aljoscha Windhorst (CoRR, 2023)

Extension and Restriction of Derivations in Adhesive Categories. - Hans-Jörg Kreowski; Aaron Lye; Aljoscha Windhorst (ICGT, 2024)

Modeling NP-problems with families of extended graph-based reaction systems. - Hans-Jörg Kreowski; Aaron Lye (Nat. Comput., 2024)

Parallel Rule Application with Doubling Avoidance. - Hans-Jörg Kreowski; Aaron Lye (ICGT, 2025)

Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories. - Hans-Jörg Kreowski; Aaron Lye; Aljoscha Windhorst (Log. Methods Comput. Sci., 2025)