| Execution of multi-perspective declarative process models L Ackermann, S Schönig, S Petter, N Schützenmeier, S Jablonski On the Move to Meaningful Internet Systems. OTM 2018 Conferences …, 2018 | 18 | 2018 |
| Upper-bounded model checking for declarative process models N Schützenmeier, M Käppel, S Petter, S Jablonski The Practice of Enterprise Modeling: 14th IFIP WG 8.1 Working Conference …, 2021 | 8 | 2021 |
| Logic based look-ahead for the execution of multi-perspective declarative processes M Käppel, N Schützenmeier, S Schönig, L Ackermann, S Jablonski Enterprise, Business-Process and Information Systems Modeling: 20th …, 2019 | 8 | 2019 |
| Automaton-based comparison of Declare process models N Schützenmeier, M Käppel, L Ackermann, S Jablonski, S Petter Software and Systems Modeling 22 (2), 667-685, 2023 | 7 | 2023 |
| Detection of declarative process constraints in LTL formulas N Schützenmeier, M Käppel, S Petter, S Schönig, S Jablonski Enterprise and Organizational Modeling and Simulation: 15th International …, 2019 | 6 | 2019 |
| Efficient computation of behavioral changes in declarative process models N Schützenmeier, C Corea, P Delfmann, S Jablonski International Conference on Business Process Modeling, Development and …, 2023 | 4 | 2023 |
| A Comparative Study for the Selection of Machine Learning Algorithms based on Descriptive Parameters. C Kumar, M Käppel, N Schützenmeier, P Eisenhuth, S Jablonski DATA, 408-415, 2019 | 3 | 2019 |
| Comparing the Expressiveness of Imperative and Declarative Process Models N Schützenmeier, S Jablonski, M Käppel, L Ackermann International Workshop on Model-Driven Organizational and Business Agility …, 2023 | 1 | 2023 |
| Scenario-Based Model Checking of Declarative Process Models. N Schützenmeier, M Käppel, M Fichtner, S Jablonski ICEIS (2), 406-417, 2023 | 1 | 2023 |
| Towards a Hybrid Process Modeling Language N Schützenmeier, S Jablonski, S Schönig International Conference on Research Challenges in Information Science, 630-636, 2021 | 1 | 2021 |
| Automatenbasierte Vergleichsmethoden und Verhaltensanalyseverfahren für imperative und deklarative Prozessmodelle N Schützenmeier | | 2024 |
| Correction: Automaton-based comparison of Declare process models N Schützenmeier, M Käppel, L Ackermann, S Jablonski, S Petter Software and Systems Modeling 22 (2), 687-687, 2023 | | 2023 |
