Ulrike Golas

ORCID

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 1

Top Venues

Math. Struct. Comput. Sci.

ICGT

Fundam. Informaticae

FoSSaCS

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

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

Ulrike Golas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ulrike Golas