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

Imperative-program transformation by instrumented-interpreter specialization.. Higher-Order and Symbolic Computation, 21 (1-2): 37-58 (2008)On the Construction of Sorted Reactive Systems., , and . CONCUR, volume 5201 of Lecture Notes in Computer Science, page 218-232. Springer, (2008)Hierarchical Declarative Modelling with Refinement and Sub-processes., , and . BPM, volume 8659 of Lecture Notes in Computer Science, page 18-33. Springer, (2014)A model checker for Bigraphs., , and . SAC, page 1320-1325. ACM, (2012)Imperative program optimization by partial evaluation.. PEPM, page 113-122. ACM, (2004)A Case for Declarative Process Modelling: Agile Development of a Grant Application System., , , and . EDOC Workshops, page 126-133. IEEE Computer Society, (2014)978-1-4799-5470-4.Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit., , , and . Business Process Management Cases, Springer, (2018)A Graphical Approach to Progress for Structured Communication in Web Services, and . ICE, volume 38 of EPTCS, page 13-27. (2010)Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes., , and . FM, volume 9109 of Lecture Notes in Computer Science, page 143-160. Springer, (2015)Concurrency and Asynchrony in Declarative Workflows., , and . BPM, volume 9253 of Lecture Notes in Computer Science, page 72-89. Springer, (2015)