 | 2012 |
|---|
| 7 |       | Keijo Heljanko,
Misa Keinänen,
Martin Lange,
Ilkka Niemelä:
Solving parity games by a reduction to SAT.
J. Comput. Syst. Sci. 78(2): 430-440 (2012) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page