Hagen Völzer

	2009
26		Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf: Instantaneous Soundness Checking of Industrial Business Process Models. BPM 2009: 278-293
25		Matthias Schmalz, Daniele Varacca, Hagen Völzer: Counterexamples in Probabilistic LTL Model Checking for Markov Chains. CONCUR 2009: 587-602
24		Jussi Vanhatalo, Hagen Völzer, Jana Koehler: The refined process structure tree. Data Knowl. Eng. 68(9): 793-818 (2009)
	2008
23		Jussi Vanhatalo, Hagen Völzer, Jana Koehler: The Refined Process Structure Tree. BPM 2008: 100-115
22		Jussi Vanhatalo, Hagen Völzer, Frank Leymann, Simon Moser: Automatic Workflow Graph Refactoring and Completion. ICSOC 2008: 100-115
	2007
21		Jana Koehler, Thomas Gschwind, Jochen Malte Küster, Cesare Pautasso, Ksenia Ryndina, Jussi Vanhatalo, Hagen Völzer: Combining Quality Assurance and Model Transformations in Business-Driven Development. AGTIVE 2007: 1-16
20		Matthias Schmalz, Hagen Völzer, Daniele Varacca: Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. FSTTCS 2007: 532-543
19		Jussi Vanhatalo, Hagen Völzer, Frank Leymann: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. ICSOC 2007: 43-55
	2006
18		Daniele Varacca, Hagen Völzer: Temporal Logics and Model Checking for Fairly Correct Systems. LICS 2006: 389-398
17		Felix C. Freiling, Hagen Völzer: Illustrating the impossibility of crash-tolerant consensus in asynchronous systems. Operating Systems Review 40(2): 105-109 (2006)
16		Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic event structures and domains. Theor. Comput. Sci. 358(2-3): 173-199 (2006)
	2005
15		Hagen Völzer, Daniele Varacca, Ekkart Kindler: Defining Fairness. CONCUR 2005: 458-472
14		Hagen Völzer: On Conspiracies and Hyperfairness in Distributed Computing. DISC 2005: 33-47
	2004
13		Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic Event Structures and Domains. CONCUR 2004: 481-496
12		Hagen Völzer: On Randomization Versus Synchronization in Distributed Systems. ICALP 2004: 1214-1226
11		Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter A. Lindsay, Paul A. Strooper: SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. IEEE Trans. Software Eng. 30(10): 675-693 (2004)
10		Hagen Völzer: A constructive proof for FLP. Inf. Process. Lett. 92(2): 83-87 (2004)
	2002
9		Hagen Völzer: Refinement-Robust Fairness. CONCUR 2002: 547-561
8		Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald: A Tool for Subsystem Configuration Management. ICSM 2002: 492-500
	2001
7		Hagen Völzer: Randomized Non-sequential Processes. CONCUR 2001: 184-201
6		Ekkart Kindler, Hagen Völzer: Algebraic nets with flexible arcs. Theor. Comput. Sci. 262(1): 285-310 (2001)
	1999
5		Thomas Baar, Ekkart Kindler, Hagen Völzer: Verifying Intuition - ILF Checks DAWN Proofs. ICATPN 1999: 404-424
	1998
4		Hagen Völzer: Verifying Fault Tolerance of Distributed Algorithms Formally - An Example. ACSD 1998: 187-
3		Ekkart Kindler, Hagen Völzer: Flexibility in Algebraic Nets. ICATPN 1998: 345-364
	1997
2		Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter: Petri Net Based Verification of Distributed Algorithms: An Example. Formal Asp. Comput. 9(4): 409-424 (1997)
	1996
1		Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter: Distributed Algorithms for Networks of Agents. Petri Nets (2) 1996: 331-385

Coauthor Index

1	Brenton Atchison	[8] [11]
2	Thomas Baar	[5]
3	Dirk Fahland	[26]
4	Cédric Favre	[26]
5	Felix C. Freiling (Felix C. Gärtner)	[17]
6	Thomas Gschwind	[21]
7	Andrew Hanlon	[11]
8	Barbara Jobstmann	[26]
9	Ekkart Kindler	[1] [2] [3] [5] [6] [15]
10	Jana Koehler (Jana Köhler)	[21] [23] [24] [26]
11	Jochen Malte Küster	[21]
12	Frank Leymann	[19] [22]
13	Peter A. Lindsay	[8] [11]
14	Niels Lohmann	[26]
15	Anthony MacDonald	[8] [11]
16	Simon Moser	[22]
17	Cesare Pautasso	[21]
18	Wolfgang Reisig	[1] [2]
19	Matthias Schmalz	[20] [25]
20	Paul A. Strooper	[8] [11]
21	Jussi Vanhatalo	[19] [21] [22] [23] [24]
22	Daniele Varacca	[13] [15] [16] [18] [20] [25]
23	Tobias Vesper	[1]
24	Ksenia Wahler (Ksenia Ryndina)	[21]
25	Rolf Walter	[1] [2]
26	Glynn Winskel	[13] [16]
27	Karsten Wolf (Karsten Schmidt)	[26]

Colors in the list of coauthors