×

Kreowski, Hans-Jörg

Author ID: kreowski.hans-jorg Recent zbMATH articles by "Kreowski, Hans-Jörg"
Published as: Kreowski, Hans-Jörg; Kreowski, H.-J.; Kreowski, Hans-Joerg; Kreowski, H. J.; Kreowsky, H. J.
Homepage: http://www.informatik.uni-bremen.de/theorie/kreo/
External Links: MGP · Wikidata · dblp · GND · IdRef
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

Publications by Year

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 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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.