Author of the publication

Formal Reasoning on Natural Language Descriptions of Processes.

, , , , and . BPM, volume 11675 of Lecture Notes in Computer Science, page 86-101. Springer, (2019)

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

A Monitoring and Discovery Approach for Declarative Processes Based on Streams., , and . CoRR, (2022)Do You Behave Always the Same? - A Process Mining Approach., and . ICPM Workshops, volume 468 of Lecture Notes in Business Information Processing, page 5-17. Springer, (2022)Behavioral Recommender System for Process Automation Steps., , , and . DATA, page 255-262. SCITEPRESS, (2023)A Data Driven Agent Elicitation Pipeline for Prediction Models., , , , and . Business Process Management Workshops, volume 362 of Lecture Notes in Business Information Processing, page 570-582. Springer, (2019)The Internet of Things Meets Business Process Management: A Manifesto, , , , , , , , , and 13 other author(s). IEEE Systems, Man, and Cybernetics Magazine, 6 (4): 33-44 (2020)Human Behavior as a Process Model: Which Language to Use?, , and . ITBPM@BPM, volume 2952 of CEUR Workshop Proceedings, page 18-25. CEUR-WS.org, (2021)PURPLE: a PURPose-guided Log GEnerator (Extended Abstract)., , , and . ICPM Doctoral Consortium / Demo, volume 3299 of CEUR Workshop Proceedings, page 90-94. CEUR-WS.org, (2022)Linac: A Smart Environment Simulator of Human Activities., , , and . ICPM Workshops, volume 433 of Lecture Notes in Business Information Processing, page 60-72. Springer, (2021)Data Streams in ProM 6: A Single-node Architecture., , , and . BPM (Demos), volume 1295 of CEUR Workshop Proceedings, page 81. CEUR-WS.org, (2014)Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement., , , and . Business Process Management Workshops, volume 460 of Lecture Notes in Business Information Processing, page 243-256. Springer, (2022)