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

Subjects, Models, Languages, Transformations.. Language Engineering for Model-Driven Software Development, volume 04101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2004)How do we teach modelling and model-driven engineering?: a survey., , , , , , , , , and 2 other author(s). MoDELS (Companion), page 122-129. ACM, (2018)An Event-Based SOS for a Language with Refinement.. STRICT, page 294-309. Springer, (1995)Model Checking Birth and Death., , and . IFIP TCS, volume 223 of IFIP Conference Proceedings, page 435-447. Kluwer, (2002)Compositionality in Graph Transformation.. ICALP (2), volume 6199 of Lecture Notes in Computer Science, page 309-320. Springer, (2010)Graph Transforming Java Data., , and . FASE, volume 7212 of Lecture Notes in Computer Science, page 209-223. Springer, (2012)Action Contraction.. CONCUR, volume 1877 of Lecture Notes in Computer Science, page 290-304. Springer, (2000)Who is Pointing When to Whom?, , and . FSTTCS, volume 3328 of Lecture Notes in Computer Science, page 250-262. Springer, (2004)Towards Compliance Verification Between Global and Local Process Models., , , and . ICGT, volume 9151 of Lecture Notes in Computer Science, page 221-236. Springer, (2015)Graph-Based Tools: The Contest., and . ICGT, volume 5214 of Lecture Notes in Computer Science, page 463-466. Springer, (2008)