Person:834900

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
Distributed Computing	2006-11-01	Paper
CONCUR 2005 – Concurrency Theory	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hagen Völzer