default search action
Hans-Jörg Kreowski
Person information
- affiliation: University of Bremen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 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 - 1974
- [b1]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
Journal Articles
- 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) - 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) - 2021
- [j47]Larbi Abdenebaoui
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) - 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) - 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) - 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) - 2013
- [j40]Hans-Jörg Kreowski, Sabine Kuske:
Graph Tuple Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013) - 2012
- [j39]Hans-Jörg Kreowski, Sabine Kuske:
Polynomial graph transformability. Theor. Comput. Sci. 429: 193-201 (2012) - 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) - 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) - 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) - 2005
- [j33]Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske:
Abstract hierarchical graph transformation. Math. Struct. Comput. Sci. 15(4): 773-819 (2005) - 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) - 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
Graph Transformation for Specification and Programming. Sci. Comput. Program. 34(1): 1-54 (1999) - 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) - 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) - 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) - 1991
- [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) - 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) - 1989
- [j12]Annegret Habel, Hans-Jörg Kreowski, Walter Vogler:
Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages. Acta Informatica 26(7): 657-677 (1989) - 1987
- [j11]Annegret Habel, Hans-Jörg Kreowski, Walter Vogler:
Complativle graph properties are decidable for hypergraph replacement graph languages. Bull. EATCS 33: 55-61 (1987) - [j10]Annegret Habel, Hans-Jörg Kreowski:
Characteristics of Graph Languages Generated by Edge Replacement. Theor. Comput. Sci. 51: 81-115 (1987) - 1986
- [j9]Hans-Jörg Kreowski, Anne Wilharm:
Net Processes Correspond to Derivation Processes in Graph Grammars. Theor. Comput. Sci. 44: 275-305 (1986) - 1984
- [j8]Hans-Jörg Kreowski, Grzegorz Rozenberg:
Note on Node-Rewriting Graph Grammars. Inf. Process. Lett. 18(1): 21-24 (1984) - [j7]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) - 1983
- [j6]Hartmut Ehrig, Hans-Jörg Kreowski:
Compatibility of Parameter Passing and Implementation of Parameterized Data Types. Theor. Comput. Sci. 27: 255-286 (1983) - 1982
- [j5]Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz:
Algebraic Implementation of Abstract Data Types. Theor. Comput. Sci. 20: 209-263 (1982) - 1981
- [j4]Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski:
Transformations of Structures: an Algebraic Approach. Math. Syst. Theory 14: 305-334 (1981) - 1980
- [j3]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) - 1979
- [j2]Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz:
Algebraic implementation of abstract data types: an announcement. SIGACT News 11(2): 25-29 (1979) - 1976
- [j1]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)
Conference and Workshop Papers
- 2024
- [c108]Hans-Jörg Kreowski
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 - 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
- [c105]Hans-Jörg Kreowski, Aaron Lye:
A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles. ICGT 2021: 203-220 - 2020
- [c104]Hans-Jörg Kreowski, Aaron Lye
Graph Surfing in Reaction Systems from a Categorial Perspective. GCM@STAF 2020: 71-87 - 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
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
- [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
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
Toward a Comprehensive Approach to the Transformation of Logistic Models. LDIC 2014: 115-126 - 2013
- [c88]Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske:
Graph-transformational swarms. NCMA 2013: 35-50 - 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 - 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
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 - 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 - 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
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 - 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 - 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
- [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 - 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 - 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 - 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 - 1998
- [c57]Hans-Jörg Kreowski, Gabriel Valiente:
Redundancy and Subsumption in High-Level Replacement Systems. TAGT 1998: 215-227 - 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 - 1995
- [c54]Hans-Jörg Kreowski:
Specification and programming (by graph transformation). SEGRAGRA 1995: 187-190 - 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
- [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 - 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 - 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]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 - [c42]Annegret Habel, Hans-Jörg Kreowski:
Collage Grammars. Graph-Grammars and Their Application to Computer Science 1990: 411-429 - [c41]Eric Jeltsch, Hans-Jörg Kreowski:
Grammatical Inference Based on Hyperedge Replacement. Graph-Grammars and Their Application to Computer Science 1990: 461-474 - [c40]Hans-Jörg Kreowski, Zhenyu Qian:
Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results. STACS 1990: 165-175 - 1989
- [c39]Annegret Habel, Hans-Jörg Kreowski, Walter Vogler:
Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar. TAPSOFT, Vol.1 1989: 275-289 - [c38]Annegret Habel, Hans-Jörg Kreowski:
Filtering Hyperedge-Replacement Through Compatible Properties. WG 1989: 107-120 - 1988
- [c37]Hans-Jörg Kreowski:
Complexity in Algebraic Specifications: An Upper Bound Result. ADT 1988 - [c36]Hans-Jörg Kreowski:
Colimits as Parameterized Data Types. Categorial Methods in Computer Science 1988: 36-49 - 1987
- [c35]Annegret Habel, Hans-Jörg Kreowski, Detlef Plump:
Jungle Evaluation. ADT 1987: 92-112 - [c34]Hans-Jörg Kreowski:
Partial Algebras Flow From Algebraic Specifications. ICALP 1987: 521-530 - [c33]Annegret Habel, Hans-Jörg Kreowski:
Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement. STACS 1987: 207-219 - [c32]Annegret Habel, Hans-Jörg Kreowski:
Pretty Patterns Produced by Hyperedge Replacement. WG 1987: 32-45 - 1986
- [c31]Hans-Jörg Kreowski:
Based Algebras. ADT 1986 - [c30]Hans-Jörg Kreowski:
Informatik und Militär: Zusammen in den Abgrund? FIFF Jahrestagung 1986: 37-42 - [c29]Annegret Habel, Hans-Jörg Kreowski:
May we introduce to you: hyperedge replacement. Graph-Grammars and Their Application to Computer Science 1986: 15-26 - [c28]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 - [c27]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 - 1983
- [c26]Klaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin:
Suggestions on the Interpretation of Algebraic Specifications. ADT 1983 - [c25]Hans-Jörg Kreowski:
Specification of Partial Functions - Only a Tentative Suggestion. ADT 1983 - [c24]Hans-Jörg Kreowski:
Graph Grammar Derivation Processes. WG 1983: 136-150 - 1982
- [c23]Hans-Jörg Kreowski:
An Algebraic Implementation Concept for Abstract Data Types. ADT 1982 - [c22]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 - [c21]Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg, Hartmut Ehrig:
Concurrency of Node-Label-Controlled Graph Transformations. WG 1982: 91-108 - 1981
- [c20]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 - [c19]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 - [c18]Hans-Jörg Kreowski, Grzegorz Rozenberg:
On the Constructive Description of Graph Languages Accepted by Finite Automata. MFCS 1981: 398-409 - 1980
- [c17]Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz:
Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. ICALP 1980: 142-156 - [c16]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 - [c15]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 - [c14]Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz:
A Case Study of Abstract Implementations and Their Correctness. Symposium on Programming 1980: 108-122 - [c13]Hans-Jörg Kreowski:
Algebraische Spezifikation von Softwaresystemen. Software Engineering 1980: 46-74 - [c12]Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski:
Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. Software Engineering 1980: 75-90 - [c11]Hans-Jörg Kreowski:
Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation? Software Engineering 1980: 281-283 - [c10]Hans-Jörg Kreowski:
A Comparison Between Petri-Nets and Graph Grammars. WG 1980: 306-317 - 1979
- [c9]Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber:
Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme. Formale Modelle für Informationssysteme 1979: 181-198 - 1978
- [c8]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 - [c7]Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz:
Stepwise Specification and Implementation of Abstract Data Types. ICALP 1978: 205-226 - [c6]Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski:
Deriving Structures from Structures. MFCS 1978: 177-190 - [c5]Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber:
Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440 - 1977
- [c4]Hans-Jörg Kreowski:
Transformationas of Derivation Sequences in Graph Grammars. FCT 1977: 275-286 - 1976
- [c3]Hartmut Ehrig, Hans-Jörg Kreowski:
Parallelism of Manipulations in Multidimensional Information Structures. MFCS 1976: 284-293 - 1975
- [c2]Hartmut Ehrig, Hans-Jörg Kreowski:
Parallel Graph Grammers. Automata, Languages, Development 1975: 425-442 - 1974
- [c1]Hartmut Ehrig, Hans-Jörg Kreowski:
Power and initial automata in pseudoclosed categories. Category Theory Applied to Computation and Control 1974: 144-150
Parts in Books or Collections
- 2006
- [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 - 2001
- [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 - 1999
- [p3]Hartmut Ehrig, Hans-Jörg Kreowski:
Refinement and Implementation. Algebraic Foundations of Systems Specification 1999: 201-242 - 1997
- [p2]Frank Drewes, Hans-Jörg Kreowski, Annegret Habel:
Hyperedge Replacement, Graph Grammars. Handbook of Graph Grammars 1997: 95-162 - 1993
- [p1]Hans-Jörg Kreowski:
Some initial sections of the Algebraic Specification Tale. Current Trends in Theoretical Computer Science 1993: 54-75
Editorship
- 2020
- [e16]Michael Freitag
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] - 2013
- [e15]Hans-Jörg Kreowski, Bernd Scholz-Reiter
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
- [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
- [e12]Hans-Jörg Kreowski, Bernd Scholz-Reiter
Dynamics in Logistics, Second International Conference, LDIC 2009, Bremen, Germany, August 17-21, 2009, Proceedings. Springer 2011, ISBN 978-3-642-11995-8 [contents] - 2008
- [e11]Hans-Jörg Kreowski, Bernd Scholz-Reiter
Dynamics in Logistics, First International Conference, LDIC 2007, Bremen, Germany, August 2007, Proceedings. Springer 2008, ISBN 978-3-540-76861-6 [contents] - 2005
- [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] - 2002
- [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] - 2000
- [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] - 1999
- [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] - 1995
- [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] - 1992
- [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
- [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] - 1989
- [e2]Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß:
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 [contents] - 1985
- [e1]Hans-Jörg Kreowski:
Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, Germany, November 13-16, 1984, Selected Papers. Informatik-Fachberichte 116, Springer 1985, ISBN 3-540-16077-9 [contents]
Informal and Other Publications
- 2023
- [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)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: