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