H. Völzer

Available identifiers

zbMath Open volzer.hagenMaRDI QIDQ834900

List of research outcomes

Publication	Date of Publication	Type
Flexibility in Algebraic Nets	2022-12-09	Paper
Computing the concurrency threshold of sound free-choice workflow nets	2019-09-16	Paper
Defining Fairness in Reactive and Concurrent Systems	2014-02-17	Paper
Counterexamples in Probabilistic LTL Model Checking for Markov Chains	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3396595	2009-09-19	Paper
A constructive proof for FLP	2009-08-27	Paper
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths	2008-04-24	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Distributed Computing	2006-11-01	Paper
Probabilistic event structures and domains	2006-09-13	Paper
Automata, Languages and Programming	2005-08-24	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4484510	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4791268	2003-02-06	Paper
Algebraic nets with flexible arcs	2002-03-03	Paper
Petri net based verification of distributed algorithms: An example	1998-06-02	Paper

Research outcomes over time

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