Veröffentlichungen "Schützenmeier, Nicolai"

Artikel in einer Zeitschrift

Schützenmeier, Nicolai ; Käppel, Martin ; Ackermann, Lars ; Jablonski, Stefan ; Petter, Sebastian:
Automaton-based comparison of Declare process models.
In: Software and Systems Modeling. Bd. 22 (2023) . - S. 667-685.
ISSN 1619-1374
DOI: https://doi.org/10.1007/s10270-022-01069-y

Aufsatz in einem Buch

Schützenmeier, Nicolai ; Jablonski, Stefan ; Schönig, Stefan:
Comparing Process Models Beyond Structural Equivalence.
In: Almeida, João Paulo A. ; Di Ciccio, Claudio ; Kalloniatis, Christos (Hrsg.): Advanced Information Systems Engineering Workshops. - Cham : Springer , 2024 . - S. 291-306
ISBN 978-3-031-61003-5
DOI: https://doi.org/10.1007/978-3-031-61003-5_25

Schützenmeier, Nicolai ; Jablonski, Stefan ; Käppel, Martin ; Ackermann, Lars:
Comparing the Expressiveness of Imperative and Declarative Process Models.
In: Babkin, Eduard ; Barjis, Joseph ; Malyzhenkov, Pavel ; Merunka, Vojtěch ; Molhanec, Martin (Hrsg.): Model-Driven Organizational and Business Agility : Revised Selected Papers. - Cham : Springer Nature , 2023 . - S. 16-31 . - (Lecture Notes in Business Information Processing ; 488 )
ISBN 978-3-031-45010-5
DOI: https://doi.org/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.
In: van der Aa, Han ; Bork, Dominik ; Proper, Henderik A. ; Schmidt, Rainer (Hrsg.): Enterprise, Business-Process and Information Systems Modeling : Proceedings. - Cham : Springer Nature , 2023 . - S. 136-151 . - (Lecture Notes in Business Information Processing ; 479 )
ISBN 978-3-031-34241-7
DOI: https://doi.org/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.
In: Proceedings of the 25th International Conference on Enterprise Information Systems. Volume 2. - Prague : SciTePress , 2023 . - S. 406-417
ISBN 978-989-758-648-4
DOI: https://doi.org/10.5220/0011856400003467

Schützenmeier, Nicolai ; Käppel, Martin ; Petter, Sebastian ; Jablonski, Stefan:
Upper-Bounded Model Checking for Declarative Process Models.
In: Serral, Estefania ; Stirnas, Janis ; Jolita, Ralyté ; Jānis, Grabis (Hrsg.): The Practice of Enterprise Modeling. - Cham : Springer , 2021 . - S. 195-211 . - (Lecture Notes in Business Information Processing ; 432 )
ISBN 978-3-030-91279-6
DOI: https://doi.org/10.1007/978-3-030-91279-6_14

Schützenmeier, Nicolai ; Jablonski, Stefan ; Schönig, Stefan:
Towards a Hybrid Process Modeling Language.
In: Cherfi, Samira ; Perini, Anna ; Nurcan, Selmin (Hrsg.): Research Challenges in Information Science : 15th International Conference, RCIS 2021, Limassol, Cyprus, May 11–14, 2021, Proceedings. - Cham : Springer International Publishing , 2021 . - S. 630-636 . - (Lecture Notes in Business Information Processing ; 415 )
ISBN 978-3-030-75017-6
DOI: https://doi.org/10.1007/978-3-030-75018-3_46

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 Parameters.
In: Proceedings of the 8th International Conference on Data Science, Technology and Applications. Volume 1. DATA. - Prag , 2019 . - S. 408-415
ISBN 978-989-758-377-3
DOI: https://doi.org/10.5220/0008117404080415

Schützenmeier, Nicolai ; Käppel, Martin ; Petter, Sebastian ; Schönig, Stefan ; Jablonski, Stefan:
Detection of Declarative Process Constraints in LTL Formulas.
In: Pergl, Robert ; Babkin, Eduard ; Lock, Russell ; Malyzhenkov, Pavel ; Merunka, Vojtěch (Hrsg.): Enterprise and Organizational Modeling and Simulation. - Cham : Springer , 2019 . - S. 131-145 . - (Lecture Notes in Business Information Processing ; 366 )
ISBN 978-3-030-35646-0
DOI: https://doi.org/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.
In: Reinhartz-Berger, Iris ; Zdravkovic, Jelena ; Gulden, Jens ; Schmidt, Rainer (Hrsg.): 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 . - S. 53-68 . - (Lecture Notes in Business Information Processing ; 352 )
ISBN 978-3-030-20618-5
DOI: https://doi.org/10.1007/978-3-030-20618-5_4

Ackermann, Lars ; Schönig, Stefan ; Petter, Sebastian ; Schützenmeier, Nicolai ; Jablonski, Stefan:
Execution of Multi-perspective Declarative Process Models.
In: Panetto, Hervé ; Debruyne, Christophe ; Proper, Henderik A. ; Ardagna, Claudio Agostino ; Roman, Dumitru ; Meersman, Robert (Hrsg.): 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 . - S. 154-172 . - (Programming and Software Engineering ; 11230 )
ISBN 978-3-030-02671-4
DOI: https://doi.org/10.1007/978-3-030-02671-4_9

Dissertation

Schützenmeier, Nicolai:
Automatenbasierte Vergleichsmethoden und Verhaltensanalyseverfahren für imperative und deklarative Prozessmodelle.
Bayreuth , 2024 . - XVIII, 210 S.
( Dissertation, 2024 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik, Lehrstuhl Angewandte Informatik IV)
DOI: https://doi.org/10.15495/EPub_UBT_00007663