Martin Käppel

List of publications:

BibTeX-Download


Lehrstuhl für Digital Industrial Service Systems
close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Detection of Declarative Process Constraints in LTL Formulas (2019) Schützenmeier N, Käppel M, Petter S, Schönig S, Jablonski S Conference contribution, Conference Contribution Logic Based Look-Ahead for the Execution of Multi-perspective Declarative Processes (2019) Käppel M, Schützenmeier N, Schönig S, Jablonski S Conference contribution, Conference Contribution
‹ 1 2 3 ›