default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHans-Jörg Kreowski
Person information
- affiliation: University of Bremen, Germany
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j49]Hans-Jörg Kreowski, Aaron Lye:
Modeling NP-problems with families of extended graph-based reaction systems. Nat. Comput. 23(2): 309-322 (2024)- [c108]Hans-Jörg Kreowski
, Aaron Lye, Aljoscha Windhorst:
Extension and Restriction of Derivations in Adhesive Categories. ICGT 2024: 59-76 - 2023
- [c107]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst:
Moving a Derivation Along a Derivation Preserves the Spine. ICGT 2023: 64-80 - [i1]Hans-Jörg Kreowski, Aaron Lye, Aljoscha Windhorst:
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive High-level Replacement Systems. CoRR abs/2312.13510 (2023) - 2022
- [j48]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Transformation of variants of Petri nets into context-dependent fusion grammars. Inf. Comput. 286: 104780 (2022) - [c106]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst:
A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. GCM@STAF 2022: 76-93 - 2021
- [j47]Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske:
A Graph-Transformational Approach to Swarm Computation. Entropy 23(4): 453 (2021) - [j46]Hans-Jörg Kreowski, Aaron Lye:
A categorial approach to reaction systems: First steps. Theor. Comput. Sci. 881: 111-128 (2021) - [c105]Hans-Jörg Kreowski, Aaron Lye:
A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles. ICGT 2021: 203-220 - 2020
- [j45]Hans-Jörg Kreowski, Sabine Kuske:
Modeling and Analyzing Graph Algorithms by Means of Graph Transformation Units. J. Object Technol. 19(3): 3:1-14 (2020) - [c104]Hans-Jörg Kreowski, Aaron Lye:
Graph Surfing in Reaction Systems from a Categorial Perspective. GCM@STAF 2020: 71-87 - [e16]Michael Freitag, Aseem Kinra, Herbert Kotzab, Hans-Jörg Kreowski, Klaus-Dieter Thoben:
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. Communications in Computer and Information Science 1278, Springer 2020, ISBN 978-3-030-64350-8 [contents]
2010 – 2019
- 2019
- [j44]Hans-Jörg Kreowski, Aaron Lye:
Canonical mixed-polarity multi-target Toffoli circuits: Shift and removal. Inf. Comput. 269 (2019) - [j43]Hans-Jörg Kreowski, Grzegorz Rozenberg:
Graph transformation through graph surfing in reaction systems. J. Log. Algebraic Methods Program. 109 (2019) - [c103]Hans-Jörg Kreowski:
Können Gemeinschaften autonomer Einheiten beim Modellieren digitaler Ökosysteme helfen? 40 Years EMISA 2019: 143-146 - [c102]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Relating DNA Computing and Splitting/Fusion Grammars. ICGT 2019: 159-174 - [c101]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: 453-468 - [c100]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Transformation of Petri Nets into Context-Dependent Fusion Grammars. LATA 2019: 246-258 - 2018
- [c99]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
A Simple Notion of Parallel Graph Transformation and Its Perspectives. Graph Transformation, Specifications, and Nets 2018: 61-82 - [c98]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars. ICGT 2018: 3-19 - [c97]Hans-Jörg Kreowski, Grzegorz Rozenberg:
Graph Surfing by Reaction Systems. ICGT 2018: 45-62 - 2017
- [c96]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Fusion Grammars: A Novel Approach to the Generation of Graph Languages. ICGT 2017: 90-105 - 2016
- [j42]Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg:
Hartmut Ehrig (1944-2016). Bull. EATCS 119 (2016) - [j41]Larbi Abdenebaoui, Hans-Jörg Kreowski:
Modeling of decentralized processes in dynamic logistic networks by means of graph-transformational swarms. Logist. Res. 9(1): 20:1-20:13 (2016) - [c95]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth:
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. ICGT 2016: 236-251 - [c94]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:
Canonical Multi-target Toffoli Circuits. LATA 2016: 603-616 - [c93]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: 425-432 - [c92]Larbi Abdenebaoui, Hans-Jörg Kreowski:
Decentralized Routing of Automated Guided Vehicles by Means of Graph-Transformational Swarms. LDIC 2016: 457-467 - 2015
- [c91]Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske:
Graph-Transformational Swarms with Stationary Members. DoCEIS 2015: 137-144 - 2014
- [c90]Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer:
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. ICGT 2014: 237-252 - [c89]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: 115-126 - 2013
- [j40]Hans-Jörg Kreowski, Sabine Kuske:
Graph Tuple Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013) - [c88]Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske:
Graph-transformational swarms. NCMA 2013: 35-50 - [e15]Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben:
Dynamics in Logistics, Third International Conference, LDIC 2012, Bremen, Germany, February 27 - March 1, 2012, Proceedings. Lecture Notes in Logistics, Springer 2013, ISBN 978-3-642-35965-1 [contents] - 2012
- [j39]Hans-Jörg Kreowski, Sabine Kuske:
Polynomial graph transformability. Theor. Comput. Sci. 429: 193-201 (2012) - [e14]Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg:
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 [contents] - [e13]Till Mossakowski, Hans-Jörg Kreowski:
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 [contents] - 2011
- [j38]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): 159-175 (2011) - [j37]Hans-Jörg Kreowski, Sabine Kuske:
Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing. Nat. Comput. 10(2): 961-986 (2011) - [c87]Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth:
From Graph Transformation Units via MiniSat to GrGen.NET. AGTIVE 2011: 153-168 - [e12]Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben:
Dynamics in Logistics, Second International Conference, LDIC 2009, Bremen, Germany, August 17-21, 2009, Proceedings. Springer 2011, ISBN 978-3-642-11995-8 [contents] - 2010
- [j36]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) - [c86]Hans-Jörg Kreowski, Sabine Kuske:
Autonomous Units and Their Semantics - The Concurrent Case. Graph Transformations and Model-Driven Engineering 2010: 102-120 - [c85]Hans-Jörg Kreowski, Sabine Kuske, Robert Wille:
Graph Transformation Units Guided by a SAT Solver. ICGT 2010: 27-42 - [c84]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 - [c83]Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth:
Combining Graph Transformation and Algebraic Specification into Model Transformation. WADT 2010: 193-208
2000 – 2009
- 2009
- [j35]Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske:
Autonomous Units to Model Interacting Sequential and Parallel Processes. Fundam. Informaticae 92(3): 233-257 (2009) - [j34]Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann:
Towards an integrated graph-based semantics for UML. Softw. Syst. Model. 8(3): 403-422 (2009) - [c82]Hans-Jörg Kreowski, Sabine Kuske, Hauke Tönnies:
Autonomous Units to Model Games. GI Jahrestagung 2009: 3465-3472 - 2008
- [c81]Hans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg:
Graph Transformation Units - An Overview. Concurrency, Graphs and Models 2008: 57-75 - [c80]Hans-Jörg Kreowski, Sabine Kuske:
Graph Multiset Transformation as a Framework for Massively Parallel Computation. ICGT 2008: 351-365 - [e11]Hans-Jörg Kreowski, Bernd Scholz-Reiter, Hans-Dietrich Haasis:
Dynamics in Logistics, First International Conference, LDIC 2007, Bremen, Germany, August 2007, Proceedings. Springer 2008, ISBN 978-3-540-76861-6 [contents] - 2007
- [c79]Hans-Jörg Kreowski, Sabine Kuske:
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing. AGTIVE 2007: 281-296 - 2006
- [c78]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 - [c77]Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske:
Autonomous Units and Their Semantics - The Sequential Case. ICGT 2006: 245-259 - [c76]Hans-Jörg Kreowski, Sabine Kuske:
Autonomous Units and Their Semantics - The Parallel Case. WADT 2006: 56-73 - [p5]Hans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske:
Some Essentials of Graph Transformation. Recent Advances in Formal Languages and Applications 2006: 229-254 - 2005
- [j33]Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske:
Abstract hierarchical graph transformation. Math. Struct. Comput. Sci. 15(4): 773-819 (2005) - [c75]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 - [c74]Julia Padberg, Hans-Jörg Kreowski:
Loose Semantics of Petri Nets. Formal Methods in Software and Systems Modeling 2005: 370-384 - [c73]Karsten Hölscher, Peter Knirsch, Hans-Jörg Kreowski:
Modelling Transport Networks by Means of Autonomous Units. OR 2005: 399-404 - [e10]Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer:
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 [contents] - 2004
- [c72]Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske:
Typing of Graph Transformation Units. ICGT 2004: 112-127 - [c71]Hans-Jörg Kreowski, Karsten Hölscher, Peter Knirsch:
Semantics of Visual Models in a Rule-based Setting. FoVMT 2004: 75-88 - 2003
- [j32]Andrea Corradini, Hans-Jörg Kreowski:
Preface. Fundam. Informaticae 58(1) (2003) - [j31]Frank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski:
Table-Driven and Context-Sensitive Collage Languages. J. Autom. Lang. Comb. 8(1): 5-24 (2003) - [j30]Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski:
Computing Raster Images from Grid Picture Grammars. J. Autom. Lang. Comb. 8(3): 499-519 (2003) - [j29]Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire:
Criteria to disprove context freeness of collage languages. Theor. Comput. Sci. 290(3): 1445-1458 (2003) - [c70]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 - 2002
- [c69]Hans-Jörg Kreowski:
A Sight-seeing Tour of the Computational Landscape of Graph Transformation. Formal and Natural Computing 2002: 119-137 - [c68]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 - [c67]Hans-Jörg Kreowski, Sabine Kuske:
Approach-Independent Structuring Concepts for Rule-Based Systems. WADT 2002: 299-311 - [e9]Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg:
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 [contents] - 2001
- [c66]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 - [c65]Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske:
GRACE as a unifying approach to graph-transformation-based specification. UNIGRA 2001: 1-15 - [c64]Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske:
Structured Modeling with GRACE. GETGRATS Closing Workshop 2001: 233-245 - [p4]Andrea Corradini, Hans-Jörg Kreowski:
GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Current Trends in Theoretical Computer Science 2001: 164-170 - 2000
- [c63]Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif:
Workshop über Rigorose Entwicklung software-intensiver Systeme. GI Jahrestagung 2000: 465-466 - [c62]Frank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski:
Computing Raster Images from Grid Picture Grammars. CIAA 2000: 113-121 - [e8]Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg:
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 [contents]
1990 – 1999
- 1999
- [j28]Hans-Jörg Kreowski, Sabine Kuske:
Graph Transformation Units with Interleaving Semantics. Formal Aspects Comput. 11(6): 690-723 (1999) - [j27]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) - [c61]Frank Drewes, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske:
Graph Transformation Modules and Their Composition. AGTIVE 1999: 15-30 - [c60]Peter Knirsch, Hans-Jörg Kreowski:
A Note on Modeling Agent Systems by Graph Transformation. AGTIVE 1999: 79-86 - [c59]Frank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski:
Table-driven and context-sensitive collage languages. Developments in Language Theory 1999: 326-337 - [c58]Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Stefan Taubenberger:
Correct Translation of Mutually Recursive Function Systems into TOL Collage Grammars. FCT 1999: 350-361 - [p3]Hartmut Ehrig, Hans-Jörg Kreowski:
Refinement and Implementation. Algebraic Foundations of Systems Specification 1999: 201-242 - [e7]Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner:
Algebraic Foundations of Systems Specification. IFIP State-of-the-Art Reports, Springer 1999, ISBN 978-3-642-64151-0 [contents] - 1998
- [c57]Hans-Jörg Kreowski, Gabriel Valiente:
Redundancy and Subsumption in High-Level Replacement Systems. TAGT 1998: 215-227 - 1997
- [j26]Andrea Corradini, Hans-Jörg Kreowski:
GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Bull. EATCS 63 (1997) - [j25]Hans-Jörg Kreowski, Sabine Kuske, Andy Schürr:
Nested Graph Transformation Units. Int. J. Softw. Eng. Knowl. Eng. 7(4): 479-502 (1997) - [c56]Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire:
Criteria to Disprove Context-Freeness of Collage Languages. FCT 1997: 169-178 - [c55]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 - [p2]Frank Drewes, Hans-Jörg Kreowski, Annegret Habel:
Hyperedge Replacement, Graph Grammars. Handbook of Graph Grammars 1997: 95-162 - 1996
- [j24]Frank Drewes, Hans-Jörg Kreowski:
(Un-)Decidability of Geometric Properties of Pictures Generated by Collage Grammars. Fundam. Informaticae 25(3): 295-325 (1996) - 1995
- [j23]Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas:
Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. Bull. EATCS 56 (1995) - [j22]Hans-Jörg Kreowski, Till Mossakowski:
Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. Math. Struct. Comput. Sci. 5(2): 189-215 (1995) - [j21]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) - [c54]Hans-Jörg Kreowski:
Specification and programming (by graph transformation). SEGRAGRA 1995: 187-190 - [e6]Hans-Jörg Kreowski, Thomas Risse, Andreas Spillner, Ralf E. Streibl, Karin Vosseberg:
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 [contents] - 1994
- [c53]Hans-Jörg Kreowski:
An Axiomatic Approach to Canonical Derivations. IFIP Congress (1) 1994: 348-353 - [c52]Hans-Jörg Kreowski, Sabine Kuske:
On the Interleaving Sematics of Transformation Units - A Step into GRACE. TAGT 1994: 89-106 - 1993
- [j20]Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger:
A scetch of Collage Grammars. Bull. EATCS 50: 209-219 (1993) - [j19]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) - [c51]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 - [c50]Frank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger:
Generating Self-Affine Fractals by Collage Grammars. Developments in Language Theory 1993: 278-289 - [c49]Hans-Jörg Kreowski:
Five Facets of Hyperedge Replacement Beyond Context-Freeness. FCT 1993: 69-86 - [c48]N. Gnanamalar David, Frank Drewes, Hans-Jörg Kreowski:
Hyperedge Replacement with Rendevous. TAPSOFT 1993: 167-181 - [p1]Hans-Jörg Kreowski:
Some initial sections of the Algebraic Specification Tale. Current Trends in Theoretical Computer Science 1993: 54-75 - 1992
- [c47]Hans-Jörg Kreowski:
Eine konkrete Utopie von korrekter Software. Informatik zwischen Wissenschaft und Gesellschaft 1992: 108-124 - [c46]Hans-Jörg Kreowski:
Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen. Testen, Analysieren und Verifizieren von Software 1992: 130-142 - [e5]Hans-Jörg Kreowski:
Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung an Reinhold Franck. Informatik-Fachberichte 309, Springer 1992, ISBN 3-540-55389-4 [contents] - 1991
- [b2]Hans-Jörg Kreowski:
Logische Grundlagen der Informatik. Handbuch der Informatik 1.1, Oldenbourg 1991, ISBN 978-3-486-20773-6, pp. 1-165 - [j18]Hans-Jörg Kreowski:
Aspects of Systems of Logic Programming. Bull. EATCS 44: 144-146 (1991) - [j17]Annegret Habel, Hans-Jörg Kreowski, Detlef Plump:
Jungle evaluation. Fundam. Informaticae 15(1): 37-60 (1991) - [j16]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): 361-404 (1991) - [j15]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) - [e4]Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella:
Algebraic System Specification and Development - A Survey and Annotated Bibliography. Lecture Notes in Computer Science 501, Springer 1991, ISBN 3-540-54060-1 - [e3]Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg:
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 [contents] - 1990
- [j14]Hans-Jörg Kreowski, Grzegorz Rozenberg:
On structured graph grammars. I. Inf. Sci. 52(2): 185-210 (1990) - [j13]Hans-Jörg Kreowski, Grzegorz Rozenberg:
On structured graph grammars. II. Inf. Sci. 52(3): 221-246 (1990) - [c45]Frank Drewes, Hans-Jörg Kreowski:
A Note on Hyperedge Replacement. Graph-Grammars and Their Application to Computer Science 1990: 1-12 - [c44]Hans-Jörg Kreowski:
Applied Graph Transformation. Graph-Grammars and Their Application to Computer Science 1990: 51-52 - [c43]