Ulrike Golas - RankMe

29 papers B 9Journal 12Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Empowering Information Literacy Through Learning Nuggets on Toolification of Scientific Workflows. ECIL Anna Buerklen, Ulrike Golas, Johanna Gröpler
2015	—	`book`	Graph and Model Transformation - General Framework and Applications Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
2015	B	`conf`	Towards Local Confluence Analysis for Amalgamated Graph Transformation. ICGT Gabriele Taentzer, Ulrike Golas
2014	J	`jnl`	Finitary ℳ-adhesive categories. Math. Struct. Comput. Sci. Karsten Gabriel, Benjamin Braatz, Hartmut Ehrig, Ulrike Golas
2014	J	`jnl`	Formal analysis of model transformations based on triple graph grammars. Math. Struct. Comput. Sci. Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
2014	J	`jnl`	Multi-amalgamation of rules with application conditions in ℳ-adhesive categories. Math. Struct. Comput. Sci. Ulrike Golas, Annegret Habel, Hartmut Ehrig
2014	J	`jnl`	ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
2013	B	`conf`	Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis
2012	B	`conf`	A General Attribution Concept for Models in ℳ-Adhesive Transformation Systems. ICGT Ulrike Golas
2012	—	`conf`	A Local-global Model for Multiagent Systems - Sheaves on the Category MAS. ICAART (2) Thomas Soboll, Ulrike Golas
2012	J	`jnl`	Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas
2012	B	`conf`	Parallelism and Concurrency of Stochastic Graph Transformations. ICGT Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann
2012	—	`ed.`	Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012. ACCAT Ulrike Golas, Thomas Soboll
2012	B	`conf`	Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. ICGT Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese
2012	J	`jnl`	ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundam. Informaticae Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
2011	J	`jnl`	A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel
2011	—	`—`	Analysis and correctness of algebraic graph and model transformations. Ulrike Golas
2011	J	`jnl`	Foreword. J. Symb. Comput. Jochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll
2011	J	`jnl`	Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ulrike Golas, Hartmut Ehrig, Frank Hermann
2011	J	`jnl`	How to delete categorically - Two pushout complement constructions. J. Symb. Comput. Benjamin Braatz, Ulrike Golas, Thomas Soboll
2011	—	`conf`	Interaktive Vervollständigung der Szenariobasierten Spezifikation eines Parkassistenzsystems. GI-Jahrestagung Fadi Chabarek, Ulrike Golas
2010	J	`jnl`	Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. Bull. EATCS Hartmut Ehrig, Ulrike Golas, Frank Hermann
2010	—	`conf`	Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. MDI@MoDELS Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
2010	B	`conf`	Finitary ℳ-Adhesive Categories. ICGT Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas
2010	B	`conf`	Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas
2010	J	`jnl`	Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg
2010	B	`conf`	Local Confluence for Rules with Nested Application Conditions. ICGT Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas
2010	B	`conf`	Multi-Amalgamation in Adhesive Categories. ICGT Ulrike Golas, Hartmut Ehrig, Annegret Habel
2010	—	`conf`	Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation. Graph Transformations and Model-Driven Engineering Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer