H. Völzer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Flexibility in Algebraic Nets	2022-12-09	Paper
Computing the concurrency threshold of sound free-choice workflow nets (available as arXiv preprint)	2019-09-16	Paper
Defining fairness in reactive and concurrent systems Journal of the ACM	2014-02-17	Paper
Counterexamples in Probabilistic LTL Model Checking for Markov Chains CONCUR 2009 - Concurrency Theory	2009-10-22	Paper
New perspectives on fairness.	2009-09-19	Paper
A constructive proof for FLP Information Processing Letters	2009-08-27	Paper
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science	2008-04-24	Paper
CONCUR 2005 – Concurrency Theory Lecture Notes in Computer Science	2006-11-01	Paper
Distributed Computing Lecture Notes in Computer Science	2006-11-01	Paper
Probabilistic event structures and domains Theoretical Computer Science	2006-09-13	Paper
Automata, Languages and Programming Lecture Notes in Computer Science	2005-08-24	Paper
CONCUR 2004 - Concurrency Theory Lecture Notes in Computer Science	2005-08-23	Paper
scientific article; zbMATH DE number 1927585 (Why is no real title available?)	2003-06-12	Paper
scientific article; zbMATH DE number 1864590 (Why is no real title available?)	2003-02-06	Paper
Algebraic nets with flexible arcs Theoretical Computer Science	2002-03-03	Paper
Petri net based verification of distributed algorithms: An example Formal Aspects of Computing	1998-06-02	Paper

Research outcomes over time

This page was built for person: H. Völzer