Thomas M. Prinz

According to our database, Thomas M. Prinz authored at least 19 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

2024

Pushing the Limits: Concurrency Detection in Acyclic, Live, and 1-Safe Free-Choice Nets in O((P+T)²).

Thomas M. Prinz, Julien Klaus, Nick R. T. P. van Beest

CoRR, 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 Sound Free-Choice Workflow Nets in O(P² + T²).

Thomas M. Prinz, Julien Klaus, Nick R. T. P. van Beest

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

2023

Compilation of Distributed Programs to Services Using Multiple Programming Languages.

Thomas M. Prinz

Proceedings of the 19th International Conference on Web Information Systems and Technologies, 2023

2022

Understanding and Decomposing Control-Flow Loops in Business Process Models.

Thomas M. Prinz, Yongsun Choi, N. Long Ha

Proceedings of the Business Process Management - 20th International Conference, 2022

Why Users of the Internet of Things need Error-Avoiding Modeling Languages and Queries.

Thomas M. Prinz

Proceedings of the 3rd International Workshop on Empowering People in Dealing with Internet of Things Ecosystems co-located with International Conference on Advanced Visual Interfaces (AVI) 2022, 2022

2021

Control-Flow-Based Methods to Support the Development of Sound Workflows.

Thomas M. Prinz, Wolfram Amme

Complex Syst. Informatics Model. Q., 2021

Partitioning Behavioral Retrieval: An Efficient Computational Approach With Transitive Rules.

N. Long Ha, Thomas M. Prinz

IEEE Access, 2021

2020

Learning from the Past - Do Historical Data Help to Improve Progress Indicators in Web Surveys?

Thomas M. Prinz, Linda Graefe, Jan Plötner

Proceedings of the UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020

2019

The Problem of Finding the Best Strategy for Progress Computation in Adaptive Web Surveys.

Thomas M. Prinz, Jan Plötner, Anja Vetterlein

Proceedings of the 15th International Conference on Web Information Systems and Technologies, 2019

Progress in Adaptive Web Surveys: Comparing Three Standard Strategies and Selecting the Best.

Thomas M. Prinz, Jan Plötner, Maximilian Croissant, Anja Vetterlein

Proceedings of the Web Information Systems and Technologies, 2019

2017

Entwicklung von kontrollflussbasierten Methoden und Techniken für einen benutzerfreundlichen Entwurf von sicheren Geschäftsprozessen.

Thomas M. Prinz

PhD thesis, 2017

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

Proposals for a Virtual Machine for Business Processes.

Thomas M. Prinz

Proceedings of the 7th Central European Workshop on Services and their Composition, 2015

Challenging Service Extensions for Electric Vehicles in Massively Heterogenic System Landscapes.

Sebastian Apel, Thomas M. Prinz, Volkmar Schau

Proceedings of the 7th Central European Workshop on Services and their Composition, 2015

2014

A First Step towards a Compiler for Business Processes.

Thomas M. Prinz, Norbert Spieß, Wolfram Amme

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

Fast Soundness Verification of Workflow Graphs.

Thomas M. Prinz

Proceedings of the 5^th Central-European Workshop on Services and their Composition, 2013

Practical Compiler-Based User Support during the Development of Business Processes.

Thomas M. Prinz, Wolfram Amme

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013