Team > Dr. Nicolai Schützenmeier

2024

Schützenmeier, Nicolai
Automatenbasierte Vergleichsmethoden und Verhaltensanalyseverfahren für imperative und deklarat ...
Bayreuth, 2024. - XVIII, 210 page
doi:10.15495/EPub_UBT_00007663 ...
(dissertation, 2024, )

2023

Schützenmeier, Nicolai; Käppel, Martin; Ackermann, Lars; Jablonski, Stefan; Petter, Sebastian
Automaton-based comparison of Declare process models
in Software and Systems Modeling volume 22 (2023) . - page 667-685
doi:10.1007/s10270-022-01069-y ...

Schützenmeier, Nicolai; Jablonski, Stefan; Käppel, Martin; Ackermann, Lars
Comparing the Expressiveness of Imperative and Declarative Process Models
Model-Driven Organizational and Business Agility : Revised Selected Papers
Cham : Springer Nature, 2023. - page 16-31 . - (Lecture Notes in Business Information Processing; 488)
doi:10.1007/978-3-031-45010-5_2 ...

Schützenmeier, Nicolai; Corea, Carl; Delfmann, Patrick; Jablonski, Stefan
Efficient Computation of Behavioral Changes in Declarative Process Models
Enterprise, Business-Process and Information Systems Modeling : Proceedings
Cham : Springer Nature, 2023. - page 136-151 . - (Lecture Notes in Business Information Processing; 479)
doi:10.1007/978-3-031-34241-7_10 ...

Schützenmeier, Nicolai; Käppel, Martin; Fichtner, Myriel; Jablonski, Stefan
Scenario-Based Model Checking of Declarative Process Models
Proceedings of the 25th International Conference on Enterprise Information Systems. Volume 2
Prague : SciTePress, 2023. - page 406-417
doi:10.5220/0011856400003467 ...

2021

Schützenmeier, Nicolai; Käppel, Martin; Petter, Sebastian; Jablonski, Stefan
Upper-Bounded Model Checking for Declarative Process Models
The Practice of Enterprise Modeling
Cham : Springer, 2021. - page 195-211 . - (Lecture Notes in Business Information Processing; 432)
doi:10.1007/978-3-030-91279-6_14 ...

Schützenmeier, Nicolai; Jablonski, Stefan; Schönig, Stefan
Towards a Hybrid Process Modeling Language
Research Challenges in Information Science : 15th International Conference, RCIS 2021, Limassol, Cyprus, May 11–14, 2021, Proceedings
Cham : Springer International Publishing, 2021. - page 630-636 . - (Lecture Notes in Business Information Processing; 415)
doi:10.1007/978-3-030-75018-3_46 ...

2019

Kumar, Chettan; Käppel, Martin; Schützenmeier, Nicolai; Eisenhuth, Philipp; Jablonski, Stefan
A Comparative Study for the Selection of Machine Learning Algorithms based on Descriptive Param ...
Proceedings of the 8th International Conference on Data Science, Technology and Applications. Volume 1. DATA
Prag , 2019. - page 408-415
doi:10.5220/0008117404080415 ...

Schützenmeier, Nicolai; Käppel, Martin; Petter, Sebastian; Schönig, Stefan; Jablonski, Stefan
Detection of Declarative Process Constraints in LTL Formulas
Enterprise and Organizational Modeling and Simulation
Cham : Springer, 2019. - page 131-145 . - (Lecture Notes in Business Information Processing; 366)
doi:10.1007/978-3-030-35646-0_10 ...

Käppel, Martin; Schützenmeier, Nicolai; Schönig, Stefan; Ackermann, Lars; Jablonski, Stefan
Logic Based Look-Ahead for the Execution of Multi-perspective Declarative Processes
Enterprise, Business-Process and Information Systems Modeling : 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Rome, Italy, June 3-4, 2019, Proceedings
Cham : Springer, 2019. - page 53-68 . - (Lecture Notes in Business Information Processing; 352)
doi:10.1007/978-3-030-20618-5_4 ...

2018

Ackermann, Lars; Schönig, Stefan; Petter, Sebastian; Schützenmeier, Nicolai; Jablonski, Stefan
Execution of Multi-perspective Declarative Process Models
On the Move to Meaningful Internet Systems. OTM 2018 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II
Valletta, Malta , 2018. - page 154-172 . - (Programming and Software Engineering; 11230)
doi:10.1007/978-3-030-02671-4_9 ...