Publications "Schützenmeier, Nicolai"

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

Schützenmeier, Nicolai:
Automatenbasierte Vergleichsmethoden und Verhaltensanalyseverfahren für imperative und deklarative Prozessmodelle.
Bayreuth , 2024 . - XVIII, 210 P.
( Doctoral thesis, 2024 , University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)