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

Action refinement for Vertical Implementation., and . FBT, volume 315 of GMD-Studien, page 69-78. GMD-Forschungszentrum Informationstechnik GmbH, (1997)Graph- versus Vector-Based Analysis of a Consensus Protocol., , and . GRAPHITE, volume 159 of EPTCS, page 44-57. (2014)Canonical Graph Shapes.. ESOP, volume 2986 of Lecture Notes in Computer Science, page 401-415. Springer, (2004)Model Checking Graph Transformations: A Comparison of Two Approaches., , and . ICGT, volume 3256 of Lecture Notes in Computer Science, page 226-241. Springer, (2004)Contents for a Model-Based Software Engineering Body of Knowledge., , , , , , , , , and 3 other author(s). Softw. Syst. Model., 18 (6): 3193-3205 (2019)On a Graph-Based Semantics for UML Class and Object Diagrams., and . ECEASST, (2008)Incremental Pattern Matching for Regular Expressions., , and . ECEASST, (2012)The GROOVE Simulator: A Tool for State Space Generation. 3062, page 479--485. (2004)Class Diagram Restructuring with GROOVE., and . TTC, volume 135 of EPTCS, page 83-87. (2013)Bisimilarity of Open Terms.. Inf. Comput., 156 (1-2): 345-385 (2000)