Edit Profile (opens in new tab) Kreowski, Hans-Jörg Co-Author Distance Author ID: kreowski.hans-jorg Published as: Kreowski, Hans-Jörg; Kreowski, H.-J.; Kreowski, Hans-Joerg; Kreowski, H. J.; Kreowsky, H. J. more...less Homepage: http://www.informatik.uni-bremen.de/theorie/kreo/ External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 136 Publications since 1974, including 13 Books 16 Contributions as Editor · 3 Further Contributions Co-Authors: 68 Co-Authors with 134 Joint Publications 1,192 Co-Co-Authors all top 5 Co-Authors 21 single-authored 50 Ehrig, Hartmut 30 Kuske, Sabine 19 Habel, Annegret 18 Rozenberg, Grzegorz 14 Lye, Aaron 11 Drewes, Frank 8 Padawitz, Peter 7 Klempien-Hinrichs, Renate 5 Engels, Gregor 4 Orejas, Fernando 4 Taentzer, Gabriele 3 Busatto, Giorgio 3 Corradini, Andrea 3 Montanari, Ugo G. 3 Plump, Detlef 3 Taubenberger, Stefan 3 Vogler, Walter 2 Astesiano, Egidio 2 Ewert, Sigrid 2 Hölscher, Karsten 2 Janssens, Dirk 2 Krieg-Brückner, Bernd 2 Lapoire, Denis 2 Lautemann, Clemens 2 Maggiolo-Schettini, Andrea 2 Mahr, Bernd 2 Mossakowski, Till 2 Rosen, Barry K. 2 Thatcher, James W. 2 von Totth, Caroline 2 Wagner, Eric G. 2 Wilharm, Anne 2 Wright, Jesse B. 1 Andries, Marc 1 Bersted, J. 1 Bezem, J. J. 1 Bidoit, Michel 1 Biewald, J. 1 Buchegger, O. 1 Culik, Karel II 1 Dashkovskiy, Sergey N. 1 David, Gnanamalar 1 Dediu, Adrian Horia 1 Ede, D. A. 1 Ehrenfeucht, Andrzej 1 Erickson, Ralph O. 1 Fey, Werner 1 Floyd, Christiane 1 Franck, H. 1 Frijters, Dinnus 1 Fuchs, Norbert E. 1 Gogolla, Martin 1 Golze, Ulrich 1 Haasis, Hans-Dietrich 1 Harte, C. 1 Heckel, Reiko 1 Herrlich, Horst 1 Herzog, Otthein 1 Hoffmann, Berthold 1 Jeltsch, Eric 1 Jürgensen, Helmut 1 Karhumaki, Juhani 1 Kiermeier, Klaus-Dieter 1 Kleine, K. 1 Knirsch, Peter 1 Kollmann, Ralf 1 Kopetz, Hermann 1 Kühnel, Wolfgang 1 Lescanne, Pierre 1 Lewis, John Henry 1 Lindenmayer, Aristid 1 Lück, Hermann B. 1 Lück, Jacqueline 1 Luderer, Melanie 1 Martinez, Hugo M. 1 Maurer, Hermann A. 1 Mayoh, Brian H. 1 Mironchenko, Andrii 1 Nagl, Manfred 1 Nagy, Benedek 1 Naujok, Lars 1 Nielsen, Mogens 1 Oostendorp, W. 1 Opartny, J. 1 Ortman, A. 1 Padberg, Julia 1 Parisi-Presicce, Francesco 1 Paz, Azaria 1 Pfender, Michael 1 Preuß, Gerhard 1 Qian, Zhenyu 1 Raven, C. P. 1 Rombach, H. Dieter 1 Rosenfeld, Azriel 1 Ruohonen, Keijo 1 Salomaa, Arto Kustaa 1 Sannella, Donald T. 1 Sawitch, W. J. 1 Schelling, H. 1 Schmidt, Heinz-Wilhelm ...and 18 more Co-Authors all top 5 Serials 10 Theoretical Computer Science 8 Lecture Notes in Computer Science 6 Bulletin of the European Association for Theoretical Computer Science (EATCS) 3 MSCS. Mathematical Structures in Computer Science 2 Information Sciences 2 Mathematische Nachrichten 2 Annales Societatis Mathematicae Polonae. Series IV 2 Science of Computer Programming 2 Information and Computation 2 Informatik-Fachberichte 1 Acta Informatica 1 Computers & Mathematics with Applications 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Mathematical Systems Theory 1 Revista Matemática de la Universidad Complutense de Madrid 1 Formal Aspects of Computing 1 Information Systems 1 Journal of Automata, Languages and Combinatorics 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Fundamenta Informaticae 1 Natural Computing 1 Applied Computer Science. Berichte zur Praktischen Informatik 1 Handbuch der Informatik 1 International Electronic Journal of Pure and Applied Mathematics 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 152 Computer science (68-XX) 16 General and overarching topics; collections (00-XX) 16 Category theory; homological algebra (18-XX) 12 Combinatorics (05-XX) 4 Information and communication theory, circuits (94-XX) 3 Quantum theory (81-XX) 3 Operations research, mathematical programming (90-XX) 2 History and biography (01-XX) 2 Mathematical logic and foundations (03-XX) 2 General algebraic systems (08-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 111 Publications have been cited 678 times in 410 Documents Cited by ▼ Year ▼ Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049 53 1999 Handbook of graph grammars and computing by graph transformation. Vol 2: Applications, languages and tools. With 1 CD-ROM (Windows, Linux and Solaris). Zbl 0998.68001 49 1999 Parallelism and concurrency in high-level replacement systems. Zbl 0749.68045 Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Jörg; Parisi-Presicce, Francesco 41 1991 May we introduce to you: Hyperedge replacement. Zbl 0643.68106 Habel, Annegret; Kreowski, Hans-Jörg 36 1987 Some structural aspects of hypergraph languages generated by hyperedge replacement. Zbl 0635.68077 Habel, Annegret; Kreowski, Hans-Jörg 35 1987 Algebraic implementation of abstract data types. Zbl 0483.68018 Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P. 32 1982 Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5–9, 1990. Proceedings. Zbl 0753.00023 26 1991 Pushout-properties: An analysis of gluing constructions for graphs. Zbl 0431.68069 Ehrig, Hartmut; Kreowski, Hans-Jörg 16 1979 Parallelism of manipulations in multidimensional information structures. Zbl 0352.68096 Ehrig, Hartmut; Kreowski, Hans-Jörg 15 1976 Graph transformation for specification and programming. Zbl 0933.68022 Andries, Marc; Engels, Gregor; Habel, Annegret; Hoffmann, Berthold; Kreowski, Hans-Jörg; Kuske, Sabine; Plump, Detlef; Schürr, Andy; Taentzer, Gabriele 14 1999 Transformations of structures: An algebraic approach. Zbl 0491.68035 Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef 13 1981 Collage grammars. Zbl 0768.68081 Habel, Annegret; Kreowski, Hans-Jörg 12 1991 Graph transformation units with interleaving semantics. Zbl 0966.68114 Kreowski, Hans-Jörg; Kuske, Sabine 12 1999 Decidable boundedness problems for sets of graphs generated by hyperedge- replacement. Zbl 0706.68070 Habel, A.; Kreowski, H.-J.; Vogler, W. 11 1991 Universal theory of automata. A categorical approach. Zbl 0289.94023 Ehrig, H.; Kiermeier, K.-D.; Kreowski, H.-J.; Kühnel, W. 11 1974 Jungle evaluation. Zbl 0706.68069 Habel, A.; Kreowski, H.-J.; Plump, D. 11 1991 Characteristics of graph languages generated by edge replacement. Zbl 0636.68100 Habel, Annegret; Kreowski, Hans-Jörg 10 1987 Metatheorems for decision problems on hyperedge replacement graph languages. Zbl 0674.68047 Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter 10 1989 Automata, languages, development. Zbl 0346.92001 10 1976 Algebraic system specification and development. A survey and annotated bibliography. Zbl 0875.68642 10 1991 Algebraic foundations of systems specification. Zbl 0973.68002 8 1999 Graph transformation units – an overview. Zbl 1144.68032 Kreowski, Hans-Jörg; Kuske, Sabine; Rozenberg, Grzegorz 7 2008 Parameter passing in algebraic specification languages. Zbl 0522.68027 Ehrig, Hartmut; Kreowski, Hans-Joerg; Thatcher, James; Wagner, Eric; Wright, Jesse 7 1984 Algebraic implementation of abstract data types: Concept, syntax, semantics and correctness. Zbl 0457.68019 Ehrig, H.; Kreowski, H.-J.; Padawitz, P. 7 1980 Is parallelism already concurrency? I: Derivations in graph grammars. Zbl 0643.68023 Kreowski, Hans-Jörg 6 1987 Deriving structures from structures. Zbl 0379.68055 Ehrig, Hartmut; Kreowski, Hans-Jörg; Maggiolo-Schettini, A.; Rosen, B. K.; Winkowski, Z. 6 1978 Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems. Zbl 0456.68096 Ehrig, H.; Kreowski, H.-J. 6 1980 Graph surfing by reaction systems. Zbl 1394.68143 Kreowski, Hans-Jörg; Rozenberg, Grzegorz 6 2018 Pretty patterns produced by hyperedge replacement. Zbl 0651.68099 Habel, Annegret; Kreowski, Hans-Jörg 5 1988 Jungle evaluation. Zbl 0661.68016 Habel, Annegret; Kreowski, Hans-Jörg; Plump, Detlef 5 1988 Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing. Zbl 1217.68162 Kreowski, Hans-Jörg; Kuske, Sabine 5 2011 A comparison of compatible, finite, and inductive graph properties. Zbl 0771.68079 Habel, A.; Kreowski, H.-J.; Lautemann, C. 5 1993 Computing raster images from grid picture grammars. Zbl 1141.68432 Drewes, Frank; Ewert, Sigrid; Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg 5 2003 Parameterized data types in algebraic specification languages (short version). Zbl 0456.68101 Ehrig, Hartmut; Kreowski, Hans-Jörg; Thatcher, James; Wagner, Eric; Wright, Jesse 5 1980 Parallel hyperedge replacement. Zbl 0771.68075 Kreowski, Hans-Jörg 5 1992 Criteria to disprove context freeness of collage languages. Zbl 1044.68089 Drewes, Frank; Kreowski, Hans-Jörg; Lapoire, Denis 5 2003 Graph transformation through graph surfing in reaction systems. Zbl 1435.68135 Kreowski, Hans-Jörg; Rozenberg, Grzegorz 5 2019 GRACE as a unifying approach to graph-transformation-based specification. Zbl 1263.68085 Kreowski, Hans-Jörg; Busatto, Giorgio; Kuske, Sabine 5 2001 On the interleaving semantics of transformation units – a step into GRACE. Zbl 1412.68109 Kreowski, Hans-Jörg; Kuske, Sabine 5 1996 Is parallelism already concurrency? II: Non-sequential processes in graph grammars. Zbl 0643.68024 Kreowski, Hans-Jörg; Wilharm, Anne 4 1987 A note on hyperedge replacement. Zbl 0765.68086 Drewes, Frank; Kreowski, Hans-Jörg 4 1991 Parameter passing commutes with implementation of parameterized data types. Zbl 0486.68016 Ehrig, H.; Kreowski, H.-J. 4 1982 Compatibility of parameter passing and implementation of parameterized data types. Zbl 0553.68015 Ehrig, H.; Kreowski, H.-J. 4 1983 Abstract hierarchical graph transformation. Zbl 1102.68039 Busatto, Giorgio; Kreowski, Hans-Jörg; Kuske, Sabine 4 2005 Introduction to graph grammars with applications to semantic networks. Zbl 0706.68066 Ehrig, H.; Habel, A.; Kreowski, H. J. 4 1992 Generating self-affine fractals by collage grammars. Zbl 0874.68176 Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S. 4 1995 Fusion grammars: a novel approach to the generation of graph languages. Zbl 1425.68167 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 4 2017 Transformation of Petri nets into context-dependent fusion grammars. Zbl 1425.68168 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 4 2019 Compatible graph properties are decidable for hyperedge replacement graph languages. Zbl 0664.68076 Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter 3 1987 Grammatical inference based on hyperedge replacement. Zbl 0768.68082 Jeltsch, Eric; Kreowski, Hans-Jörg 3 1991 Concurrency of node-label-controlled graph transformations. Zbl 0538.68057 Janssens, D.; Kreowski, H.-J.; Rozenberg, G.; Ehrig, H. 3 1982 Equivalence and difference between institutions: simulating Horn clause logic with based algebras. Zbl 0849.68080 Kreowski, Hans-Jörg; Mossakowski, Till 3 1995 A simple notion of parallel graph transformation and its perspectives. Zbl 1383.68033 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 3 2018 Transformations of derivation sequences in graph grammars. Zbl 0356.68085 Kreowski, Hans-Jörg 3 1977 On structured graph grammars. I. Zbl 0716.68056 Kreowski, Hans-Jörg; Rozenberg, Grzegorz 3 1990 Relation-sorted algebraic specifications with built-in coercers: Basic notions and results. Zbl 0729.68046 Kreowski, Hans-Jörg; Qian, Zhenyu 3 1990 Algebraic foundations of systems specification. Zbl 0922.00008 3 1999 Algebraic theory of graph grammars applied to consistency and synchronization in data base systems. Zbl 0388.68061 Ehrig, H.; Kreowski, H.-J. 3 1979 Algebraic implementation of abstract data types: concept, syntax, semantics and correctness. Zbl 0412.68018 Ehrig, H.; Kreowski, H.-J.; Padawitz, P. 3 1979 A comparison between Petri-nets and graph grammars. Zbl 0454.68053 Kreowski, Hans-Jörg 3 1981 A sketch of collage grammars. Zbl 1023.68591 Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S. 3 1993 Autonomous units and their semantics – the sequential case. Zbl 1156.68495 Hölscher, Karsten; Kreowski, Hans-Jörg; Kuske, Sabine 3 2006 Graph transformation units guided by a SAT solver. Zbl 1306.68080 Kreowski, Hans-Jörg; Kuske, Sabine; Wille, Robert 3 2010 Splicing/fusion grammars and their relation to hypergraph grammars. Zbl 1394.68198 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 3 2018 Autonomous units and their semantics – the parallel case. Zbl 1196.68158 Kreowski, Hans-Jörg; Kuske, Sabine 2 2007 On context-free graph languages generated by edge replacement. Zbl 0522.68071 Habel, Annegret; Kreowski, Hans-Joerg 2 1983 Refinement and implementation. Zbl 0953.68096 Ehrig, Hartmut; Kreowski, Hans-Jörg 2 1999 Correct translation of mutually recursive function systems into TOL collage grammars. Zbl 0948.68107 Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg; Taubenberger, Stefan 2 1999 (Un-)decidability of geometric properties of pictures generated by collage grammars. Zbl 0843.68118 Drewes, F.; Kreowski, H.-J. 2 1996 Table-driven and context-sensitive collage languages. Zbl 0996.68095 Drewes, Frank; Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg 2 2000 Minimization concepts of automata in pseudoclosed categories. Zbl 0341.94022 Kreowski, H.-J.; Ehrig, H. 2 1976 Systematic approach to reduction and minimization in automata and system theory. Zbl 0343.94025 Ehrig, Hartmut; Kreowski, Hans-Jörg 2 1976 An integrated semantics for UML class, object and state diagrams based on graph transformation. Zbl 1057.68592 Kuske, Sabine; Gogolla, Martin; Kollmann, Ralf; Kreowski, Hans-Jörg 2 2002 A sight-seeing tour of the computational landscape of graph transformation. Zbl 1060.68054 Kreowski, Hans-Jörg 2 2002 Kanonische Ableitungssequenzen für Graph-Grammatiken. Zbl 0354.68094 Kreowski, Hans-Jörg 2 1976 Contextual hypergraph grammars – a new approach to the generation of hypergraph languages. Zbl 1227.68039 Dediu, Adrian-Horia; Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg; Nagy, Benedek 2 2006 Church-Rosser-theorems leading to parallel and canonical derivations for graph-grammars. Zbl 0367.68055 Ehrig, H.; Kreowski, H.-J. 2 1975 Stepwise specification and implementation of abstract data types. Zbl 0382.68026 Ehrig, Hartmut; Kreowski, Hans-Jörg; Padawitz, Peter 2 1978 Algebraic implementation of abstract data types: An announcement. Zbl 0418.68018 Ehrig, H.; Kreowski, H.-J.; Padawitz, P. 2 1979 Compound algebraic implementations: An approach to stepwise refinement of software systems. Zbl 0442.68016 Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P. 2 1980 Five facets of hyperedge replacement beyond context-freeness. Zbl 0794.68092 Kreowski, Hans-Jörg 2 1993 Autonomous units to model interacting sequential and parallel processes. Zbl 1187.68327 Hölscher, Karsten; Kreowski, Hans-Jörg; Kuske, Sabine 2 2009 Canonical multi-target Toffoli circuits. Zbl 1435.68090 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 2 2016 Graph transformation. 1st international conference, ICGT 2002, Barcelona, Spain, October 7–12, 2002. Proceedings. Zbl 1001.00043 2 2002 A categorial approach to reaction systems: first steps. Zbl 1491.68071 Kreowski, Hans-Jörg; Lye, Aaron 2 2021 Relating DNA computing and splitting/fusion grammars. Zbl 1429.68073 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 2 2019 Filtering hyperedge-replacement languages through compatible properties. Zbl 0787.68067 Habel, Annegret; Kreowski, Hans-Jörg 1 1990 Typing of graph transformation units. Zbl 1116.68555 Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg; Kuske, Sabine 1 2004 Theory and application of graph transformations. 6th international workshop, TAGT ’98. Paderborn, Germany, November 16–20, 1998. Selected papers. Zbl 0933.00049 1 2000 Redundancy and subsumption in high-level replacement systems. Zbl 0958.68077 Kreowski, Hans-Jörg; Valiente, Gabriel 1 2000 Polynomial graph transformability. Zbl 1243.68226 Kreowski, Hans-Jörg; Kuske, Sabine 1 2012 Approach-independent structuring concepts for rule-based systems. Zbl 1278.68122 Kreowski, Hans-Jörg; Kuske, Sabine 1 2003 Main concepts of networks of transformation units with interlinking semantics. Zbl 1075.68041 Janssens, Dirk; Kreowski, Hans-Jörg; Rozenberg, Grzegorz 1 2005 Kategorielle Theorie der Reduktion, Minimierung und Äquivalenz von Automaten. Zbl 0247.94031 Ehrig, H.; Kreowski, H.-J.; Pfender, M. 1 1974 Power and initial automata in pseudoclosed categories. Zbl 0305.94045 Ehrig, Hartmut; Kreowski, Hans-Jörg 1 1975 Ein Pumpinglemma für Kanten-kontextfreie Graph-Sprachen. Zbl 0354.68101 Kreowski, Hans-Jörg 1 1977 Net processes correspond to derivation processes in graph grammars. Zbl 0607.68058 Kreowski, Hans-Jörg; Wilharm, Anne 1 1986 A comparison of compatible, finite, and inductive graph properties. Zbl 0706.68068 Habel, A.; Kreowski, H.-J.; Lautemann, C. 1 1991 On structured graph grammars. II. Zbl 0725.68063 Kreowski, Hans-Jörg; Rozenberg, Grzegorz 1 1990 The skeleton of minimal realization. Zbl 0375.93006 Ehrig, Hartmut; Kreowski, Hans-Jörg 1 1976 Transformation of variants of Petri nets into context-dependent fusion grammars. Zbl 1487.68139 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 1 2022 A categorial approach to reaction systems: first steps. Zbl 1491.68071 Kreowski, Hans-Jörg; Lye, Aaron 2 2021 Graph surfing in reaction systems from a categorial perspective. Zbl 1491.68072 Kreowski, Hans-Jörg; Lye, Aaron 1 2020 Graph transformation through graph surfing in reaction systems. Zbl 1435.68135 Kreowski, Hans-Jörg; Rozenberg, Grzegorz 5 2019 Transformation of Petri nets into context-dependent fusion grammars. Zbl 1425.68168 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 4 2019 Relating DNA computing and splitting/fusion grammars. Zbl 1429.68073 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 2 2019 Canonical mixed-polarity multi-target Toffoli circuits: shift and removal. Zbl 1435.68091 Kreowski, Hans-Jörg; Lye, Aaron 1 2019 Graph surfing by reaction systems. Zbl 1394.68143 Kreowski, Hans-Jörg; Rozenberg, Grzegorz 6 2018 A simple notion of parallel graph transformation and its perspectives. Zbl 1383.68033 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 3 2018 Splicing/fusion grammars and their relation to hypergraph grammars. Zbl 1394.68198 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 3 2018 Fusion grammars: a novel approach to the generation of graph languages. Zbl 1425.68167 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 4 2017 Canonical multi-target Toffoli circuits. Zbl 1435.68090 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron 2 2016 Graph transformation meets reversible circuits: generation, evaluation, and synthesis. Zbl 1423.68234 Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron; Luderer, Melanie 1 2014 Polynomial graph transformability. Zbl 1243.68226 Kreowski, Hans-Jörg; Kuske, Sabine 1 2012 Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing. Zbl 1217.68162 Kreowski, Hans-Jörg; Kuske, Sabine 5 2011 Graph transformation units guided by a SAT solver. Zbl 1306.68080 Kreowski, Hans-Jörg; Kuske, Sabine; Wille, Robert 3 2010 Autonomous units to model interacting sequential and parallel processes. Zbl 1187.68327 Hölscher, Karsten; Kreowski, Hans-Jörg; Kuske, Sabine 2 2009 Graph transformation units – an overview. Zbl 1144.68032 Kreowski, Hans-Jörg; Kuske, Sabine; Rozenberg, Grzegorz 7 2008 Graph multiset transformation as a framework for massively parallel computation. Zbl 1175.68178 Kreowski, Hans-Jörg; Kuske, Sabine 1 2008 Autonomous units and their semantics – the parallel case. Zbl 1196.68158 Kreowski, Hans-Jörg; Kuske, Sabine 2 2007 Autonomous units and their semantics – the sequential case. Zbl 1156.68495 Hölscher, Karsten; Kreowski, Hans-Jörg; Kuske, Sabine 3 2006 Contextual hypergraph grammars – a new approach to the generation of hypergraph languages. Zbl 1227.68039 Dediu, Adrian-Horia; Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg; Nagy, Benedek 2 2006 Abstract hierarchical graph transformation. Zbl 1102.68039 Busatto, Giorgio; Kreowski, Hans-Jörg; Kuske, Sabine 4 2005 Main concepts of networks of transformation units with interlinking semantics. Zbl 1075.68041 Janssens, Dirk; Kreowski, Hans-Jörg; Rozenberg, Grzegorz 1 2005 Typing of graph transformation units. Zbl 1116.68555 Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg; Kuske, Sabine 1 2004 Computing raster images from grid picture grammars. Zbl 1141.68432 Drewes, Frank; Ewert, Sigrid; Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg 5 2003 Criteria to disprove context freeness of collage languages. Zbl 1044.68089 Drewes, Frank; Kreowski, Hans-Jörg; Lapoire, Denis 5 2003 Approach-independent structuring concepts for rule-based systems. Zbl 1278.68122 Kreowski, Hans-Jörg; Kuske, Sabine 1 2003 An integrated semantics for UML class, object and state diagrams based on graph transformation. Zbl 1057.68592 Kuske, Sabine; Gogolla, Martin; Kollmann, Ralf; Kreowski, Hans-Jörg 2 2002 A sight-seeing tour of the computational landscape of graph transformation. Zbl 1060.68054 Kreowski, Hans-Jörg 2 2002 Graph transformation. 1st international conference, ICGT 2002, Barcelona, Spain, October 7–12, 2002. Proceedings. Zbl 1001.00043 2 2002 GRACE as a unifying approach to graph-transformation-based specification. Zbl 1263.68085 Kreowski, Hans-Jörg; Busatto, Giorgio; Kuske, Sabine 5 2001 Computing raster images from grid picture grammars. Zbl 0989.68063 Drewes, Frank; Ewert, Sigrid; Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg 1 2001 Reading words in graphs generated by hyperedge replacement. Zbl 1007.68017 Drewes, Frank; Kreowski, Hans-Jörg 1 2001 Table-driven and context-sensitive collage languages. Zbl 0996.68095 Drewes, Frank; Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg 2 2000 Theory and application of graph transformations. 6th international workshop, TAGT ’98. Paderborn, Germany, November 16–20, 1998. Selected papers. Zbl 0933.00049 1 2000 Redundancy and subsumption in high-level replacement systems. Zbl 0958.68077 Kreowski, Hans-Jörg; Valiente, Gabriel 1 2000 Handbook of graph grammars and computing by graph transformation. Vol. 3: Concurrency, parallelism, and distribution. Zbl 0951.68049 53 1999 Handbook of graph grammars and computing by graph transformation. Vol 2: Applications, languages and tools. With 1 CD-ROM (Windows, Linux and Solaris). Zbl 0998.68001 49 1999 Graph transformation for specification and programming. Zbl 0933.68022 Andries, Marc; Engels, Gregor; Habel, Annegret; Hoffmann, Berthold; Kreowski, Hans-Jörg; Kuske, Sabine; Plump, Detlef; Schürr, Andy; Taentzer, Gabriele 14 1999 Graph transformation units with interleaving semantics. Zbl 0966.68114 Kreowski, Hans-Jörg; Kuske, Sabine 12 1999 Algebraic foundations of systems specification. Zbl 0973.68002 8 1999 Algebraic foundations of systems specification. Zbl 0922.00008 3 1999 Refinement and implementation. Zbl 0953.68096 Ehrig, Hartmut; Kreowski, Hans-Jörg 2 1999 Correct translation of mutually recursive function systems into TOL collage grammars. Zbl 0948.68107 Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg; Taubenberger, Stefan 2 1999 On the interleaving semantics of transformation units – a step into GRACE. Zbl 1412.68109 Kreowski, Hans-Jörg; Kuske, Sabine 5 1996 (Un-)decidability of geometric properties of pictures generated by collage grammars. Zbl 0843.68118 Drewes, F.; Kreowski, H.-J. 2 1996 Generating self-affine fractals by collage grammars. Zbl 0874.68176 Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S. 4 1995 Equivalence and difference between institutions: simulating Horn clause logic with based algebras. Zbl 0849.68080 Kreowski, Hans-Jörg; Mossakowski, Till 3 1995 A comparison of compatible, finite, and inductive graph properties. Zbl 0771.68079 Habel, A.; Kreowski, H.-J.; Lautemann, C. 5 1993 A sketch of collage grammars. Zbl 1023.68591 Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S. 3 1993 Five facets of hyperedge replacement beyond context-freeness. Zbl 0794.68092 Kreowski, Hans-Jörg 2 1993 Parallel hyperedge replacement. Zbl 0771.68075 Kreowski, Hans-Jörg 5 1992 Introduction to graph grammars with applications to semantic networks. Zbl 0706.68066 Ehrig, H.; Habel, A.; Kreowski, H. J. 4 1992 Parallelism and concurrency in high-level replacement systems. Zbl 0749.68045 Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Jörg; Parisi-Presicce, Francesco 41 1991 Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5–9, 1990. Proceedings. Zbl 0753.00023 26 1991 Collage grammars. Zbl 0768.68081 Habel, Annegret; Kreowski, Hans-Jörg 12 1991 Decidable boundedness problems for sets of graphs generated by hyperedge- replacement. Zbl 0706.68070 Habel, A.; Kreowski, H.-J.; Vogler, W. 11 1991 Jungle evaluation. Zbl 0706.68069 Habel, A.; Kreowski, H.-J.; Plump, D. 11 1991 Algebraic system specification and development. A survey and annotated bibliography. Zbl 0875.68642 10 1991 A note on hyperedge replacement. Zbl 0765.68086 Drewes, Frank; Kreowski, Hans-Jörg 4 1991 Grammatical inference based on hyperedge replacement. Zbl 0768.68082 Jeltsch, Eric; Kreowski, Hans-Jörg 3 1991 A comparison of compatible, finite, and inductive graph properties. Zbl 0706.68068 Habel, A.; Kreowski, H.-J.; Lautemann, C. 1 1991 On structured graph grammars. I. Zbl 0716.68056 Kreowski, Hans-Jörg; Rozenberg, Grzegorz 3 1990 Relation-sorted algebraic specifications with built-in coercers: Basic notions and results. Zbl 0729.68046 Kreowski, Hans-Jörg; Qian, Zhenyu 3 1990 Filtering hyperedge-replacement languages through compatible properties. Zbl 0787.68067 Habel, Annegret; Kreowski, Hans-Jörg 1 1990 On structured graph grammars. II. Zbl 0725.68063 Kreowski, Hans-Jörg; Rozenberg, Grzegorz 1 1990 Metatheorems for decision problems on hyperedge replacement graph languages. Zbl 0674.68047 Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter 10 1989 Pretty patterns produced by hyperedge replacement. Zbl 0651.68099 Habel, Annegret; Kreowski, Hans-Jörg 5 1988 Jungle evaluation. Zbl 0661.68016 Habel, Annegret; Kreowski, Hans-Jörg; Plump, Detlef 5 1988 May we introduce to you: Hyperedge replacement. Zbl 0643.68106 Habel, Annegret; Kreowski, Hans-Jörg 36 1987 Some structural aspects of hypergraph languages generated by hyperedge replacement. Zbl 0635.68077 Habel, Annegret; Kreowski, Hans-Jörg 35 1987 Characteristics of graph languages generated by edge replacement. Zbl 0636.68100 Habel, Annegret; Kreowski, Hans-Jörg 10 1987 Is parallelism already concurrency? I: Derivations in graph grammars. Zbl 0643.68023 Kreowski, Hans-Jörg 6 1987 Is parallelism already concurrency? II: Non-sequential processes in graph grammars. Zbl 0643.68024 Kreowski, Hans-Jörg; Wilharm, Anne 4 1987 Compatible graph properties are decidable for hyperedge replacement graph languages. Zbl 0664.68076 Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter 3 1987 Partial algebras flow from algebraic specifications. Zbl 0623.68018 Kreowski, Hans-Jörg 1 1987 Net processes correspond to derivation processes in graph grammars. Zbl 0607.68058 Kreowski, Hans-Jörg; Wilharm, Anne 1 1986 Parameter passing in algebraic specification languages. Zbl 0522.68027 Ehrig, Hartmut; Kreowski, Hans-Joerg; Thatcher, James; Wagner, Eric; Wright, Jesse 7 1984 Compatibility of parameter passing and implementation of parameterized data types. Zbl 0553.68015 Ehrig, H.; Kreowski, H.-J. 4 1983 On context-free graph languages generated by edge replacement. Zbl 0522.68071 Habel, Annegret; Kreowski, Hans-Joerg 2 1983 Algebraic implementation of abstract data types. Zbl 0483.68018 Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P. 32 1982 Parameter passing commutes with implementation of parameterized data types. Zbl 0486.68016 Ehrig, H.; Kreowski, H.-J. 4 1982 Concurrency of node-label-controlled graph transformations. Zbl 0538.68057 Janssens, D.; Kreowski, H.-J.; Rozenberg, G.; Ehrig, H. 3 1982 Transformations of structures: An algebraic approach. Zbl 0491.68035 Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef 13 1981 A comparison between Petri-nets and graph grammars. Zbl 0454.68053 Kreowski, Hans-Jörg 3 1981 Algebraic implementation of abstract data types: Concept, syntax, semantics and correctness. Zbl 0457.68019 Ehrig, H.; Kreowski, H.-J.; Padawitz, P. 7 1980 Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems. Zbl 0456.68096 Ehrig, H.; Kreowski, H.-J. 6 1980 Parameterized data types in algebraic specification languages (short version). Zbl 0456.68101 Ehrig, Hartmut; Kreowski, Hans-Jörg; Thatcher, James; Wagner, Eric; Wright, Jesse 5 1980 Compound algebraic implementations: An approach to stepwise refinement of software systems. Zbl 0442.68016 Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P. 2 1980 A case study of abstract implementations and their correctness. Zbl 0435.68023 Ehrig, H.; Kreowski, H.-J.; Padawitz, P. 1 1980 Pushout-properties: An analysis of gluing constructions for graphs. Zbl 0431.68069 Ehrig, Hartmut; Kreowski, Hans-Jörg 16 1979 Algebraic theory of graph grammars applied to consistency and synchronization in data base systems. Zbl 0388.68061 Ehrig, H.; Kreowski, H.-J. 3 1979 Algebraic implementation of abstract data types: concept, syntax, semantics and correctness. Zbl 0412.68018 Ehrig, H.; Kreowski, H.-J.; Padawitz, P. 3 1979 Algebraic implementation of abstract data types: An announcement. Zbl 0418.68018 Ehrig, H.; Kreowski, H.-J.; Padawitz, P. 2 1979 A pumping lemma for context-free graph languages. Zbl 0407.68075 Kreowski, Hans-Jörg 1 1979 Deriving structures from structures. Zbl 0379.68055 Ehrig, Hartmut; Kreowski, Hans-Jörg; Maggiolo-Schettini, A.; Rosen, B. K.; Winkowski, Z. 6 1978 Stepwise specification and implementation of abstract data types. Zbl 0382.68026 Ehrig, Hartmut; Kreowski, Hans-Jörg; Padawitz, Peter 2 1978 Transformations of derivation sequences in graph grammars. Zbl 0356.68085 Kreowski, Hans-Jörg 3 1977 Ein Pumpinglemma für Kanten-kontextfreie Graph-Sprachen. Zbl 0354.68101 Kreowski, Hans-Jörg 1 1977 ...and 11 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 410 Authors 34 Kreowski, Hans-Jörg 30 Ehrig, Hartmut 22 Corradini, Andrea 20 Drewes, Frank 16 Engelfriet, Joost 14 Habel, Annegret 13 Kuske, Sabine 13 Ribeiro, Leila 12 Courcelle, Bruno 12 Gadducci, Fabio 11 Baldan, Paolo 11 Lye, Aaron 10 Montanari, Ugo G. 10 Rozenberg, Grzegorz 10 Taentzer, Gabriele 10 Tarlecki, Andrzej 9 Plump, Detlef 8 Hoffmann, Berthold 8 Parisi-Presicce, Francesco 8 Sannella, Donald T. 7 Echahed, Rachid 7 Hennicker, Rolf 7 König, Barbara 7 Lowe, Michael J. S. 7 Minas, Mark 7 Orejas, Fernando 6 Lambers, Leen 6 Sobociński, Paweł 6 Vogler, Heiko 5 Bauderon, Michel 5 Bidoit, Michel 5 Heckel, Reiko 5 Mosbah, Mohamed 5 Rossi, Francesca 4 Behr, Nicolas 4 Dotti, Fernando Luís 4 Foss, Luciana 4 Goguen, Joseph Amadee 4 Heyker, Linda 4 Kim, Changwook 4 Mossakowski, Till 4 Schürr, Andy 4 Wanke, Egon 4 Wirsing, Martin 3 Banach, Richard 3 Bernot, Gilles 3 Bonchi, Filippo 3 Boy de la Tour, Thierry 3 Burstall, Rod M. 3 Busatto, Giorgio 3 Campbell, Graham H. 3 Durán, Francisco 3 Duval, Dominique 3 Engels, Gregor 3 Große-Rhode, Martin 3 Kawahara, Yasuo 3 Koch, Manuel 3 Kosiol, Jens 3 Maggiolo-Schettini, Andrea 3 Mahr, Bernd 3 Martín-Vide, Carlos 3 Meseguer Guaita, José 3 Padawitz, Peter 3 Padberg, Julia 3 Prange, Ulrike 3 Prost, Frédéric 3 Satta, Giorgio 3 Subramanian, Kumbakonam Govindarajan 2 Barthelmann, Klaus 2 Blum, Edward Kenneth 2 Broy, Manfred 2 Castelnovo, Davide 2 Dassow, Jürgen 2 de Lara, Juan 2 Dediu, Adrian Horia 2 Ehrich, Hans-Dieter 2 Fernández, Maribel 2 Flamm, Christoph 2 Gaudel, Marie-Claude 2 Golas, Ulrike 2 Gruner, Stefan 2 Heindel, Tobias 2 Jeong, Tae Eui 2 Jouannaud, Jean-Pierre 2 Kissinger, Aleks 2 Klempien-Hinrichs, Renate 2 Knirsch, Peter 2 Kühnel, Wolfgang 2 Lapoire, Denis 2 Lautemann, Clemens 2 Leih, George 2 Main, Michael G. 2 Mancini, Luigi Vincenzo 2 Merkle, Daniel 2 Métivier, Yves 2 Miculan, Marino 2 Mizoguchi, Yoshihiro 2 Navarro, Marisa 2 Pinaud, Bruno 2 Průša, Daniel ...and 310 more Authors all top 5 Cited in 48 Serials 90 Theoretical Computer Science 29 Journal of Computer and System Sciences 17 Information and Computation 14 Acta Informatica 11 MSCS. Mathematical Structures in Computer Science 9 Journal of Logical and Algebraic Methods in Programming 7 Formal Aspects of Computing 5 Information Processing Letters 5 Information Sciences 5 Mathematical Systems Theory 3 Science of Computer Programming 3 Applied Categorical Structures 3 Diagrammes 2 Artificial Intelligence 2 Computers & Mathematics with Applications 2 Discrete Applied Mathematics 2 Journal of Pure and Applied Algebra 2 Journal of Computer Science and Technology 2 International Journal of Computer Mathematics 2 RAIRO. Informatique Théorique et Applications 2 Natural Computing 2 Logica Universalis 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Computing 1 INFOR 1 Journal of Soviet Mathematics 1 Kybernetika 1 RAIRO, Informatique Théorique 1 Annals of Pure and Applied Logic 1 Algorithmica 1 Forum Mathematicum 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 International Journal of Foundations of Computer Science 1 Journal of Algebraic Combinatorics 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Theory and Applications of Categories 1 Journal of Automata, Languages and Combinatorics 1 International Journal of Applied Mathematics and Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 Journal of Zhejiang University. Science A 1 Journal of Mathematics and the Arts 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge 1 Computer Science Review all top 5 Cited in 22 Fields 400 Computer science (68-XX) 57 Category theory; homological algebra (18-XX) 27 Mathematical logic and foundations (03-XX) 21 Combinatorics (05-XX) 8 General algebraic systems (08-XX) 6 General and overarching topics; collections (00-XX) 4 Quantum theory (81-XX) 4 Operations research, mathematical programming (90-XX) 3 Systems theory; control (93-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.