Ulrike Golas - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2015

Graph and Model Transformation - General Framework and ApplicationsHartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann 0001. Monographs in Theoretical Computer Science. An EATCS Series, Springer, 2015. [doi]

Towards Local Confluence Analysis for Amalgamated Graph TransformationGabriele Taentzer, Ulrike Golas. gg 2015: 69-86 [doi]

2014

2013

Checking Bisimilarity for Attributed Graph TransformationFernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis. fossacs 2013: 113-128 [doi]

2012

ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local ConfluenceHartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas. FUIN, 118(1-2):35-63, 2012. [doi]

A General Attribution Concept for Models in ${\cal M}$ -Adhesive Transformation SystemsUlrike Golas. gg 2012: 187-202 [doi]

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target ElementsUlrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese. gg 2012: 141-155 [doi]

Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairsUlrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas. TCS, 424:46-68, 2012. [doi]

Parallelism and Concurrency of Stochastic Graph TransformationsReiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann 0001. gg 2012: 96-110 [doi]

A Local-global Model for Multiagent Systems - Sheaves on the Category MASThomas Soboll, Ulrike Golas. icaart 2012: 331-334

2011

How to delete categorically - Two pushout complement constructionsBenjamin Braatz, Ulrike Golas, Thomas Soboll. JSC, 46(3):246-271, 2011. [doi]

Interaktive Vervollständigung der Szenariobasierten Spezifikation eines ParkassistenzsystemsFadi Chabarek, Ulrike Golas. gi 2011: 209 [doi]

Analysis and correctness of algebraic graph and model transformationsUlrike Golas. PhD thesis, Berlin Institute of Technology, 2011.

Formal Specification of Model Transformations by Triple Graph Grammars with Application ConditionsUlrike Golas, Hartmut Ehrig, Frank Hermann 0001. eceasst, 39, 2011. [doi]

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph TransformationUlrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel. eceasst, 39, 2011. [doi]

ForewordJochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll. JSC, 46(3):219-221, 2011. [doi]

2010

Efficient analysis and execution of correct and complete model transformations based on triple graph grammarsFrank Hermann 0001, Hartmut Ehrig, Ulrike Golas, Fernando Orejas. MoDELS 2010: 22-31 [doi]

Parallel Independence of Amalgamated Graph Transformations Applied to Model TransformationEnrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer. BIRTHDAY 2010: 121-140 [doi]

Finitary ::::M::::/mathcal{M}-Adhesive CategoriesBenjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas. gg 2010: 234-249 [doi]

Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO ApproachHartmut Ehrig, Ulrike Golas, Frank Hermann 0001. eatcs, 102:111-121, 2010. [doi]

Local Confluence for Rules with Nested Application ConditionsHartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas. gg 2010: 330-345 [doi]

Multi-Amalgamation in Adhesive CategoriesUlrike Golas, Hartmut Ehrig, Annegret Habel. gg 2010: 346-361 [doi]

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc NetworksUlrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg. eceasst, 40, 2010. [doi]

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph GrammarsFrank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas. gg 2010: 155-170 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Ulrike Golas'

Viewing Publication 1 - 27 from 27

2015

2014

2013

2012

2011

2010

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by VenueOR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Ulrike Golas'

Viewing Publication 1 - 27 from 27

2015

2014

2013

2012

2011

2010

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1