Practical Compiler-Based User Support during the Development of Business Processes. - Thomas M. Prinz; Wolfram Amme (ICSOC Workshops, 2013)

Fast Soundness Verification of Workflow Graphs. - Thomas M. Prinz (ZEUS, 2013)

A First Step towards a Compiler for Business Processes. - Thomas M. Prinz; Norbert Spieß; Wolfram Amme (CC, 2014)

Challenging Service Extensions for Electric Vehicles in Massively Heterogenic System Landscapes. - Sebastian Apel; Thomas M. Prinz; Volkmar Schau (ZEUS, 2015)

Proposals for a Virtual Machine for Business Processes. - Thomas M. Prinz (ZEUS, 2015)

A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes. - Thomas M. Prinz; Wolfram Amme (Complex Syst. Informatics Model. Q., 2015)

Entwicklung von kontrollflussbasierten Methoden und Techniken für einen benutzerfreundlichen Entwurf von sicheren Geschäftsprozessen. - Thomas M. Prinz (2017)

Progress in Adaptive Web Surveys: Comparing Three Standard Strategies and Selecting the Best. - Thomas M. Prinz; Jan Plötner; Maximilian Croissant; Anja Vetterlein (WEBIST (Revised Selected Papers), 2019)

The Problem of Finding the Best Strategy for Progress Computation in Adaptive Web Surveys. - Thomas M. Prinz; Jan Plötner; Anja Vetterlein (WEBIST, 2019)

Learning from the Past - Do Historical Data Help to Improve Progress Indicators in Web Surveys? - Thomas M. Prinz; Linda Graefe; Jan Plötner (UIST, 2020)

Partitioning Behavioral Retrieval: An Efficient Computational Approach With Transitive Rules. - N. Long Ha; Thomas M. Prinz (IEEE Access, 2021)

Control-Flow-Based Methods to Support the Development of Sound Workflows. - Thomas M. Prinz; Wolfram Amme (Complex Syst. Informatics Model. Q., 2021)

Why Users of the Internet of Things need Error-Avoiding Modeling Languages and Queries. - Thomas M. Prinz (EMPATHY@AVI, 2022)

Understanding and Decomposing Control-Flow Loops in Business Process Models. - Thomas M. Prinz; Yongsun Choi; N. Long Ha (BPM, 2022)

Compilation of Distributed Programs to Services Using Multiple Programming Languages. - Thomas M. Prinz (WEBIST, 2023)

Pushing the Limits: Concurrency Detection in Acyclic Sound Free-Choice Workflow Nets in O(P² + T²). - Thomas M. Prinz; Julien Klaus; Nick R. T. P. van Beest (PNSE@Petri Nets, 2024)

Recognizing Relationships: Detecting the 4C Spectrum in ±b O(P2 + T2) for Acyclic Sound Process Models. - Thomas M. Prinz; Torsten Welsch; N. Long Ha (EDOC, 2024)

How Participants Respond to Computer Delays. - Désirée Scholz; Linda Graefe; Thomas M. Prinz (CoRR, 2024)

Pushing the Limits: Concurrency Detection in Acyclic, Live, and 1-Safe Free-Choice Nets in O((P+T)2). - Thomas M. Prinz; Julien Klaus; Nick R. T. P. van Beest (CoRR, 2024)

Deciding (Sub-Marking) Reachability in ±b O(P2 + T2) for Sound Acyclic Free-Choice Workflow Nets. - Thomas M. Prinz; Christopher T. Schwanen; Wil M. P. van der Aalst (Petri Nets, 2025)

Transformation of Cyclic Process Models with Inclusive Gateways to Be Executable on State-of-the-Art Engines. - Thomas M. Prinz; N. Long Ha; Yongsun Choi (ICEIS (2), 2025)

Soundness unknotted: An efficient soundness checking algorithm for arbitrary cyclic process models by loosening loops. - Thomas M. Prinz; Yongsun Choi; N. Long Ha (Inf. Syst., 2025)