PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Golas, Ulrike"

Author of the publication

copydeleteadd this publication to your clipboard
How to delete categorically - Two pushout complement constructions.

, , and . J. Symb. Comput., 46 (3): 246-271 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

apl. Prof. Dr. Ulrike Seeger University of Stuttgart

Ulrike Mergenthaler University of Stuttgart

Hon. -Prof. Dr. -Ing. Ulrike Scherzer University of Stuttgart

Univ. -Prof. Ulrike Böhm University of Stuttgart

Hon. -Prof. Dr. Ulrike Plate University of Stuttgart

 

Other publications of authors with the same name

Efficient analysis and execution of correct and complete model transformations based on triple graph grammars., , , and . MDI@MoDELS, page 22-31. ACM, (2010)Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach., , and . Bulletin of the EATCS, (2010)Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs., , , and . Theor. Comput. Sci., (2012)Multi-amalgamation of rules with application conditions in -adhesive categories., , and . Mathematical Structures in Computer Science, (2014)Graph and Model Transformation - General Framework and Applications, , , and . Monographs in Theoretical Computer Science. An EATCS Series Springer, (2015)Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation., , , , and . Graph Transformations and Model-Driven Engineering, volume 5765 of Lecture Notes in Computer Science, page 121-140. Springer, (2010)Multi-Amalgamation in Adhesive Categories., , and . ICGT, volume 6372 of Lecture Notes in Computer Science, page 346-361. Springer, (2010)Local Confluence for Rules with Nested Application Conditions., , , , and . ICGT, volume 6372 of Lecture Notes in Computer Science, page 330-345. Springer, (2010)Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks., , , , and . ECEASST, (2010)Formal analysis of model transformations based on triple graph grammars., , , and . Mathematical Structures in Computer Science, (2014)