Hagen Völzer

2008
23	EE	Jussi Vanhatalo, Hagen Völzer, Jana Koehler: The Refined Process Structure Tree. BPM 2008: 100-115
22	EE	Jussi Vanhatalo, Hagen Völzer, Frank Leymann, Simon Moser: Automatic Workflow Graph Refactoring and Completion. ICSOC 2008: 100-115
2007
21	EE	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	EE	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	EE	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	EE	Daniele Varacca, Hagen Völzer: Temporal Logics and Model Checking for Fairly Correct Systems. LICS 2006: 389-398
17	EE	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	EE	Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic event structures and domains. Theor. Comput. Sci. 358(2-3): 173-199 (2006)
2005
15	EE	Hagen Völzer, Daniele Varacca, Ekkart Kindler: Defining Fairness. CONCUR 2005: 458-472
14	EE	Hagen Völzer: On Conspiracies and Hyperfairness in Distributed Computing. DISC 2005: 33-47
2004
13	EE	Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic Event Structures and Domains. CONCUR 2004: 481-496
12	EE	Hagen Völzer: On Randomization Versus Synchronization in Distributed Systems. ICALP 2004: 1214-1226
11	EE	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	EE	Hagen Völzer: A constructive proof for FLP. Inf. Process. Lett. 92(2): 83-87 (2004)
2002
9	EE	Hagen Völzer: Refinement-Robust Fairness. CONCUR 2002: 547-561
8	EE	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	EE	Hagen Völzer: Randomized Non-sequential Processes. CONCUR 2001: 184-201
6	EE	Ekkart Kindler, Hagen Völzer: Algebraic nets with flexible arcs. Theor. Comput. Sci. 262(1): 285-310 (2001)
1999
5	EE	Thomas Baar, Ekkart Kindler, Hagen Völzer: Verifying Intuition - ILF Checks DAWN Proofs. ICATPN 1999: 404-424
1998
4	EE	Hagen Völzer: Verifying Fault Tolerance of Distributed Algorithms Formally - An Example. ACSD 1998: 187-
3	EE	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	Felix C. Freiling (Felix C. Gärtner)	[17]
4	Thomas Gschwind	[21]
5	Andrew Hanlon	[11]
6	Ekkart Kindler	[1] [2] [3] [5] [6] [15]
7	Jana Koehler (Jana Köhler)	[21] [23]
8	Jochen Malte Küster	[21]
9	Frank Leymann	[19] [22]
10	Peter A. Lindsay	[8] [11]
11	Anthony MacDonald	[8] [11]
12	Simon Moser	[22]
13	Cesare Pautasso	[21]
14	Wolfgang Reisig	[1] [2]
15	Matthias Schmalz	[20]
16	Paul A. Strooper	[8] [11]
17	Jussi Vanhatalo	[19] [21] [22] [23]
18	Daniele Varacca	[13] [15] [16] [18] [20]
19	Tobias Vesper	[1]
20	Ksenia Wahler (Ksenia Ryndina)	[21]
21	Rolf Walter	[1] [2]
22	Glynn Winskel	[13] [16]

Colors in the list of coauthors