Edit Profile (opens in new tab) Golas, Ulrike Co-Author Distance Author ID: 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 all top 5 Co-Authors 1 single-authored 15 Ehrig, Hartmut 7 Orejas, Fernando 5 Habel, Annegret 5 Hermann, Frank 5 Lambers, Leen 3 Braatz, Benjamin 2 Ermel, Claudia 2 Gabriel, Karsten 2 Taentzer, Gabriele 1 Biermann, Enrico 1 Boronat, Artur 1 Giese, Holger 1 Heckel, Reiko 1 Mylonakis, Nikos 1 Soboll, Thomas all top 5 Serials 4 MSCS. Mathematical Structures in Computer Science 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Fundamenta Informaticae 1 Monographs in Theoretical Computer Science. An EATCS Series Fields 19 Computer science (68-XX) 10 Category theory; homological algebra (18-XX) 1 Combinatorics (05-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 6 Serials 15 Journal of Logical and Algebraic Methods in Programming 8 Theoretical Computer Science 8 MSCS. Mathematical Structures in Computer Science 2 Logical Methods in Computer Science 1 Formal Aspects of Computing 1 Computer Languages, Systems & Structures all top 5 Cited in 8 Fields 67 Computer science (68-XX) 21 Category theory; homological algebra (18-XX) 3 Biology and other natural sciences (92-XX) 2 Mathematical logic and foundations (03-XX) 2 Probability theory and stochastic processes (60-XX) 1 Combinatorics (05-XX) 1 Associative rings and algebras (16-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year