×
Author ID: golas.ulrike Recent zbMATH articles by "Golas, Ulrike"
Published as: Golas, Ulrike
Documents Indexed: 19 Publications since 2010, including 1 Book
Co-Authors: 15 Co-Authors with 18 Joint Publications
234 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 136 times in 68 Documents Cited by Year
\(\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
Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092
Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
16
2010
\(\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
Graph and model transformation. General framework and applications. Zbl 1341.68002
Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank
14
2015
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1342.68177
Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike
10
2014
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1306.68121
Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike
10
2010
Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. Zbl 1342.68178
Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut
9
2014
Local confluence for rules with nested application conditions. Zbl 1306.68068
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike
7
2010
Parallel independence of amalgamated graph transformations applied to model transformation. Zbl 1309.68106
Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele
7
2010
How to delete categorically – two pushout complement constructions. Zbl 1215.18002
Braatz, Benjamin; Golas, Ulrike; Soboll, Thomas
6
2011
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. Zbl 1284.68324
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
5
2012
Formal analysis of functional behaviour for model transformations based on triple graph grammars. Zbl 1306.68074
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike
5
2010
Multi-amalgamation in adhesive categories. Zbl 1306.68071
Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret
4
2010
A general attribution concept for models in \({\mathcal M}\)-adhesive transformation systems. Zbl 1367.68133
Golas, Ulrike
2
2012
Towards local confluence analysis for amalgamated graph transformation. Zbl 1321.68338
Taentzer, Gabriele; Golas, Ulrike
2
2015
Parallelism and concurrency of stochastic graph transformations. Zbl 1367.68137
Heckel, Reiko; Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
1
2012
Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements. Zbl 1367.68134
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Giese, Holger
1
2012
Formal analysis of model transformations based on triple graph grammars. Zbl 1342.68180
Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando
1
2014
Graph and model transformation. General framework and applications. Zbl 1341.68002
Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank
14
2015
Towards local confluence analysis for amalgamated graph transformation. Zbl 1321.68338
Taentzer, Gabriele; Golas, Ulrike
2
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
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1342.68177
Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike
10
2014
Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. Zbl 1342.68178
Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut
9
2014
Formal analysis of model transformations based on triple graph grammars. Zbl 1342.68180
Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando
1
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
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. Zbl 1284.68324
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando
5
2012
A general attribution concept for models in \({\mathcal M}\)-adhesive transformation systems. Zbl 1367.68133
Golas, Ulrike
2
2012
Parallelism and concurrency of stochastic graph transformations. Zbl 1367.68137
Heckel, Reiko; Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
1
2012
Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements. Zbl 1367.68134
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Giese, Holger
1
2012
How to delete categorically – two pushout complement constructions. Zbl 1215.18002
Braatz, Benjamin; Golas, Ulrike; Soboll, Thomas
6
2011
Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092
Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
16
2010
Finitary \(\mathcal{M}\)-adhesive categories. Zbl 1306.68121
Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike
10
2010
Local confluence for rules with nested application conditions. Zbl 1306.68068
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike
7
2010
Parallel independence of amalgamated graph transformations applied to model transformation. Zbl 1309.68106
Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele
7
2010
Formal analysis of functional behaviour for model transformations based on triple graph grammars. Zbl 1306.68074
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike
5
2010
Multi-amalgamation in adhesive categories. Zbl 1306.68071
Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret
4
2010
all top 5

Cited by 98 Authors

12 Taentzer, Gabriele
11 Behr, Nicolas
8 Ehrig, Hartmut
8 Kosiol, Jens
7 Golas, Ulrike
7 Lambers, Leen
7 Orejas, Fernando
6 Corradini, Andrea
5 Heckel, Reiko
5 Ribeiro, Leila
4 Giese, Holger
4 Krivine, Jean
4 Schneider, Sven
3 Habel, Annegret
3 Lye, Aaron
3 Saadat, Maryam Ghaffari
3 Schürr, Andy
3 Sobociński, Paweł
2 Andersen, Jakob Lykke
2 Arendt, Thorsten
2 Brown, Kristopher
2 Campbell, Graham H.
2 Durán, Francisco
2 Duval, Dominique
2 Dyck, Johannes
2 Ermel, Claudia
2 Fairbanks, James P.
2 Fritsche, Lars
2 Hanks, Tyler
2 Harmer, Russ
2 Hermann, Frank
2 John, Stefan
2 Kreowski, Hans-Jörg
2 Lowe, Michael J. S.
2 Maximova, Maria
2 Merkle, Daniel
2 Nassar, Nebras
2 Patterson, Evan
2 Plump, Detlef
2 Prost, Frédéric
2 Sandmann, Christian
2 Strüber, Daniel
1 Anjorin, Anthony
1 Azzi, Guilherme Grochau
1 Baldan, Paolo
1 Besova, Galina
1 Biermann, Enrico
1 Bisztray, Dénes
1 Bonchi, Filippo
1 Born, Kristopher
1 Braatz, Benjamin
1 Bucchiarone, Antonio
1 Chechik, Marsha
1 Courtehoute, Brian
1 da Costa Cavalheiro, Simone André
1 Danos, Vincent
1 Dershowitz, Nachum
1 Echahed, Rachid
1 Endrullis, Jörg
1 Fernandez, Alexandre
1 Fiadeiro, José Luiz
1 Flamm, Christoph
1 Foss, Luciana
1 Gabriel, Karsten
1 Gadducci, Fabio
1 Garnier, Ilias
1 Heindel, Tobias
1 Jouannaud, Jean-Pierre
1 Kissinger, Aleks
1 Kock, Joachim
1 König, Barbara
1 König, Harald
1 Leblebici, Erhan
1 Lopes, Antónia
1 Machado, Rodrigo
1 Macías, Fernando
1 Maignan, Luidnel
1 Moreno-Delgado, Antonio
1 Navarro, Marisa
1 Overbeek, Roy
1 Padberg, Julia
1 Pavlović, Duško
1 Pelliccione, Patrizio
1 Pino, Elvira
1 Plöger, Jennifer
1 Rosset, Aloïs
1 Rubin, Julia
1 Runge, Olga
1 Rutle, Adrian
1 Schulz, Christoph
1 Spicher, Antoine
1 Stadler, Peter F.
1 Steenken, Dominik
1 Ţuţu, Ionuţ
1 Wehrheim, Heike
1 Wolter, Uwe E.
1 Zanasi, Fabio
1 Zschaler, Steffen

Citations by Year