Hans-Jörg Kreowski

183 papers A* 5A 2B 30C 9Journal 51Unranked 65
YearRankTypeTitle / Venue / Authors
2025 J jnl
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories.
Log. Methods Comput. Sci.
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
2025 B conf
Parallel Rule Application with Doubling Avoidance.
ICGT
Hans-Jörg Kreowski, Aaron Lye
2024 B conf
Extension and Restriction of Derivations in Adhesive Categories.
ICGT
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
2024 J jnl
Modeling NP-problems with families of extended graph-based reaction systems.
Nat. Comput.
Hans-Jörg Kreowski, Aaron Lye
2023 J jnl
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive High-level Replacement Systems.
CoRR
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
2023 B conf
Moving a Derivation Along a Derivation Preserves the Spine.
ICGT
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst
2022 — conf
A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems.
GCM@STAF
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst
2022 J jnl
Transformation of variants of Petri nets into context-dependent fusion grammars.
Inf. Comput.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
2021 B conf
A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles.
ICGT
Hans-Jörg Kreowski, Aaron Lye
2021 J jnl
A Graph-Transformational Approach to Swarm Computation.
Entropy
Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske
2021 J jnl
A categorial approach to reaction systems: First steps.
Theor. Comput. Sci.
Hans-Jörg Kreowski, Aaron Lye
2020 — conf
Graph Surfing in Reaction Systems from a Categorial Perspective.
GCM@STAF
Hans-Jörg Kreowski, Aaron Lye
2020 J jnl
Modeling and Analyzing Graph Algorithms by Means of Graph Transformation Units.
J. Object Technol.
Hans-Jörg Kreowski, Sabine Kuske
2020 — ed.
Subject-Oriented Business Process Management. The Digital Workplace - Nucleus of Transformation - 12th International Conference, S-BPM ONE 2020, Bremen, Germany, December 2-3, 2020, Proceedings
S-BPM ONE
Michael Freitag, Aseem Kinra, Herbert Kotzab, Hans-Jörg Kreowski, Klaus-Dieter Thoben
2019 J jnl
Canonical mixed-polarity multi-target Toffoli circuits: Shift and removal.
Inf. Comput.
Hans-Jörg Kreowski, Aaron Lye
2019 J jnl
Graph transformation through graph surfing in reaction systems.
J. Log. Algebraic Methods Program.
Hans-Jörg Kreowski, Grzegorz Rozenberg
2019 — conf
ICTs Connecting Global Citizens, Global Dialogue and Global Governance. A Call for Needful Designs.
ICAI
Wolfgang Hofkirchner, José María Díaz Nafría, Peter Crowley, Wilfried Graf, Gudrun Kramer, Hans-Jörg Kreowski, Werner Wintersteiner
2019 — conf
Können Gemeinschaften autonomer Einheiten beim Modellieren digitaler Ökosysteme helfen?
40 Years EMISA
Hans-Jörg Kreowski
2019 B conf
Relating DNA Computing and Splitting/Fusion Grammars.
ICGT
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
2019 C conf
Transformation of Petri Nets into Context-Dependent Fusion Grammars.
LATA
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
2018 — conf
A Simple Notion of Parallel Graph Transformation and Its Perspectives.
Graph Transformation, Specifications, and Nets
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
2018 B conf
Graph Surfing by Reaction Systems.
ICGT
Hans-Jörg Kreowski, Grzegorz Rozenberg
2018 B conf
Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars.
ICGT
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
2017 B conf
Fusion Grammars: A Novel Approach to the Generation of Graph Languages.
ICGT
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
2016 C conf
Canonical Multi-target Toffoli Circuits.
LATA
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
2016 — conf
Decentralized Routing of Automated Guided Vehicles by Means of Graph-Transformational Swarms.
LDIC
Larbi Abdenebaoui, Hans-Jörg Kreowski
2016 B conf
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization.
ICGT
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth
2016 J jnl
Hartmut Ehrig (1944-2016).
Bull. EATCS
Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg
2016 J jnl
Modeling of decentralized processes in dynamic logistic networks by means of graph-transformational swarms.
Logist. Res.
Larbi Abdenebaoui, Hans-Jörg Kreowski
2016 — conf
Toward a Unified Logistics Modeling Language: Constraints and Objectives.
LDIC
Michael Freitag, Martin Gogolla, Hans-Jörg Kreowski, Michael Lütjen, Robert Porzel, Klaus-Dieter Thoben
2015 — conf
Graph-Transformational Swarms with Stationary Members.
DoCEIS
Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske
2014 B conf
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis.
ICGT
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer
2014 — conf
Toward a Comprehensive Approach to the Transformation of Logistic Models.
LDIC
Hans-Jörg Kreowski, Marco Franke, Karl Hribernik, Sabine Kuske, Klaus-Dieter Thoben, Caro von Totth
2013 — ed.
Dynamics in Logistics, Third International Conference, LDIC 2012, Bremen, Germany, February 27 - March 1, 2012, Proceedings.
LDIC
Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben
2013 J jnl
Graph Tuple Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Hans-Jörg Kreowski, Sabine Kuske
2013 — conf
Graph-transformational swarms.
NCMA
Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske
2012 B ed.
Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
ICGT
Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg
2012 J jnl
Polynomial graph transformability.
Theor. Comput. Sci.
Hans-Jörg Kreowski, Sabine Kuske
2012 — ed.
Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
WADT
Till Mossakowski, Hans-Jörg Kreowski
2011 — ed.
Dynamics in Logistics, Second International Conference, LDIC 2009, Bremen, Germany, August 17-21, 2009, Proceedings.
LDIC
Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben
2011 — conf
From Graph Transformation Units via MiniSat to GrGen.NET.
AGTIVE
Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
2011 J jnl
Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing.
Nat. Comput.
Hans-Jörg Kreowski, Sabine Kuske
2011 J jnl
Modeling production networks with discrete processes by means of communities of autonomous units.
Logist. Res.
Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
2010 — conf
Application of bio-inspired data processing in intelligent transportation systems.
IEEE Conf. of Intelligent Systems
Amir Jabbari, Hans-Jörg Kreowski, Walter Lang
2010 — conf
Autonomous Units and Their Semantics - The Concurrent Case.
Graph Transformations and Model-Driven Engineering
Hans-Jörg Kreowski, Sabine Kuske
2010 — conf
Combining Graph Transformation and Algebraic Specification into Model Transformation.
WADT
Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
2010 B conf
Graph Transformation Units Guided by a SAT Solver.
ICGT
Hans-Jörg Kreowski, Sabine Kuske, Robert Wille
2010 J jnl
Stepping from Graph Transformation Units to Model Transformation Units.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
2009 — conf
Autonomous Units to Model Games.
GI Jahrestagung
Hans-Jörg Kreowski, Sabine Kuske, Hauke Tönnies
2009 J jnl
Autonomous Units to Model Interacting Sequential and Parallel Processes.
Fundam. Informaticae
Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske
2009 J jnl
Towards an integrated graph-based semantics for UML.
Softw. Syst. Model.
Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann
2008 — ed.
Dynamics in Logistics, First International Conference, LDIC 2007, Bremen, Germany, August 2007, Proceedings.
LDIC
Hans-Jörg Kreowski, Bernd Scholz-Reiter, Hans-Dietrich Haasis
2008 B conf
Graph Multiset Transformation as a Framework for Massively Parallel Computation.
ICGT
Hans-Jörg Kreowski, Sabine Kuske
2008 — conf
Graph Transformation Units - An Overview.
Concurrency, Graphs and Models
Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg
2007 — conf
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing.
AGTIVE
Hans-Jörg Kreowski, Sabine Kuske
2006 — conf
Autonomous Units and Their Semantics - The Parallel Case.
WADT
Hans-Jörg Kreowski, Sabine Kuske
2006 B conf
Autonomous Units and Their Semantics - The Sequential Case.
ICGT
Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske
2006 C conf
Contextual Hypergraph Grammars - A New Approach to the Generation of Hypergraph Languages.
Developments in Language Theory
Adrian-Horia Dediu, Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Benedek Nagy
2006 — ch.
Some Essentials of Graph Transformation.
Recent Advances in Formal Languages and Applications
Hans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske
2005 J jnl
Abstract hierarchical graph transformation.
Math. Struct. Comput. Sci.
Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske
2005 — ed.
Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday
Formal Methods in Software and Systems Modeling
Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
2005 — conf
Loose Semantics of Petri Nets.
Formal Methods in Software and Systems Modeling
Julia Padberg, Hans-Jörg Kreowski
2005 — conf
Main Concepts of Networks of Transformation Units with Interlinking Semantics.
Formal Methods in Software and Systems Modeling
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg
2005 — conf
Modelling Transport Networks by Means of Autonomous Units.
OR
Karsten Hölscher, Peter Knirsch, Hans-Jörg Kreowski
2004 — conf
Semantics of Visual Models in a Rule-based Setting.
FoVMT
Hans-Jörg Kreowski, Karsten Hölscher, Peter Knirsch
2004 B conf
Typing of Graph Transformation Units.
ICGT
Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske
2003 J jnl
Computing Raster Images from Grid Picture Grammars.
J. Autom. Lang. Comb.
Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski
2003 J jnl
Criteria to disprove context freeness of collage languages.
Theor. Comput. Sci.
Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire
2003 J jnl
Preface.
Fundam. Informaticae
Andrea Corradini, Hans-Jörg Kreowski
2003 J jnl
Table-Driven and Context-Sensitive Collage Languages.
J. Autom. Lang. Comb.
Frank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski
2003 — conf
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams.
AGTIVE
Björn Cordes, Karsten Hölscher, Hans-Jörg Kreowski
2002 — conf
A Sight-seeing Tour of the Computational Landscape of Graph Transformation.
Formal and Natural Computing
Hans-Jörg Kreowski
2002 B conf
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation.
IFM
Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski
2002 — conf
Approach-Independent Structuring Concepts for Rule-Based Systems.
WADT
Hans-Jörg Kreowski, Sabine Kuske
2002 B ed.
Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
ICGT
Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
2001 — ch.
GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation.
Current Trends in Theoretical Computer Science
Andrea Corradini, Hans-Jörg Kreowski
2001 — conf
GRACE as a unifying approach to graph-transformation-based specification.
UNIGRA
Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske
2001 — conf
Reading words in graphs generated by hyperedge replacement.
Where Mathematics, Computer Science, Linguistics and Biology Meet
Frank Drewes, Hans-Jörg Kreowski
2001 — conf
Structured Modeling with GRACE.
GETGRATS Closing Workshop
Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske
2000 C conf
Computing Raster Images from Grid Picture Grammars.
CIAA
Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski
2000 — ed.
Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers
TAGT
Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg
2000 — conf
Workshop über Rigorose Entwicklung software-intensiver Systeme.
GI Jahrestagung
Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif
1999 — conf
A Note on Modeling Agent Systems by Graph Transformation.
AGTIVE
Peter Knirsch, Hans-Jörg Kreowski
1999 — book
Algebraic Foundations of Systems Specification
Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
1999 B conf
Correct Translation of Mutually Recursive Function Systems into TOL Collage Grammars.
FCT
Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Stefan Taubenberger
1999 — conf
Graph Transformation Modules and Their Composition.
AGTIVE
Frank Drewes, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske
1999 J jnl
Graph Transformation Units with Interleaving Semantics.
Formal Aspects Comput.
Hans-Jörg Kreowski, Sabine Kuske
1999 J jnl
Graph Transformation for Specification and Programming.
Sci. Comput. Program.
Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer
1999 — ch.
Refinement and Implementation.
Algebraic Foundations of Systems Specification
Hartmut Ehrig, Hans-Jörg Kreowski
1999 C conf
Table-driven and context-sensitive collage languages.
Developments in Language Theory
Frank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski
1998 — conf
Redundancy and Subsumption in High-Level Replacement Systems.
TAGT
Hans-Jörg Kreowski, Gabriel Valiente
1997 B conf
Criteria to Disprove Context-Freeness of Collage Languages.
FCT
Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire
1997 — conf
Frauen auf dem Weg, das Image der Informatik zu verändern.
GI Jahrestagung
Hans-Jörg Kreowski, Veronika Oechtering, Ingrid Rügge
1997 J jnl
GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation.
Bull. EATCS
Andrea Corradini, Hans-Jörg Kreowski
1997 — ch.
Hyperedge Replacement, Graph Grammars.
Handbook of Graph Grammars
Frank Drewes, Hans-Jörg Kreowski, Annegret Habel
1997 J jnl
Nested Graph Transformation Units.
Int. J. Softw. Eng. Knowl. Eng.
Hans-Jörg Kreowski, Sabine Kuske, Andy Schürr
1996 J jnl
(Un-)Decidability of Geometric Properties of Pictures Generated by Collage Grammars.
Fundam. Informaticae
Frank Drewes, Hans-Jörg Kreowski
1995 J jnl
Correctness of actualization for parameterized implementation concepts based on constructors and abstractors.
Bull. EATCS
Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas
1995 J jnl
Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras.
Math. Struct. Comput. Sci.
Hans-Jörg Kreowski, Till Mossakowski
1995 J jnl
Generating Self-Affine Fractals by Collage Grammars.
Theor. Comput. Sci.
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger
1995 — ed.
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]
FIFF Jahrestagung
Hans-Jörg Kreowski, Thomas Risse, Andreas Spillner, Ralf E. Streibl, Karin Vosseberg
1995 — conf
Specification and programming (by graph transformation).
SEGRAGRA
Hans-Jörg Kreowski
1994 — conf
An Axiomatic Approach to Canonical Derivations.
IFIP Congress (1)
Hans-Jörg Kreowski
1994 — conf
On the Interleaving Sematics of Transformation Units - A Step into GRACE.
TAGT
Hans-Jörg Kreowski, Sabine Kuske
1993 J jnl
A Comparison of Compatible, Finite, and Inductive Graph Properties.
Theor. Comput. Sci.
Annegret Habel, Hans-Jörg Kreowski, Clemens Lautemann
1993 J jnl
A scetch of Collage Grammars.
Bull. EATCS
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger
1993 — conf
Canonical Derivaitons for High-Level Replacement Systems.
Dagstuhl Seminar on Graph Transformations in Computer Science
Hartmut Ehrig, Hans-Jörg Kreowski, Gabriele Taentzer
1993 B conf
Five Facets of Hyperedge Replacement Beyond Context-Freeness.
FCT
Hans-Jörg Kreowski
1993 C conf
Generating Self-Affine Fractals by Collage Grammars.
Developments in Language Theory
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger
1993 — conf
Hyperedge Replacement with Rendevous.
TAPSOFT
N. Gnanamalar David, Frank Drewes, Hans-Jörg Kreowski
1993 — ch.
Some initial sections of the Algebraic Specification Tale.
Current Trends in Theoretical Computer Science
Hans-Jörg Kreowski
1992 — conf
Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen.
Testen, Analysieren und Verifizieren von Software
Hans-Jörg Kreowski
1992 — conf
Eine konkrete Utopie von korrekter Software.
Informatik zwischen Wissenschaft und Gesellschaft
Hans-Jörg Kreowski
1992 — ed.
Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung an Reinhold Franck
Informatik zwischen Wissenschaft und Gesellschaft
Hans-Jörg Kreowski
1991 — book
Algebraic System Specification and Development - A Survey and Annotated Bibliography
Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella
1991 J jnl
Aspects of Systems of Logic Programming.
Bull. EATCS
Hans-Jörg Kreowski
1991 J jnl
Decidable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement.
Theor. Comput. Sci.
Annegret Habel, Hans-Jörg Kreowski, Walter Vogler
1991 — ed.
Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings
Graph-Grammars and Their Application to Computer Science
Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
1991 J jnl
Jungle evaluation.
Fundam. Informaticae
Annegret Habel, Hans-Jörg Kreowski, Detlef Plump
1991 — book
Logische Grundlagen der Informatik.
Hans-Jörg Kreowski
1991 J jnl
Parallelism and Concurrency in High-Level Replacement Systems.
Math. Struct. Comput. Sci.
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
1990 — conf
A Note on Hyperedge Replacement.
Graph-Grammars and Their Application to Computer Science
Frank Drewes, Hans-Jörg Kreowski
1990 — conf
Applied Graph Transformation.
Graph-Grammars and Their Application to Computer Science
Hans-Jörg Kreowski
1990 — conf
Collage Grammars.
Graph-Grammars and Their Application to Computer Science
Annegret Habel, Hans-Jörg Kreowski
1990 — conf
From Graph Grammars to High Level Replacement Systems.
Graph-Grammars and Their Application to Computer Science
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
1990 — conf
Grammatical Inference Based on Hyperedge Replacement.
Graph-Grammars and Their Application to Computer Science
Eric Jeltsch, Hans-Jörg Kreowski
1990 J jnl
On structured graph grammars. I.
Inf. Sci.
Hans-Jörg Kreowski, Grzegorz Rozenberg
1990 J jnl
On structured graph grammars. II.
Inf. Sci.
Hans-Jörg Kreowski, Grzegorz Rozenberg
1990 A conf
Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results.
STACS
Hans-Jörg Kreowski, Zhenyu Qian
1989 — ed.
Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]
Categorial Methods in Computer Science
Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß
1989 — conf
Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar.
TAPSOFT, Vol.1
Annegret Habel, Hans-Jörg Kreowski, Walter Vogler
1989 B conf
Filtering Hyperedge-Replacement Through Compatible Properties.
WG
Annegret Habel, Hans-Jörg Kreowski
1989 J jnl
Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages.
Acta Informatica
Annegret Habel, Hans-Jörg Kreowski, Walter Vogler
1988 — conf
Colimits as Parameterized Data Types.
Categorial Methods in Computer Science
Hans-Jörg Kreowski
1988 — conf
Complexity in Algebraic Specifications: An Upper Bound Result.
ADT
Hans-Jörg Kreowski
1987 J jnl
Characteristics of Graph Languages Generated by Edge Replacement.
Theor. Comput. Sci.
Annegret Habel, Hans-Jörg Kreowski
1987 J jnl
Complativle graph properties are decidable for hypergraph replacement graph languages.
Bull. EATCS
Annegret Habel, Hans-Jörg Kreowski, Walter Vogler
1987 — conf
Jungle Evaluation.
ADT
Annegret Habel, Hans-Jörg Kreowski, Detlef Plump
1987 A* conf
Partial Algebras Flow From Algebraic Specifications.
ICALP
Hans-Jörg Kreowski
1987 B conf
Pretty Patterns Produced by Hyperedge Replacement.
WG
Annegret Habel, Hans-Jörg Kreowski
1987 A conf
Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement.
STACS
Annegret Habel, Hans-Jörg Kreowski
1986 — conf
Based Algebras.
ADT
Hans-Jörg Kreowski
1986 — conf
Informatik und Militär: Zusammen in den Abgrund?
FIFF Jahrestagung
Hans-Jörg Kreowski
1986 — conf
Is parallelism already concurrency? Part 1: Derivations in graph grammars.
Graph-Grammars and Their Application to Computer Science
Hans-Jörg Kreowski
1986 — conf
Is parallelism already concurrency? Part 2: Non-sequential processes in graph grammars.
Graph-Grammars and Their Application to Computer Science
Hans-Jörg Kreowski, Anne Wilharm
1986 — conf
May we introduce to you: hyperedge replacement.
Graph-Grammars and Their Application to Computer Science
Annegret Habel, Hans-Jörg Kreowski
1986 J jnl
Net Processes Correspond to Derivation Processes in Graph Grammars.
Theor. Comput. Sci.
Hans-Jörg Kreowski, Anne Wilharm
1985 — ed.
Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, Germany, November 13-16, 1984, Selected Papers
ADT
Hans-Jörg Kreowski
1984 J jnl
Note on Node-Rewriting Graph Grammars.
Inf. Process. Lett.
Hans-Jörg Kreowski, Grzegorz Rozenberg
1984 J jnl
Parameter Passing in Algebraic Specification Languages.
Theor. Comput. Sci.
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1983 J jnl
Compatibility of Parameter Passing and Implementation of Parameterized Data Types.
Theor. Comput. Sci.
Hartmut Ehrig, Hans-Jörg Kreowski
1983 B conf
Graph Grammar Derivation Processes.
WG
Hans-Jörg Kreowski
1983 — conf
Specification of Partial Functions - Only a Tentative Suggestion.
ADT
Hans-Jörg Kreowski
1983 — conf
Suggestions on the Interpretation of Algebraic Specifications.
ADT
Klaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin
1982 J jnl
Algebraic Implementation of Abstract Data Types.
Theor. Comput. Sci.
Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
1982 — conf
An Algebraic Implementation Concept for Abstract Data Types.
ADT
Hans-Jörg Kreowski
1982 B conf
Concurrency of Node-Label-Controlled Graph Transformations.
WG
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg, Hartmut Ehrig
1982 — conf
On context-free gragh languages generated by edge replacement.
Graph-Grammars and Their Application to Computer Science
Annegret Habel, Hans-Jörg Kreowski
1981 — conf
KWIC-index generation.
Program Specification
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
1981 B conf
On the Constructive Description of Graph Languages Accepted by Finite Automata.
MFCS
Hans-Jörg Kreowski, Grzegorz Rozenberg
1981 — conf
Parameter Passing in Algebraic Specification Languages.
Program Specification
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1981 J jnl
Transformations of Structures: an Algebraic Approach.
Math. Syst. Theory
Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
1980 — conf
A Case Study of Abstract Implementations and Their Correctness.
Symposium on Programming
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
1980 B conf
A Comparison Between Petri-Nets and Graph Grammars.
WG
Hans-Jörg Kreowski
1980 A* conf
Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness.
ICALP
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
1980 C conf
Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie.
Software Engineering
Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski
1980 C conf
Algebraische Spezifikation von Softwaresystemen.
Software Engineering
Hans-Jörg Kreowski
1980 J jnl
Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems.
Inf. Syst.
Hartmut Ehrig, Hans-Jörg Kreowski
1980 B conf
Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems.
MFCS
Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
1980 A* conf
Parameterized Data Types in Algebraic Specification Languages (Short Version).
ICALP
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1980 C conf
Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation?
Software Engineering
Hans-Jörg Kreowski
1979 J jnl
Algebraic implementation of abstract data types: an announcement.
SIGACT News
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
1979 — conf
Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme.
Formale Modelle für Informationssysteme
Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber
1978 — conf
A Pumping Lemma for Context-Free Graph Languages.
Graph-Grammars and Their Application to Computer Science and Biology
Hans-Jörg Kreowski
1978 A* conf
Algebraic Specification Schemes for Data Base Systems.
VLDB
Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber
1978 B conf
Deriving Structures from Structures.
MFCS
Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
1978 A* conf
Stepwise Specification and Implementation of Abstract Data Types.
ICALP
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
1977 B conf
Transformationas of Derivation Sequences in Graph Grammars.
FCT
Hans-Jörg Kreowski
1976 B conf
Parallelism of Manipulations in Multidimensional Information Structures.
MFCS
Hartmut Ehrig, Hans-Jörg Kreowski
1976 J jnl
Systematic Approach to Reduction and Minimization in Automata and System Theory.
J. Comput. Syst. Sci.
Hartmut Ehrig, Hans-Jörg Kreowski
1975 — conf
Parallel Graph Grammers.
Automata, Languages, Development
Hartmut Ehrig, Hans-Jörg Kreowski
1974 — conf
Power and initial automata in pseudoclosed categories.
Category Theory Applied to Computation and Control
Hartmut Ehrig, Hans-Jörg Kreowski
1974 — book
Universal theory of automata - a categorial approach.
Hartmut Ehrig, Klaus-Dieter Kiermeier, Hans-Jörg Kreowski, Wolfgang Kühnel