×
Author ID: habel.annegret Recent zbMATH articles by "Habel, Annegret"
Published as: Habel, Annegret; Habel, A.
Documents Indexed: 63 Publications since 1983, including 1 Book
Co-Authors: 37 Co-Authors with 60 Joint Publications
516 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

57 Publications have been cited 707 times in 371 Documents Cited by Year
Hyperedge replacement: grammars and languages. Zbl 0787.68066
Habel, Annegret
87
1992
Correctness of high-level transformation systems relative to nested conditions. Zbl 1168.68022
Habel, Annegret; Pennemann, Karl-Heinz
63
2009
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
Graph grammars with negative application conditions. Zbl 0854.68055
Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele
36
1996
Some structural aspects of hypergraph languages generated by hyperedge replacement. Zbl 0635.68077
Habel, Annegret; Kreowski, Hans-Jörg
35
1987
Double-pushout graph transformation revisited. Zbl 0987.18005
Habel, Annegret; Müller, Jürgen; Plump, Detlef
25
2001
From graph grammars to high level replacement systems. Zbl 0765.68088
Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, Francesco
24
1991
Amalgamation of graph transformations: a synchronization mechanism. Zbl 0618.68060
Boehm, Paul; Fonio, Harald-Reto; Habel, Annegret
24
1987
\(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. Zbl 1342.68176
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
22
2014
Adhesive high-level replacement categories and systems. Zbl 1116.68480
Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike
21
2004
Computational completeness of programming languages based on graph transformation. Zbl 0978.68028
Habel, Annegret; Plump, Detlef
19
2001
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 grammars with application conditions. Zbl 0611.68045
Ehrig, H.; Habel, A.
14
1986
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence. Zbl 1242.68128
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
14
2012
Collage grammars. Zbl 0768.68081
Habel, Annegret; Kreowski, Hans-Jörg
12
1991
Weakest preconditions for high-level programs. Zbl 1156.68347
Habel, Annegret; Pennemann, Karl-Heinz; Rensink, Arend
12
2006
Constraints and application conditions: From graphs to high-level structures. Zbl 1116.68479
Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz
11
2004
\(\mathcal M, \mathcal N\)-adhesive transformation systems. Zbl 1367.68135
Habel, Annegret; Plump, Detlef
11
2012
Decidable boundedness problems for sets of graphs generated by hyperedge- replacement. Zbl 0706.68070
Habel, A.; Kreowski, H.-J.; Vogler, W.
11
1991
Relabelling in graph transformation. Zbl 1028.68071
Habel, Annegret; Plump, Detlef
11
2002
Theory of constraints and application conditions: from graphs to high-level structures. Zbl 1106.68054
Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz
11
2006
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
Nested constraints and application conditions for high-level structures. Zbl 1075.68623
Habel, Annegret; Pennemann, Karl-Heinz
9
2005
Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. Zbl 1342.68178
Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut
9
2014
Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056
Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret
8
2006
Satisfiability of high-level conditions. Zbl 1156.68428
Habel, Annegret; Pennemann, Karl-Heinz
7
2006
Local confluence for rules with nested application conditions. Zbl 1306.68068
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike
7
2010
Term graph narrowing. Zbl 0864.68073
Habel, Annegret; Plump, Detlef
6
1996
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
A comparison of compatible, finite, and inductive graph properties. Zbl 0771.68079
Habel, A.; Kreowski, H.-J.; Lautemann, C.
5
1993
Double-pushout approach with injective matching. Zbl 0958.68080
Habel, Annegret; Müller, Jürgen; Plump, Detlef
4
2000
Unification, rewriting, and narrowing on the term graphs. Zbl 0910.68158
Habel, Annegret; Plump, Detlef
4
1995
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
Translating essential OCL invariants to nested graph constraints focusing on set operations. Zbl 1321.68203
Radke, Hendrik; Arendt, Thorsten; Becker, Jan Steffen; Habel, Annegret; Taentzer, Gabriele
4
2015
Multi-amalgamation in adhesive categories. Zbl 1306.68071
Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret
4
2010
Chain-code pictures and collages generated by hyperedge replacement. Zbl 1412.68103
Dassow, Jürgen; Habel, Annegret; Taubenberger, Stefan
4
1996
Compatible graph properties are decidable for hyperedge replacement graph languages. Zbl 0664.68076
Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter
3
1987
Complete strategies for term graph narrowing. Zbl 0956.68073
Habel, Annegret; Plump, Detlef
3
1999
Amalgamation of graph transformations with applications to synchronization. Zbl 0568.68059
Boehm, Paul; Fonio, Harald-Reto; Habel, Annegret
3
1985
Concurrent transformations of relational structures. Zbl 0592.68023
Ehrig, Hartmut; Habel, Annegret; Rosen, Barry K.
3
1986
From Core OCL invariants to nested graph constraints. Zbl 1423.68092
Arendt, Thorsten; Habel, Annegret; Radke, Hendrik; Taentzer, Gabriele
3
2014
A sketch of collage grammars. Zbl 1023.68591
Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S.
3
1993
Graph unification and matching. Zbl 1412.68115
Plump, Detlef; Habel, Annegret
3
1996
On context-free graph languages generated by edge replacement. Zbl 0522.68071
Habel, Annegret; Kreowski, Hans-Joerg
2
1983
High-level programs and program conditions. Zbl 1175.68111
Azab, Karl; Habel, Annegret
2
2008
Rule-based graph repair. Zbl 07453090
Sandmann, Christian; Habel, Annegret
2
2019
Filtering hyperedge-replacement languages through compatible properties. Zbl 0787.68067
Habel, Annegret; Kreowski, Hans-Jörg
1
1990
Modelling parametric contracts and the state space of composite components by graph grammars. Zbl 1119.68347
Reussner, Ralf H.; Happe, Jens; Habel, Annegret
1
2005
A comparison of compatible, finite, and inductive graph properties. Zbl 0706.68068
Habel, A.; Kreowski, H.-J.; Lautemann, C.
1
1991
Hypergraph grammars: Transformational and algorithmic aspects. Zbl 0792.68083
Habel, Annegret
1
1992
Basic results for two types of high-level replacement systems. Zbl 1263.68073
Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, F.
1
2002
Solving equations by graph transformation. Zbl 1263.68077
Habel, Annegret; Plump, Detlef
1
2002
Rule-based graph repair. Zbl 07453090
Sandmann, Christian; Habel, Annegret
2
2019
Translating essential OCL invariants to nested graph constraints focusing on set operations. Zbl 1321.68203
Radke, Hendrik; Arendt, Thorsten; Becker, Jan Steffen; Habel, Annegret; Taentzer, Gabriele
4
2015
\(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. Zbl 1342.68176
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
22
2014
Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. Zbl 1342.68178
Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut
9
2014
From Core OCL invariants to nested graph constraints. Zbl 1423.68092
Arendt, Thorsten; Habel, Annegret; Radke, Hendrik; Taentzer, Gabriele
3
2014
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence. Zbl 1242.68128
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando
14
2012
\(\mathcal M, \mathcal N\)-adhesive transformation systems. Zbl 1367.68135
Habel, Annegret; Plump, Detlef
11
2012
Local confluence for rules with nested application conditions. Zbl 1306.68068
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike
7
2010
Multi-amalgamation in adhesive categories. Zbl 1306.68071
Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret
4
2010
Correctness of high-level transformation systems relative to nested conditions. Zbl 1168.68022
Habel, Annegret; Pennemann, Karl-Heinz
63
2009
High-level programs and program conditions. Zbl 1175.68111
Azab, Karl; Habel, Annegret
2
2008
Weakest preconditions for high-level programs. Zbl 1156.68347
Habel, Annegret; Pennemann, Karl-Heinz; Rensink, Arend
12
2006
Theory of constraints and application conditions: from graphs to high-level structures. Zbl 1106.68054
Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz
11
2006
Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056
Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret
8
2006
Satisfiability of high-level conditions. Zbl 1156.68428
Habel, Annegret; Pennemann, Karl-Heinz
7
2006
Nested constraints and application conditions for high-level structures. Zbl 1075.68623
Habel, Annegret; Pennemann, Karl-Heinz
9
2005
Modelling parametric contracts and the state space of composite components by graph grammars. Zbl 1119.68347
Reussner, Ralf H.; Happe, Jens; Habel, Annegret
1
2005
Adhesive high-level replacement categories and systems. Zbl 1116.68480
Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike
21
2004
Constraints and application conditions: From graphs to high-level structures. Zbl 1116.68479
Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz
11
2004
Relabelling in graph transformation. Zbl 1028.68071
Habel, Annegret; Plump, Detlef
11
2002
Basic results for two types of high-level replacement systems. Zbl 1263.68073
Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, F.
1
2002
Solving equations by graph transformation. Zbl 1263.68077
Habel, Annegret; Plump, Detlef
1
2002
Double-pushout graph transformation revisited. Zbl 0987.18005
Habel, Annegret; Müller, Jürgen; Plump, Detlef
25
2001
Computational completeness of programming languages based on graph transformation. Zbl 0978.68028
Habel, Annegret; Plump, Detlef
19
2001
Double-pushout approach with injective matching. Zbl 0958.68080
Habel, Annegret; Müller, Jürgen; Plump, Detlef
4
2000
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
Complete strategies for term graph narrowing. Zbl 0956.68073
Habel, Annegret; Plump, Detlef
3
1999
Graph grammars with negative application conditions. Zbl 0854.68055
Habel, Annegret; Heckel, Reiko; Taentzer, Gabriele
36
1996
Term graph narrowing. Zbl 0864.68073
Habel, Annegret; Plump, Detlef
6
1996
Chain-code pictures and collages generated by hyperedge replacement. Zbl 1412.68103
Dassow, Jürgen; Habel, Annegret; Taubenberger, Stefan
4
1996
Graph unification and matching. Zbl 1412.68115
Plump, Detlef; Habel, Annegret
3
1996
Unification, rewriting, and narrowing on the term graphs. Zbl 0910.68158
Habel, Annegret; Plump, Detlef
4
1995
Generating self-affine fractals by collage grammars. Zbl 0874.68176
Drewes, F.; Habel, A.; Kreowski, H.-J.; Taubenberger, S.
4
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
Hyperedge replacement: grammars and languages. Zbl 0787.68066
Habel, Annegret
87
1992
Introduction to graph grammars with applications to semantic networks. Zbl 0706.68066
Ehrig, H.; Habel, A.; Kreowski, H. J.
4
1992
Hypergraph grammars: Transformational and algorithmic aspects. Zbl 0792.68083
Habel, Annegret
1
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
From graph grammars to high level replacement systems. Zbl 0765.68088
Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, Francesco
24
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
A comparison of compatible, finite, and inductive graph properties. Zbl 0706.68068
Habel, A.; Kreowski, H.-J.; Lautemann, C.
1
1991
Filtering hyperedge-replacement languages through compatible properties. Zbl 0787.68067
Habel, Annegret; Kreowski, Hans-Jörg
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
Amalgamation of graph transformations: a synchronization mechanism. Zbl 0618.68060
Boehm, Paul; Fonio, Harald-Reto; Habel, Annegret
24
1987
Characteristics of graph languages generated by edge replacement. Zbl 0636.68100
Habel, Annegret; Kreowski, Hans-Jörg
10
1987
Compatible graph properties are decidable for hyperedge replacement graph languages. Zbl 0664.68076
Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter
3
1987
Graph grammars with application conditions. Zbl 0611.68045
Ehrig, H.; Habel, A.
14
1986
Concurrent transformations of relational structures. Zbl 0592.68023
Ehrig, Hartmut; Habel, Annegret; Rosen, Barry K.
3
1986
Amalgamation of graph transformations with applications to synchronization. Zbl 0568.68059
Boehm, Paul; Fonio, Harald-Reto; Habel, Annegret
3
1985
On context-free graph languages generated by edge replacement. Zbl 0522.68071
Habel, Annegret; Kreowski, Hans-Joerg
2
1983
all top 5

Cited by 335 Authors

31 Ehrig, Hartmut
22 Drewes, Frank
20 Corradini, Andrea
20 Taentzer, Gabriele
19 Kreowski, Hans-Jörg
19 Plump, Detlef
18 Engelfriet, Joost
17 Orejas, Fernando
16 Habel, Annegret
15 Courcelle, Bruno
15 Lambers, Leen
10 Giese, Holger
10 König, Barbara
10 Kuske, Sabine
10 Prange, Ulrike
9 Behr, Nicolas
9 Gadducci, Fabio
9 Hoffmann, Berthold
8 Heckel, Reiko
8 Minas, Mark
8 Montanari, Ugo G.
8 Sobociński, Paweł
7 Golas, Ulrike
7 Kosiol, Jens
7 Lowe, Michael J. S.
7 Ribeiro, Leila
7 Rozenberg, Grzegorz
7 Schneider, Sven
7 Wanke, Egon
6 Baldan, Paolo
6 Echahed, Rachid
6 Maximova, Maria
6 Rossi, Francesca
6 Schürr, Andy
6 Vogler, Heiko
5 Heindel, Tobias
5 Hermann, Frank
5 Kahl, Wolfram
5 Kim, Changwook
5 Lye, Aaron
5 Padberg, Julia
5 Parisi-Presicce, Francesco
4 Arrighi, Pablo
4 Bauderon, Michel
4 Bonchi, Filippo
4 Campbell, Graham H.
4 Endrullis, Jörg
4 Heyker, Linda
4 Kirchner, Hélène
4 Klempien-Hinrichs, Renate
4 Krivine, Jean
4 Overbeek, Roy
4 Pennemann, Karl-Heinz
4 Skodinis, Konstantin
3 Arendt, Thorsten
3 Banach, Richard
3 Barthelmann, Klaus
3 Bruggink, H. J. Sander
3 Bruni, Roberto
3 Busatto, Giorgio
3 Duval, Dominique
3 Ehrig, Karsten
3 Fernández, Maribel
3 Harmer, Russ
3 Makowsky, Johann-Andreas
3 Martiel, Simon
3 Navarro, Marisa
3 Perdrix, Simon
3 Pinaud, Bruno
3 Pino, Elvira
3 Prost, Frédéric
3 Saadat, Maryam Ghaffari
3 Satta, Giorgio
3 Strüber, Daniel
3 Subramanian, Kumbakonam Govindarajan
2 Anjorin, Anthony
2 Barkowsky, Matthias
2 Bodlaender, Hans L.
2 Bucchiarone, Antonio
2 Castelnovo, Davide
2 Ceterchi, Rodica
2 Courtehoute, Brian
2 Dassow, Jürgen
2 Durán, Francisco
2 Dyck, Johannes
2 Engels, Gregor
2 Ermel, Claudia
2 Fritsche, Lars
2 Gnesi, Stefania
2 Hanus, Michael
2 Jeong, Tae Eui
2 Jouannaud, Jean-Pierre
2 Kissinger, Aleks
2 Knirsch, Peter
2 König, Harald
2 Lapoire, Denis
2 Lautemann, Clemens
2 Leih, George
2 Lluch Lafuente, Alberto
2 Lohrey, Markus
...and 235 more Authors

Citations by Year