Author of the publication

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.

 

Other publications of authors with the same name

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories., , and . Applied Categorical Structures, 16 (3): 365-388 (2008)Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System., , , , , and . STTT, 12 (3-4): 245-261 (2010)Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs., , , and . Theor. Comput. Sci., (2012)Certifying rule-based models using graph transformation.. Berlin Institute of Technology, (2009)Automatic verification of behavior preservation at the transformation level for relational model transformation., , and . Software and Systems Modeling, 18 (5): 2937-2972 (2019)Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case., , , and . ECEASST, (2012)Parallelism and Concurrency Theorems for Rules with Nested Application Conditions., , and . ECEASST, (2010)Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations., , , , and . AGTIVE, volume 7233 of Lecture Notes in Computer Science, page 238-253. Springer, (2011)Initial Conflicts and Dependencies: Critical Pairs Revisited., , , , and . Graph Transformation, Specifications, and Nets, volume 10800 of Lecture Notes in Computer Science, page 105-123. Springer, (2018)Delaying Constraint Solving in Symbolic Graph Transformation., and . ICGT, volume 6372 of Lecture Notes in Computer Science, page 43-58. Springer, (2010)