Execution of Multi-perspective Declarative Process Models. - Lars Ackermann; Stefan Schönig; Sebastian Petter; Nicolai Schützenmeier; Stefan Jablonski (OTM Conferences (2), 2018)

Logic Based Look-Ahead for the Execution of Multi-perspective Declarative Processes. - Martin Käppel; Nicolai Schützenmeier; Stefan Schönig; Lars Ackermann; Stefan Jablonski (BPMDS/EMMSAD@CAiSE, 2019)

Detection of Declarative Process Constraints in LTL Formulas. - Nicolai Schützenmeier; Martin Käppel; Sebastian Petter; Stefan Schönig; Stefan Jablonski (EOMAS@CAiSE, 2019)

A Comparative Study for the Selection of Machine Learning Algorithms based on Descriptive Parameters. - Chettan Kumar; Martin Käppel; Nicolai Schützenmeier; Philipp Eisenhuth; Stefan Jablonski (DATA, 2019)

Upper-Bounded Model Checking for Declarative Process Models. - Nicolai Schützenmeier; Martin Käppel; Sebastian Petter; Stefan Jablonski (PoEM, 2021)

Towards a Hybrid Process Modeling Language. - Nicolai Schützenmeier; Stefan Jablonski; Stefan Schönig (RCIS, 2021)

Efficient Computation of Behavioral Changes in Declarative Process Models. - Nicolai Schützenmeier; Carl Corea; Patrick Delfmann; Stefan Jablonski (BPMDS/EMMSAD@CAiSE, 2023)

Scenario-Based Model Checking of Declarative Process Models. - Nicolai Schützenmeier; Martin Käppel; Myriel Fichtner; Stefan Jablonski (ICEIS (2), 2023)

Comparing the Expressiveness of Imperative and Declarative Process Models. - Nicolai Schützenmeier; Stefan Jablonski; Martin Käppel; Lars Ackermann (MOBA, 2023)

Automaton-based comparison of Declare process models. - Nicolai Schützenmeier; Martin Käppel; Lars Ackermann; Stefan Jablonski; Sebastian Petter (Softw. Syst. Model., 2023)

Correction: Automaton-based comparison of Declare process models. - Nicolai Schützenmeier; Martin Käppel; Lars Ackermann; Stefan Jablonski; Sebastian Petter (Softw. Syst. Model., 2023)

Comparing Process Models Beyond Structural Equivalence. - Nicolai Schützenmeier; Stefan Jablonski; Stefan Schönig (CAiSE Workshops, 2024)

Automatenbasierte Vergleichsmethoden und Verhaltensanalyseverfahren für imperative und deklarative Prozessmodelle. - Nicolai Schützenmeier (2024)