ZIB-Logo
KONRAD-ZUSE-ZENTRUM
FÜR INFORMATIONSTECHNIK
BERLIN

Dr. Ulrike Golas - Gast

Zuse-Institut Berlin (ZIB)
Bereich Informatik
Abteilung Verteilte Algorithmen und Supercomputing

Takustr. 7
D-14195 Berlin-Dahlem
Germany

Email:     golasatzib.de
Telefon:  +49 30 84185-318
Fax:       +49 30 84185-311
Raum:    3153

2014 | 2013 | 2012 | 2011

2014

K. Gabriel, B. Braatz, H. Ehrig, U. Golas Finitary M-Adhesive Categories BibTeX
DOI
F. Hermann, H. Ehrig, U. Golas, F. Orejas Formal Analysis of Model Transformations Based on Triple Graph Grammars BibTeX
DOI
H. Ehrig, U. Golas, A. Habel, L. Lambers, F. Orejas M-Adhesive Transformation Systems with Nested Application Conditions. Part 1: Parallelism, Concurreny and Amalgamation BibTeX
DOI
U. Golas, A. Habel, H. Ehrig Multi-Amalgamation of Rules with Application Conditions in M-Adhesive Categories BibTeX
DOI

2013

F. Orejas, A. Boronat, U. Golas, N. Mylonakis Checking Bisimilarity for Attributed Graph Transformation BibTeX
DOI

2012

Ulrike Golas A General Attribution Concept for Models in M- adhesive Transformation Systems: Long Version PDF
BibTeX
URN
DOI
U. Golas A General Attribution Concept for Models in M-Adhesive Transformation Systems BibTeX
DOI
T. Soboll, U. Golas A Local-Global Model for Multiagent Systems - Sheaves on the Category MAS BibTeX
U. Golas, L. Lambers, H. Ehrig, F. Orejas Attributed Graph Transformation with Inheritance BibTeX
DOI
H. Ehrig, U. Golas, A. Habel, L. Lambers, F. Orejas M-Adhesive Transformation Systems with Nested Application Conditions. Part 2 BibTeX
DOI
R. Heckel, H. Ehrig, U. Golas, F. Hermann Parallelism and Concurrency of Stochastic Graph Transformations BibTeX
DOI
Proceedings of ACCAT 2012 BibTeX
DOI
U. Golas, L. Lambers, H. Ehrig, H. Giese Towards Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements BibTeX
DOI

2011

U. Golas, E. Biermann, H. Ehrig, C. Ermel A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation BibTeX
U. Golas, H. Ehrig, F. Hermann Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions BibTeX
U. Golas, K. Hoffmann, H. Ehrig, A. Rein, J. Padberg Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks BibTeX
F. Chabarek, U. Golas Interaktive Vervollständigung der Szenariobasierten Spezifikation eines Parkassistenzsystems BibTeX