Hans-Jörg Kreowski

ORCID

Publication Activity (10 Years)

Years Active: 1974-2024
Publications (10 Years): 27

Top Venues

Publications

Hans-Jörg Kreowski, Aaron Lye
Modeling NP-problems with families of extended graph-based reaction systems. Nat. Comput. 23 (2) (2024)
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
Extension and Restriction of Derivations in Adhesive Categories. ICGT (2024)
Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive High-level Replacement Systems. CoRR (2023)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst
Moving a Derivation Along a Derivation Preserves the Spine. ICGT (2023)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst
A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. CoRR (2022)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Transformation of variants of Petri nets into context-dependent fusion grammars. Inf. Comput. 286 (2022)
Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske
A Graph-Transformational Approach to Swarm Computation. Entropy 23 (4) (2021)
Hans-Jörg Kreowski, Aaron Lye
A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles. ICGT (2021)
Hans-Jörg Kreowski, Aaron Lye
A categorial approach to reaction systems: First steps. Theor. Comput. Sci. 881 (2021)
Hans-Jörg Kreowski, Aaron Lye
Graph Surfing in Reaction Systems from a Categorial Perspective. GCM@STAF (2020)
Hans-Jörg Kreowski, Sabine Kuske
Modeling and Analyzing Graph Algorithms by Means of Graph Transformation Units. J. Object Technol. 19 (3) (2020)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Transformation of Petri Nets into Context-Dependent Fusion Grammars. LATA (2019)
Wolfgang Hofkirchner, José María Díaz Nafría, Peter Crowley, Wilfried Graf, Gudrun Kramer, Hans-Jörg Kreowski, Werner Wintersteiner
ICTs Connecting Global Citizens, Global Dialogue and Global Governance. A Call for Needful Designs. ICAI (2019)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Relating DNA Computing and Splitting/Fusion Grammars. ICGT (2019)
Hans-Jörg Kreowski, Grzegorz Rozenberg
Graph transformation through graph surfing in reaction systems. J. Log. Algebraic Methods Program. 109 (2019)
Hans-Jörg Kreowski, Aaron Lye
Canonical mixed-polarity multi-target Toffoli circuits: Shift and removal. Inf. Comput. 269 (2019)
Hans-Jörg Kreowski
Können Gemeinschaften autonomer Einheiten beim Modellieren digitaler Ökosysteme helfen? 40 Years EMISA (2019)
Hans-Jörg Kreowski, Grzegorz Rozenberg
Graph Surfing by Reaction Systems. ICGT (2018)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars. ICGT (2018)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
A Simple Notion of Parallel Graph Transformation and Its Perspectives. Graph Transformation, Specifications, and Nets (2018)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Fusion Grammars: A Novel Approach to the Generation of Graph Languages. ICGT (2017)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. ICGT (2016)
Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg
Hartmut Ehrig (1944-2016). Bull. EATCS 119 (2016)
Michael Freitag, Martin Gogolla, Hans-Jörg Kreowski, Michael Lütjen, Robert Porzel, Klaus-Dieter Thoben
Toward a Unified Logistics Modeling Language: Constraints and Objectives. LDIC (2016)
Larbi Abdenebaoui, Hans-Jörg Kreowski
Decentralized Routing of Automated Guided Vehicles by Means of Graph-Transformational Swarms. LDIC (2016)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
Canonical Multi-target Toffoli Circuits. LATA (2016)
Larbi Abdenebaoui, Hans-Jörg Kreowski
Modeling of decentralized processes in dynamic logistic networks by means of graph-transformational swarms. Logist. Res. 9 (1) (2016)
Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske
Graph-Transformational Swarms with Stationary Members. DoCEIS (2015)
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. LDIC (2014)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. ICGT (2014)
Hans-Jörg Kreowski, Sabine Kuske
Graph Tuple Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013)
Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske
Graph-transformational swarms. NCMA (2013)
Hans-Jörg Kreowski, Sabine Kuske
Polynomial graph transformability. Theor. Comput. Sci. 429 (2012)
Hans-Jörg Kreowski, Sabine Kuske
Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing. Nat. Comput. 10 (2) (2011)
Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
From Graph Transformation Units via MiniSat to GrGen.NET. AGTIVE (2011)
Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
Modeling production networks with discrete processes by means of communities of autonomous units. Logist. Res. 3 (2-3) (2011)
Hans-Jörg Kreowski, Sabine Kuske, Robert Wille
Graph Transformation Units Guided by a SAT Solver. ICGT (2010)
Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
Stepping from Graph Transformation Units to Model Transformation Units. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Hans-Jörg Kreowski, Sabine Kuske
Autonomous Units and Their Semantics - The Concurrent Case. Graph Transformations and Model-Driven Engineering (2010)
Amir Jabbari, Hans-Jörg Kreowski, Walter Lang
Application of bio-inspired data processing in intelligent transportation systems. IEEE Conf. of Intelligent Systems (2010)
Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
Combining Graph Transformation and Algebraic Specification into Model Transformation. WADT (2010)
Hans-Jörg Kreowski, Sabine Kuske, Hauke Tönnies
Autonomous Units to Model Games. GI Jahrestagung (2009)
Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske
Autonomous Units to Model Interacting Sequential and Parallel Processes. Fundam. Informaticae 92 (3) (2009)
Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann
Towards an integrated graph-based semantics for UML. Softw. Syst. Model. 8 (3) (2009)
Hans-Jörg Kreowski, Sabine Kuske
Graph Multiset Transformation as a Framework for Massively Parallel Computation. ICGT (2008)
Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg
Graph Transformation Units - An Overview. Concurrency, Graphs and Models (2008)
Hans-Jörg Kreowski, Sabine Kuske
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing. AGTIVE (2007)
Hans-Jörg Kreowski, Karsten Hölscher, Peter Knirsch
Semantics of Visual Models in a Rule-based Setting. Electron. Notes Theor. Comput. Sci. 148 (1) (2006)
Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske
Autonomous Units and Their Semantics - The Sequential Case. ICGT (2006)
Hans-Jörg Kreowski, Sabine Kuske
Autonomous Units and Their Semantics - The Parallel Case. WADT (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)
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)
Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske
Abstract hierarchical graph transformation. Math. Struct. Comput. Sci. 15 (4) (2005)
Julia Padberg, Hans-Jörg Kreowski
Loose Semantics of Petri Nets. Formal Methods in Software and Systems Modeling (2005)
Karsten Hölscher, Peter Knirsch, Hans-Jörg Kreowski
Modelling Transport Networks by Means of Autonomous Units. OR (2005)
Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske
Typing of Graph Transformation Units. ICGT (2004)
Björn Cordes, Karsten Hölscher, Hans-Jörg Kreowski
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams. AGTIVE (2003)
Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire
Criteria to disprove context freeness of collage languages. Theor. Comput. Sci. 290 (3) (2003)
Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski
Computing Raster Images from Grid Picture Grammars. J. Autom. Lang. Comb. 8 (3) (2003)
Andrea Corradini, Hans-Jörg Kreowski
Preface. Fundam. Informaticae 58 (1) (2003)
Frank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski
Table-Driven and Context-Sensitive Collage Languages. J. Autom. Lang. Comb. 8 (1) (2003)
Hans-Jörg Kreowski
A Sight-seeing Tour of the Computational Landscape of Graph Transformation. Formal and Natural Computing (2002)
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)
Hans-Jörg Kreowski, Sabine Kuske
Approach-Independent Structuring Concepts for Rule-Based Systems. WADT (2002)
Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske
Structured Modeling with GRACE. Electron. Notes Theor. Comput. Sci. 51 (2001)
Frank Drewes, Hans-Jörg Kreowski
Reading words in graphs generated by hyperedge replacement. Where Mathematics, Computer Science, Linguistics and Biology Meet (2001)
Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske
GRACE as a unifying approach to graph-transformation-based specification. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif
Workshop über Rigorose Entwicklung software-intensiver Systeme. GI Jahrestagung (2000)
Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski
Computing Raster Images from Grid Picture Grammars. CIAA (2000)
Frank Drewes, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske
Graph Transformation Modules and Their Composition. AGTIVE (1999)
Frank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski
Table-driven and context-sensitive collage languages. Developments in Language Theory (1999)
Hans-Jörg Kreowski, Sabine Kuske
Graph Transformation Units with Interleaving Semantics. Formal Aspects Comput. 11 (6) (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) (1999)
Peter Knirsch, Hans-Jörg Kreowski
A Note on Modeling Agent Systems by Graph Transformation. AGTIVE (1999)
Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Stefan Taubenberger
Correct Translation of Mutually Recursive Function Systems into TOL Collage Grammars. FCT (1999)
Hans-Jörg Kreowski, Gabriel Valiente
Redundancy and Subsumption in High-Level Replacement Systems. TAGT (1998)
Hans-Jörg Kreowski, Veronika Oechtering, Ingrid Rügge
Frauen auf dem Weg, das Image der Informatik zu verändern. GI Jahrestagung (1997)
Hans-Jörg Kreowski, Sabine Kuske, Andy Schürr
Nested Graph Transformation Units. Int. J. Softw. Eng. Knowl. Eng. 7 (4) (1997)
Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire
Criteria to Disprove Context-Freeness of Collage Languages. FCT (1997)
Andrea Corradini, Hans-Jörg Kreowski
GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Bull. EATCS 63 (1997)
Frank Drewes, Hans-Jörg Kreowski
(Un-)Decidability of Geometric Properties of Pictures Generated by Collage Grammars. Fundam. Informaticae 25 (3) (1996)
Hans-Jörg Kreowski, Till Mossakowski
Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. Math. Struct. Comput. Sci. 5 (2) (1995)
Hans-Jörg Kreowski
Specification and programming (by graph transformation). Electron. Notes Theor. Comput. Sci. 2 (1995)
Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas
Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. Bull. EATCS 56 (1995)
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger
Generating Self-Affine Fractals by Collage Grammars. Theor. Comput. Sci. 145 (1&2) (1995)
Hans-Jörg Kreowski
An Axiomatic Approach to Canonical Derivations. IFIP Congress (1) (1994)
Hans-Jörg Kreowski, Sabine Kuske
On the Interleaving Sematics of Transformation Units - A Step into GRACE. TAGT (1994)
Hans-Jörg Kreowski
Five Facets of Hyperedge Replacement Beyond Context-Freeness. FCT (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)
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger
Generating Self-Affine Fractals by Collage Grammars. Developments in Language Theory (1993)
Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger
A scetch of Collage Grammars. Bull. EATCS 50 (1993)
Annegret Habel, Hans-Jörg Kreowski, Clemens Lautemann
A Comparison of Compatible, Finite, and Inductive Graph Properties. Theor. Comput. Sci. 110 (1) (1993)
N. Gnanamalar David, Frank Drewes, Hans-Jörg Kreowski
Hyperedge Replacement with Rendevous. TAPSOFT (1993)
Hans-Jörg Kreowski
Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen. Testen, Analysieren und Verifizieren von Software (1992)
Hans-Jörg Kreowski
Eine konkrete Utopie von korrekter Software. Informatik zwischen Wissenschaft und Gesellschaft (1992)
Annegret Habel, Hans-Jörg Kreowski, Detlef Plump
Jungle evaluation. Fundam. Informaticae 15 (1) (1991)
Hans-Jörg Kreowski
Aspects of Systems of Logic Programming. Bull. EATCS 44 (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) (1991)
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
Parallelism and Concurrency in High-Level Replacement Systems. Math. Struct. Comput. Sci. 1 (3) (1991)
Hans-Jörg Kreowski, Grzegorz Rozenberg
On structured graph grammars. II. Inf. Sci. 52 (3) (1990)

Hans-Jörg Kreowski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hans-Jörg Kreowski