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

Resource-Constrained Workflow Nets., , and . Fundam. Informaticae, 71 (2-3): 243-257 (2006)Generating time-based label refinements to discover more precise process models., , , , and . J. Ambient Intell. Smart Environ., 11 (2): 165-182 (2019)Personalized Stress Management: Enabling Stress Monitoring with LifelogExplorer., and . Künstliche Intell., 29 (2): 115-122 (2015)Consistency in model integration., , , and . Data Knowl. Eng., 56 (1): 4-22 (2006)Stess@Work: from measuring stress to its understanding, prediction and handling with personalized coaching., , , , and . IHI, page 673-678. ACM, (2012)Business Trend Analysis by Simulation., , , and . CAiSE, volume 6051 of Lecture Notes in Computer Science, page 515-529. Springer, (2010)Model Checking SDL with Spin., , , and . TACAS, volume 1785 of Lecture Notes in Computer Science, page 363-377. Springer, (2000)LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World., , , and . Petri Nets, volume 10877 of Lecture Notes in Computer Science, page 374-384. Springer, (2018)Generalised Soundness of Workflow Nets Is Decidable., , and . ICATPN, volume 3099 of Lecture Notes in Computer Science, page 197-215. Springer, (2004)When Can We Trust a Third Party? - A Soundness Perspective., , and . Trans. Petri Nets Other Model. Concurr., (2013)