Institutionen der Universität Bayreuth
Lehrstuhl Angewandte Informatik IV

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 der Verlagsversion: https://doi.org/10.1007/s10270-022-01069-y

Käppel, Martin ; Ackermann, Lars ; Schönig, Stefan ; Jablonski, Stefan:
Language-independent look-ahead for checking multi-perspective declarative process models.
In: Software and Systems Modeling. Bd. 20 (9 Januar 2021) . - S. 1379-1401.
ISSN 1619-1374
DOI der Verlagsversion: https://doi.org/10.1007/s10270-020-00857-8

Baumann, Michaela ; Baumann, Michael Heinrich ; Schönig, Stefan ; Jablonski, Stefan:
The Process Checklist : Paper-based Enactment of Human-driven Processes.
In: Enterprise Modelling and Information Systems Architectures - An International Journal. Bd. 12 (28 Februar 2017) Heft 1 . - S. 1-42.
ISSN 1866-3621
DOI der Verlagsversion: https://doi.org/10.18417/emisa.12.1

Dissertation

Sturm, Christian:
Neue Paradigmen in der dezentralen Prozesskontrolldatenverwaltung : Von Blockchain-Systemen bis zu traditionellen Synchronisierungsalgorithmen.
2024 . - XV, 282 S.
( Dissertation, 2024 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Fichtner, Myriel:
Verbesserung von Prozessmodellen durch relevante Prozessdetails.
Bayreuth , 2024 . - XIX, 247 S.
( Dissertation, 2024 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

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)

Baumann, Michaela:
Über die Anwendung, Klassifizierung und Übertragbarkeit von Methoden für einen Ähnlichkeitsabgleich von Geschäftsprozessmodellen.
Bayreuth , 2018 . - 239 S.
( Dissertation, 2018 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Ackermann, Lars:
Sprachzentrierte Ansätze zur Steigerung der Akzeptanz von Geschäftsprozessmodellen.
2018 . - XIX, 337 S.
( Dissertation, 2018 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Wiedmann, Peter C.:
Agiles Geschäftsprozessmanagement auf Basis gebrauchssprachlicher Modellierung.
Bayreuth , 2017 . - LXXII, 264 S.
( Dissertation, 2017 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Seitz, Michael:
Der angemessene Grad an Prozessunterstützung : ein methodisches Rahmenwerk.
Bayreuth , 2016 . - XIV, 209 S.
( Dissertation, 2016 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Hecht, Robin:
Konzeptuelle und Methodische Aufarbeitung von NoSQL-Datenbanksystemen.
Bayreuth , 2015 . - XX, 261 S.
( Dissertation, 2014 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Zeising, Michael:
Plattform zur integrierten IT-gestützten Ausführung von strikten und agilen Prozessen.
Bayreuth , 2015 . - 131 S.
( Dissertation, 2015 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Schönig, Stefan:
Ein Process Mining-Rahmenwerk für agile, personenbezogene Prozesse.
Bayreuth , 2015 . - XIX, 207 S.
( Dissertation, 2015 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Roth, Bastian:
Beispielgetriebene Entwicklung domänenspezifischer Modellierungssprachen.
Bayreuth , 2014 . - IX, 202 S.
( Dissertation, 2014 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Jahn, Matthias:
Evolution von Meta-Modellen mit sprachbasierten Mustern.
Bayreuth , 2014 . - X, 209 S.
( Dissertation, 2014 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Master-, Magister-, Diplom- oder Zulassungsarbeit

Fichtner, Myriel:
Parameterizable Process Views in Imperative Process Models.
Bayreuth , 2019 . - vii, 68 S.
(Masterarbeit, 2019 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Preprint, Postprint

Baumann, Michaela:
Comparing Imperative and Declarative Process Models.
Bayreuth , 2017 . - 12 S.

Bankau, Marcel ; Baumann, Michaela ; Baumann, Michael Heinrich ; Schönig, Stefan ; Jablonski, Stefan:
The Process Checklist Generator : Establishing Paper-based Process Support.
Universität Bayreuth
Bayreuth , 2017 . - 5 S.

Ackermann, Lars ; Schönig, Stefan ; Jablonski, Stefan:
Simulation of Multi-Perspective Declarative Process Models.
Bayreuth , 2016 . - 12 S.

Baumann, Michaela ; Baumann, Michael Heinrich ; Jablonski, Stefan:
On Behavioral Process Model Similarity Matching: A Centroid-based Approach.
University of Bayreuth
Bayreuth , 2015 . - 16 S.

Baumann, Michaela ; Baumann, Michael Heinrich ; Ackermann, Lars ; Schönig, Stefan ; Jablonski, Stefan:
Ansätze zum Ähnlichkeitsabgleich von deklarativen Geschäftsprozessmodellen.
Universität Bayreuth , 2015 . - 8 S.

Sonstiges

Baumann, Michael Heinrich ; Baumann, Michaela:
Der Mensch sagt „Nein“ und meint doch JA. Der Grund dafür kann vieles sein. Für das Programm ist alles klar: Ein JA heißt JA und NEIN heißt NEIN.
Bayreuth , 2015 . - 9 S.
(Sonstiges)