Author of the publication

Beautiful Workflows: A Matter of Taste?

, , and . The Beauty of Functional Code, volume 8106 of Lecture Notes in Computer Science, page 211-233. Springer, (2013)

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

Designing software for operational decision support through coloured Petri nets., and . Enterprise IS, 11 (5): 576-596 (2017)ASAP: An Extensible Platform for State Space Analysis., , and . Petri Nets, volume 5606 of Lecture Notes in Computer Science, page 303-312. Springer, (2009)Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets., and . Petri Nets, volume 6709 of Lecture Notes in Computer Science, page 169-188. Springer, (2011)Verifying Parallel Algorithms and Programs Using Coloured Petri Nets.. Trans. Petri Nets Other Model. Concurr., (2012)Declare: A Tool Suite for Declarative Workflow Modeling and Enactment., and . BPM (Demos), volume 820 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL.. BPM, volume 6896 of Lecture Notes in Computer Science, page 83-98. Springer, (2011)The BRITNeY Suite Animation Tool., and . ICATPN, volume 4024 of Lecture Notes in Computer Science, page 431-440. Springer, (2006)A Graphical Approach to Component-Based and Extensible Model Checking Platforms., and . Trans. Petri Nets Other Model. Concurr., (2012)Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks., , and . IFM, volume 3771 of Lecture Notes in Computer Science, page 266-286. Springer, (2005)Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models., and . OTM Conferences (1), volume 7565 of Lecture Notes in Computer Science, page 250-267. Springer, (2012)