×

zbMATH — the first resource for mathematics

Prange, Ulrike

Compute Distance To:
Author ID: prange.ulrike Recent zbMATH articles by "Prange, Ulrike"
Published as: Prange, Ulrike
Documents Indexed: 25 Publications since 2004, including 2 Books

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 166 times in 108 Documents Cited by Year
Fundamentals of algebraic graph transformation. Zbl 1095.68047
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
90
2006
Adhesive high-level replacement categories and systems. Zbl 1116.68480
Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike
10
2004
Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories. Zbl 1106.68055
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
9
2006
Attributed graph transformation with node type inheritance. Zbl 1116.68042
de Lara, Juan; Bardohl, Roswitha; Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
7
2007
Fundamental theory for typed attributed graph transformation. Zbl 1116.68481
Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele
7
2004
A logic of graph constraints. Zbl 1171.68516
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
6
2008
Reasoning with graph constraints. Zbl 1209.68381
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
5
2010
Termination analysis of model transformations by Petri nets. Zbl 1156.68501
Varró, Dániel; Varró-Gyapay, Szilvia; Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele
5
2006
Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056
Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret
5
2006
Construction and properties of adhesive and weak adhesive high-level replacement categories. Zbl 1143.18005
Prange, Ulrike; Ehrig, Hartmut; Lambers, Leen
4
2008
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. Zbl 1277.68194
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
3
2008
Weak adhesive high-level replacement categories and systems: a unifying framework for graph and Petri net transformations. Zbl 1133.68055
Ehrig, Hartmut; Prange, Ulrike
3
2006
Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361
Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike
2
2009
Independence of net transformations and token firing in reconfigurable place/transition systems. Zbl 1226.68052
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Prange, Ulrike; Ermel, Claudia
2
2007
Categorical foundations of distributed graph transformation. Zbl 1157.68039
Ehrig, Hartmut; Orejas, Fernando; Prange, Ulrike
2
2006
Consistent integration of models based on views of meta models. Zbl 1209.68081
Ehrig, Hartmut; Ehrig, Karsten; Ermel, Claudia; Prange, Ulrike
1
2010
Towards algebraic high-level systems as weak adhesive HLR categories. Zbl 1277.68150
Prange, Ulrike
1
2008
Formal analysis of model transformations based on triple graph rules with kernels. Zbl 1175.68222
Ehrig, Hartmut; Prange, Ulrike
1
2008
Embedding and confluence of graph transformations with negative application conditions. Zbl 1175.68227
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
1
2008
Transformations in reconfigurable place/transition systems. Zbl 1144.68043
Prange, Ulrike; Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia
1
2008
Termination criteria for DPO transformations with injective matches. Zbl 1278.68123
Levendovszky, Tihamér; Prange, Ulrike; Ehrig, Hartmut
1
2007
Reasoning with graph constraints. Zbl 1209.68381
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
5
2010
Consistent integration of models based on views of meta models. Zbl 1209.68081
Ehrig, Hartmut; Ehrig, Karsten; Ermel, Claudia; Prange, Ulrike
1
2010
Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361
Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike
2
2009
A logic of graph constraints. Zbl 1171.68516
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike
6
2008
Construction and properties of adhesive and weak adhesive high-level replacement categories. Zbl 1143.18005
Prange, Ulrike; Ehrig, Hartmut; Lambers, Leen
4
2008
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. Zbl 1277.68194
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
3
2008
Towards algebraic high-level systems as weak adhesive HLR categories. Zbl 1277.68150
Prange, Ulrike
1
2008
Formal analysis of model transformations based on triple graph rules with kernels. Zbl 1175.68222
Ehrig, Hartmut; Prange, Ulrike
1
2008
Embedding and confluence of graph transformations with negative application conditions. Zbl 1175.68227
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando
1
2008
Transformations in reconfigurable place/transition systems. Zbl 1144.68043
Prange, Ulrike; Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia
1
2008
Attributed graph transformation with node type inheritance. Zbl 1116.68042
de Lara, Juan; Bardohl, Roswitha; Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
7
2007
Independence of net transformations and token firing in reconfigurable place/transition systems. Zbl 1226.68052
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Prange, Ulrike; Ermel, Claudia
2
2007
Termination criteria for DPO transformations with injective matches. Zbl 1278.68123
Levendovszky, Tihamér; Prange, Ulrike; Ehrig, Hartmut
1
2007
Fundamentals of algebraic graph transformation. Zbl 1095.68047
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
90
2006
Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories. Zbl 1106.68055
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele
9
2006
Termination analysis of model transformations by Petri nets. Zbl 1156.68501
Varró, Dániel; Varró-Gyapay, Szilvia; Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele
5
2006
Adhesive high-level replacement systems: a new categorical framework for graph transformation. Zbl 1106.68056
Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret
5
2006
Weak adhesive high-level replacement categories and systems: a unifying framework for graph and Petri net transformations. Zbl 1133.68055
Ehrig, Hartmut; Prange, Ulrike
3
2006
Categorical foundations of distributed graph transformation. Zbl 1157.68039
Ehrig, Hartmut; Orejas, Fernando; Prange, Ulrike
2
2006
Adhesive high-level replacement categories and systems. Zbl 1116.68480
Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike
10
2004
Fundamental theory for typed attributed graph transformation. Zbl 1116.68481
Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele
7
2004
all top 5

Cited by 158 Authors

19 Ehrig, Hartmut
12 Orejas, Fernando
9 Corradini, Andrea
8 Lambers, Leen
7 Golas, Ulrike
7 König, Barbara
7 Prange, Ulrike
7 Taentzer, Gabriele
6 de Lara, Juan
6 Ribeiro, Leila
6 Wolter, Uwe E.
5 König, Harald
5 Sobociński, Paweł
4 Bonchi, Filippo
4 Ermel, Claudia
4 Guerra, Esther
4 Heindel, Tobias
4 Hermann, Frank
4 Kahl, Wolfram
4 Rutle, Adrian
3 Echahed, Rachid
3 Gadducci, Fabio
3 Giese, Holger
3 Habel, Annegret
3 Kosiol, Jens
3 Lowe, Michael J. S.
3 Rossini, Alessandro
2 Arbab, Farhad
2 Arendt, Thorsten
2 Baldan, Paolo
2 Birkedal, Lars
2 Braatz, Benjamin
2 Bruggink, H. J. Sander
2 Damgaard, Troels Christoffer
2 Dixon, Lucas
2 Drewes, Frank
2 Durán, Francisco
2 Duval, Dominique
2 Ehrig, Karsten
2 Gabriel, Karsten
2 Glenstrup, Arne John
2 Heckel, Reiko
2 Kissinger, Aleks
2 Krause, Christian
2 Lamo, Yngve
2 Lazovik, Alexander
2 Liu, Zhiming
2 Milner, Robin
2 Navarro, Marisa
2 Nolte, Dennis
2 Padberg, Julia
2 Pennemann, Karl-Heinz
2 Pino, Elvira
2 Prost, Frédéric
2 Rensink, Arend
2 Schulz, Christoph
2 Schürr, Andy
2 Strüber, Daniel
1 Arthan, Rob D.
1 Azzi, Guilherme Grochau
1 Bardohl, Roswitha
1 Barkowsky, Matthias
1 Behr, Nicolas
1 Bensch, Suna
1 Besova, Galina
1 Beyhl, Thomas
1 Biermann, Enrico
1 Bisztray, Dénes
1 Blouin, Dominique
1 Born, Kristopher
1 Boronat, Artur
1 Bottoni, Paolo
1 Bouassida Rodriguez, Ismael
1 Boy de la Tour, Thierry
1 Bucchiarone, Antonio
1 Chechik, Marsha
1 Clark, Terry L.
1 da Costa Cavalheiro, Simone André
1 Da Costa, Simone André
1 Daneshgar, Amir
1 Diskin, Zinovy
1 Drira, Kalil
1 Duncan, Ross
1 Fahland, Dirk
1 Foss, Luciana
1 Fritsche, Lars
1 Frühwirth, Thom
1 Gassara, Amal
1 Grov, Gudmund
1 Guck, Dennis
1 Hoffmann, Berthold
1 Ida, Tetsuo
1 Jmaiel, Mohamed
1 Junges, Sebastian
1 Jürgensen, Helmut
1 Katoen, Joost-Pieter
1 Ke, Wei
1 Klar, Felix
1 Köhler-Bußmeier, Michael
1 Köhler, Christian
...and 58 more Authors

Citations by Year