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

Principled simulation of cell proliferation dynamics using the CoSMoS approach., and . Nat. Comput., 14 (1): 63-82 (2015)The role of living laboratories in unlocking the potential of low-carbon energy technologies on the journey to net-zero., , , , , , , , , and 1 other author(s). CoRR, (2022)Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries., , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2006)An Agile and Extensible Code Generation Framework., , and . XP, volume 3556 of Lecture Notes in Computer Science, page 226-229. Springer, (2005)SAZ., , and . Z User Workshop, page 384-384. Springer, (1990)Refactoring in Maintenance and Development of Z Specifications and Proofs, , and . Electronic Notes in Theoretical Computer Science, 70 (3): 50--69 (November 2002)Frameworks Based on Templates for Rigorous Model-driven Development, , and . Electronic Notes in Theoretical Computer Science, (October 2007)Efficient Large-scale Road Inspection Routing., , , and . ICORES, page 304-312. SciTePress, (2016)Using formal metamodels to check consistency of functional views in information systems specification., and . Inf. Softw. Technol., 50 (7-8): 797-814 (2008)Turning Models Inside Out., , and . MoDELS (Satellite Events), volume 2019 of CEUR Workshop Proceedings, page 430-434. CEUR-WS.org, (2017)