Dr. Ulrike Golas - Staff
URL: Personal Homepage
Zuse Institute Berlin (ZIB)
Computer Science
Department Parallel and Distributed Systems
Takustr. 7
D-14195 Berlin-Dahlem
Germany
Email: golas
zib.de
Phone: +49 30 84185-318
Fax: +49 30 84185-311
Room: 3153
Computer Science
Department Parallel and Distributed Systems
Takustr. 7
D-14195 Berlin-Dahlem
Germany
Email: golas
zib.dePhone: +49 30 84185-318
Fax: +49 30 84185-311
Room: 3153
Publications
2013 |
|||
| F. Orejas, A. Boronat, U. Golas, N. Mylonakis | Checking Bisimilarity for Attributed Graph Transformation | Foundations of Software Science and Computation Structures. Proceedings of FOSSACS 2013, LNCS, March, E. Pfenning (Ed.), Vol. 7794, pp. 113-128, Springer, 2013 | DOI BibTex | RIS |
2012 |
|||
| Ulrike Golas | A General Attribution Concept for Models in M- adhesive Transformation Systems: Long Version | ZIB-Report 12-22 | PDF BibTex | RIS |
| U. Golas | A General Attribution Concept for Models in M-Adhesive Transformation Systems | Proceedings of ICGT 2012, LNCS, September, H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), Vol. 7562, pp. 187-202, Springer, 2012 | DOI BibTex | RIS |
| T. Soboll, U. Golas | A Local-Global Model for Multiagent Systems - Sheaves on the Category MAS | Proceedings of ICAART 2012, J. Filipe, A. Fred (Eds.), Vol. 2, pp. 331-334, SciTePress, 2012 | BibTex | RIS |
| U. Golas, L. Lambers, H. Ehrig, F. Orejas | Attributed Graph Transformation with Inheritance: Efficient Conflict Detection and Local Confluence Analysis Using Abstract Critical Pairs | Theoretical Computer Science, Vol. 424, pp. 46-68, 2012 | DOI BibTex | RIS |
| H. Ehrig, U. Golas, A. Habel, L. Lambers, F. Orejas | M-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence | Fundamenta Informaticae, Vol. 118, No. 1-2, pp. 35-63, 2012 | DOI BibTex | RIS |
| R. Heckel, H. Ehrig, U. Golas, F. Hermann | Parallelism and Concurrency of Stochastic Graph Transformations | Proceedings of ICGT 2012, LNCS, September, H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), Vol. 7562, pp. 96-110, Springer, 2012 | DOI BibTex | RIS |
| 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 | Proceedings of ICGT 2012, LNCS, September, H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), Vol. 7562, pp. 141-155, Springer, 2012 | DOI BibTex | RIS |
2011 |
|||
| U. Golas, E. Biermann, H. Ehrig, C. Ermel | A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation | ECEASST, Vol. 39, pp. 1-24, 2011 | BibTex | RIS |
| U. Golas, H. Ehrig, F. Hermann | Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions | ECEASST, Vol. 39, pp. 1-26, 2011 | BibTex | RIS |
| 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 | ECEASST, Vol. 40, pp. 1-20, 2011 | BibTex | RIS |
| F. Chabarek, U. Golas | Interaktive Vervollständigung der Szenariobasierten Spezifikation eines Parkassistenzsystems | Proceedings of GI-ASE 2011, GI-Edition LNI, H.-U. Heiß, P. Pepper, H. Schlingloff, J. Schneider (Eds.), 2011 | BibTex | RIS |