Misa Keinänen

	2008
6		Helena Keinänen, Misa Keinänen: Simulated Annealing for Coalition Formation. ECAI 2008: 857-858
	2006
5		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
	2005
4		Jan Friso Groote, Misa Keinänen: A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. ICTAC 2005: 532-545
3		Misa Keinänen: Obtaining Memory-Efficient Solutions to Boolean Equation Systems. Electr. Notes Theor. Comput. Sci. 133: 175-191 (2005)
	2004
2		Misa Keinänen, Ilkka Niemelä: Solving Alternating Boolean Equation Systems in Answer Set Programming. INAP/WLP 2004: 134-148
1		Jan Friso Groote, Misa Keinänen: Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. TACAS 2004: 436-450

Coauthor Index

1	Jan Friso Groote	[1] [4]
2	Keijo Heljanko	[5]
3	Tommi A. Junttila	[5]
4	Helena Keinänen	[6]
5	Martin Lange	[5]
6	Timo Latvala	[5]
7	Ilkka Niemelä	[2]

Colors in the list of coauthors