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)Hierarchical Declarative Modelling with Refinement and Sub-processes., , and . BPM, volume 8659 of Lecture Notes in Computer Science, page 18-33. Springer, (2014)On the Construction of Sorted Reactive Systems., , and . CONCUR, volume 5201 of Lecture Notes in Computer Science, page 218-232. Springer, (2008)Imperative program optimization by partial evaluation.. PEPM, page 113-122. ACM, (2004)A model checker for Bigraphs., , and . SAC, page 1320-1325. ACM, (2012)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.A Graphical Approach to Progress for Structured Communication in Web Services, and . ICE, volume 38 of EPTCS, page 13-27. (2010)Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit., , , and . Business Process Management Cases, Springer, (2018)Decoupling context-aware services., , and . PerCom Workshops, page 450-455. IEEE Computer Society, (2011)Concurrency and Asynchrony in Declarative Workflows., , and . BPM, volume 9253 of Lecture Notes in Computer Science, page 72-89. Springer, (2015)