Timo Latvala

	2007
13		Rajesh K. Karmani, Timo Latvala, Gul Agha: On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. SASO 2007: 173-182
	2006
12		Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala: Bounded Model Checking for Weak Alternating Büchi Automata. CAV 2006: 95-108
11		Yaniv Eytani, Timo Latvala: Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise. Haifa Verification Conference 2006: 183-197
10		Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan: Linear Encodings of Bounded LTL Model Checking CoRR abs/cs/0611029: (2006)
9		Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan: Linear Encodings of Bounded LTL Model Checking. Logical Methods in Computer Science 2(5): (2006)
	2005
8		Keijo Heljanko, Tommi A. Junttila, Timo Latvala: Incremental and Complete Bounded Model Checking for Full PLTL. CAV 2005: 98-111
7		Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila: Simple Is Better: Efficient Bounded Model Checking for Past LTL. VMCAI 2005: 380-395
	2004
6		Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila: Simple Bounded LTL Model Checking. FMCAD 2004: 186-200
5		Timo Latvala, Marko Mäkelä: LTL Model Checking for Modular Petri Nets. ICATPN 2004: 298-311
4		Timo Latvala, Heikki Tauriainen: Improved On-the-fly Verification with Testers. Nord. J. Comput. 11(2): 148-164 (2004)
	2003
3		Timo Latvala: Efficient Model Checking of Safety Properties. SPIN 2003: 74-88
	2001
2		Timo Latvala: Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints. ICATPN 2001: 242-262
	2000
1		Timo Latvala, Keijo Heljanko: Coping With Strong Fairness. Fundam. Inform. 43(1-4): 175-193 (2000)

Coauthor Index

1	Gul A. Agha (Gul Agha)	[13]
2	Armin Biere	[6] [7] [9] [10]
3	Yaniv Eytani	[11]
4	Keijo Heljanko	[1] [6] [7] [8] [9] [10] [12]
5	Tommi A. Junttila	[6] [7] [8] [9] [10] [12]
6	Rajesh K. Karmani	[13]
7	Misa Keinänen	[12]
8	Martin Lange	[12]
9	Marko Mäkelä	[5]
10	Viktor Schuppan	[9] [10]
11	Heikki Tauriainen	[4]

Colors in the list of coauthors