Thomas M. Prinz

26 papers A* 1A 1B 3C 2Journal 7Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets. CoRR Thomas M. Prinz, Christopher T. Schwanen, Wil M. P. van der Aalst
2025	—	`conf`	BPMNinvest: Feedback on Change in Process Models. BPM (Demos / Resources Forum) Thomas M. Prinz, Yongsun Choi
2025	B	`conf`	Deciding (Sub-Marking) Reachability in ±b O(P Petri Nets Thomas M. Prinz, Christopher T. Schwanen, Wil M. P. van der Aalst
2025	—	`conf`	Progression: A Lightweight BPMN Engine Simplifying the Execution and Monitoring of Process Models. BPM (Forum) Thomas M. Prinz, Yongsun Choi, Anja Vetterlein
2025	J	`jnl`	Soundness unknotted: An efficient soundness checking algorithm for arbitrary cyclic process models by loosening loops. Inf. Syst. Thomas M. Prinz, Yongsun Choi, N. Long Ha
2025	—	`conf`	Transformation of Cyclic Process Models with Inclusive Gateways to Be Executable on State-of-the-Art Engines. ICEIS (2) Thomas M. Prinz, N. Long Ha, Yongsun Choi
2024	J	`jnl`	How Participants Respond to Computer Delays. CoRR Désirée Scholz, Linda Graefe, Thomas M. Prinz
2024	—	`conf`	Pushing the Limits: Concurrency Detection in Acyclic Sound Free-Choice Workflow Nets in O(P² + T²). PNSE@Petri Nets Thomas M. Prinz, Julien Klaus, Nick R. T. P. van Beest
2024	J	`jnl`	Pushing the Limits: Concurrency Detection in Acyclic, Live, and 1-Safe Free-Choice Nets in O((P+T) CoRR Thomas M. Prinz, Julien Klaus, Nick R. T. P. van Beest
2024	B	`conf`	Recognizing Relationships: Detecting the 4C Spectrum in ±b O(P EDOC Thomas M. Prinz, Torsten Welsch, N. Long Ha
2023	C	`conf`	Compilation of Distributed Programs to Services Using Multiple Programming Languages. WEBIST Thomas M. Prinz
2022	A	`conf`	Understanding and Decomposing Control-Flow Loops in Business Process Models. BPM Thomas M. Prinz, Yongsun Choi, N. Long Ha
2022	—	`conf`	Why Users of the Internet of Things need Error-Avoiding Modeling Languages and Queries. EMPATHY@AVI Thomas M. Prinz
2021	J	`jnl`	Control-Flow-Based Methods to Support the Development of Sound Workflows. Complex Syst. Informatics Model. Q. Thomas M. Prinz, Wolfram Amme
2021	J	`jnl`	Partitioning Behavioral Retrieval: An Efficient Computational Approach With Transitive Rules. IEEE Access N. Long Ha, Thomas M. Prinz
2020	A*	`conf`	Learning from the Past - Do Historical Data Help to Improve Progress Indicators in Web Surveys? UIST Thomas M. Prinz, Linda Graefe, Jan Plötner
2019	—	`conf`	Progress in Adaptive Web Surveys: Comparing Three Standard Strategies and Selecting the Best. WEBIST (Revised Selected Papers) Thomas M. Prinz, Jan Plötner, Maximilian Croissant, Anja Vetterlein
2019	C	`conf`	The Problem of Finding the Best Strategy for Progress Computation in Adaptive Web Surveys. WEBIST Thomas M. Prinz, Jan Plötner, Anja Vetterlein
2017	—	`—`	Entwicklung von kontrollflussbasierten Methoden und Techniken für einen benutzerfreundlichen Entwurf von sicheren Geschäftsprozessen. Thomas M. Prinz
2015	J	`jnl`	A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes. Complex Syst. Informatics Model. Q. Thomas M. Prinz, Wolfram Amme
2015	—	`conf`	Challenging Service Extensions for Electric Vehicles in Massively Heterogenic System Landscapes. ZEUS Sebastian Apel, Thomas M. Prinz, Volkmar Schau
2015	—	`ed.`	Proceedings of the 7th Central European Workshop on Services and their Composition, ZEUS 2015, Jena, Germany, February 19-20, 2015. ZEUS Thomas S. Heinze, Thomas M. Prinz
2015	—	`conf`	Proposals for a Virtual Machine for Business Processes. ZEUS Thomas M. Prinz
2014	B	`conf`	A First Step towards a Compiler for Business Processes. CC Thomas M. Prinz, Norbert Spieß, Wolfram Amme
2013	—	`conf`	Fast Soundness Verification of Workflow Graphs. ZEUS Thomas M. Prinz
2013	—	`conf`	Practical Compiler-Based User Support during the Development of Business Processes. ICSOC Workshops Thomas M. Prinz, Wolfram Amme