Henri Hansen

	2011
13		Henri Hansen, Xu Wang: Compositional Analysis for Weak Stubborn Sets. ACSD 2011: 36-43
12		Henri Hansen, Xu Wang: On the Origin of Events: Branching Cells as Stubborn Sets. Petri Nets 2011: 248-267
11		Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu: Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. QEST 2011: 203-212
10		Antti Valmari, Henri Hansen: Can Stubborn Sets Be Optimal? Fundam. Inform. 113(3-4): 377-397 (2011)
	2010
9		Antti Valmari, Henri Hansen: Can Stubborn Sets Be Optimal? Petri Nets 2010: 43-62
	2009
8		Jaco Geldenhuys, Henri Hansen, Antti Valmari: Exploring the Scope for Partial Order Reduction. ATVA 2009: 39-53
	2008
7		Henri Hansen, Jaco Geldenhuys: Cheap and Small Counterexamples. SEFM 2008: 53-62
	2006
6		Henri Hansen, Antti Kervinen: Minimal Counterexamples in O(n log n) Memory and O(n^2) Time. ACSD 2006: 133-142
5		Henri Hansen, Antti Valmari: Operational Determinism and Fast Algorithms. CONCUR 2006: 188-202
4		Jaco Geldenhuys, Henri Hansen: Larger Automata and Less Work for LTL Model Checking. SPIN 2006: 53-70
	2004
3		Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä: Tampere Verification Tool. TACAS 2004: 153-157
	2003
2		Henri Hansen, Heikki Virtanen, Antti Valmari: Merging State-Based and Action-Based Verification. ACSD 2003: 150-156
	2002
1		Henri Hansen, Wojciech Penczek, Antti Valmari: Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties. Electr. Notes Theor. Comput. Sci. 66(2): 178-193 (2002)

Coauthor Index

1	Timo Erkkilä	[3]
2	Jaco Geldenhuys	[4] [7] [8]
3	Antti Kervinen	[6]
4	Marta Z. Kwiatkowska	[11]
5	Juha Nieminen	[3]
6	Wojciech Penczek	[1]
7	Hongyang Qu	[11]
8	Antti Valmari	[1] [2] [3] [5] [8] [9] [10]
9	Heikki Virtanen	[2] [3]
10	Xu Wang	[12] [13]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page