Thomas M. Prinz

Orcid: 0000-0001-9602-3482

Affiliations:
  • University of Jena, Germany


According to our database1, Thomas M. Prinz authored at least 17 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Pushing the Limits: Concurrency Detection in Acyclic, Live, and 1-Safe Free-Choice Nets in O((P+T)<sup>2</sup>).
CoRR, 2024

How Participants Respond to Computer Delays.
CoRR, 2024

2023
Compilation of Distributed Programs to Services Using Multiple Programming Languages.
Proceedings of the 19th International Conference on Web Information Systems and Technologies, 2023

2022
Understanding and Decomposing Control-Flow Loops in Business Process Models.
Proceedings of the Business Process Management - 20th International Conference, 2022

Why Users of the Internet of Things need Error-Avoiding Modeling Languages and Queries.
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.
Complex Syst. Informatics Model. Q., 2021

Partitioning Behavioral Retrieval: An Efficient Computational Approach With Transitive Rules.
IEEE Access, 2021

2020
Learning from the Past - Do Historical Data Help to Improve Progress Indicators in Web Surveys?
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.
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.
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.
PhD thesis, 2017

2015
A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes.
Complex Syst. Informatics Model. Q., 2015

Proposals for a Virtual Machine for Business Processes.
Proceedings of the 7th Central European Workshop on Services and their Composition, 2015

Challenging Service Extensions for Electric Vehicles in Massively Heterogenic System Landscapes.
Proceedings of the 7th Central European Workshop on Services and their Composition, 2015

2014
A First Step towards a Compiler for Business Processes.
Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013
Fast Soundness Verification of Workflow Graphs.
Proceedings of the 5<sup>th</sup> Central-European Workshop on Services and their Composition, 2013

Practical Compiler-Based User Support during the Development of Business Processes.
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013


  Loading...