( en | de | ru )

 

Disambiguation of "Käppel, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Scenario-Based Model Checking of Declarative Process Models.

, , , and . ICEIS (2), page 406-417. SCITEPRESS, (2023)

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.

Eva Käppel

Wilhelm Käppel

Manfred Käppel

Stefanie Käppel

Mario Käppel

 

Other publications of authors with the same name

Logic Based Look-Ahead for the Execution of Multi-perspective Declarative Processes., , , , and . BPMDS/EMMSAD@CAiSE, volume 352 of Lecture Notes in Business Information Processing, page 53-68. Springer, (2019)Cost-Sensitive Predictive Business Process Monitoring., , and . ADBIS (Short Papers), volume 1450 of Communications in Computer and Information Science, page 14-26. Springer, (2021)Model-Agnostic Event Log Augmentation for Predictive Process Monitoring., and . CAiSE, volume 13901 of Lecture Notes in Computer Science, page 381-397. Springer, (2023)Correction: Automaton-based comparison of Declare process models., , , , and . Softw. Syst. Model., 22 (2): 687 (April 2023)Comparing the Expressiveness of Imperative and Declarative Process Models., , , and . MOBA, volume 488 of Lecture Notes in Business Information Processing, page 16-31. Springer, (2023)Leveraging Small Sample Learning for Business Process Management., , and . Inf. Softw. Technol., (2021)A Comparative Study for the Selection of Machine Learning Algorithms based on Descriptive Parameters., , , , and . DATA, page 408-415. SciTePress, (2019)Deviance Analysis by Means of Redescription Mining., , and . BPMDS/EMMSAD@CAiSE, volume 450 of Lecture Notes in Business Information Processing, page 91-107. Springer, (2022)Scenario-Based Model Checking of Declarative Process Models., , , and . ICEIS (2), page 406-417. SCITEPRESS, (2023)Detection of Declarative Process Constraints in LTL Formulas., , , , and . EOMAS@CAiSE, volume 366 of Lecture Notes in Business Information Processing, page 131-145. Springer, (2019)