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 | 19 | 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 | 9 | 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 | 9 | 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 | 8 | 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 | 5 | 2023 |
Scenario-Based Model Checking of Declarative Process Models. N Schützenmeier, M Käppel, M Fichtner, S Jablonski ICEIS (2), 406-417, 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 | 4 | 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 | 3 | 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 | 3 | 2021 |
Comparing Process Models Beyond Structural Equivalence N Schützenmeier, S Jablonski, S Schönig International Conference on Advanced Information Systems Engineering, 291-306, 2024 | | 2024 |
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 |