Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. - Jan Friso Groote; Misa Keinänen (TACAS, 2004)

Solving Alternating Boolean Equation Systems in Answer Set Programming. - Misa Keinänen; Ilkka Niemelä (INAP/WLP, 2004)

Obtaining Memory-Efficient Solutions to Boolean Equation Systems. - Misa Keinänen (FMICS, 2004)

A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. - Jan Friso Groote; Misa Keinänen (ICTAC, 2005)

Bounded Model Checking for Weak Alternating Büchi Automata. - Keijo Heljanko; Tommi A. Junttila; Misa Keinänen; Martin Lange 001; Timo Latvala (CAV, 2006)

Simulated Annealing for Coalition Formation. - Helena Keinänen; Misa Keinänen (ECAI, 2008)

Solving parity games by a reduction to SAT. - Keijo Heljanko; Misa Keinänen; Martin Lange 001; Ilkka Niemelä (J. Comput. Syst. Sci., 2012)