Concepedia
Statistics
Publications
14
Citations
375
H-Index
12
Active since
2009
Affiliations
Technische Universität Berlin(Current)
Zuse Institute Berlin
University of Luxembourg
Universitat Politècnica de Catalunya
Carl von Ossietzky Universität Oldenburg
Ulrike Golas is an author at Technische Universität Berlin specializing in formal methods, computer science, and computing.
Publications per year
2009–2024
Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach
Hartmut Ehrig, Ulrike Golas, Frank Hermann · Open Repository and Bibliography (University of Luxembourg) · 2013 · 65 citations · Full text
Architecture, Design, Data Structures +6
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
Hartmut Ehrig, Ulrike Golas, Annegret Habel et al. · Mathematical Structures in Computer Science · 2014 · 61 citations · Full text
Natural Sciences, Mathematics, Formal Methods +8
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
Hartmut Ehrig, Ulrike Golas, Annegret Habel et al. · Fundamenta Informaticae · 2012 · 49 citations
Computing, Computer Science, Formal Methods +1
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars
Frank Hermann, Hartmut Ehrig, Ulrike Golas et al. · 2010 · 48 citations · Full text
Computing, Computer Science, Formal Methods +14
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs
Ulrike Golas, Leen Lambers, Hartmut Ehrig et al. · Theoretical Computer Science · 2012 · 24 citations
Social Sciences, Conflict Studies, Conflict Analysis +6
1–5 of 14