Misa Keinänen

According to our database, Misa Keinänen authored at least 7 papers between 2004 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Solving parity games by a reduction to SAT.

Keijo Heljanko, Misa Keinänen, Martin Lange, Ilkka Niemelä

J. Comput. Syst. Sci., 2012

2008

Simulated Annealing for Coalition Formation.

Helena Keinänen, Misa Keinänen

Proceedings of the ECAI 2008, 2008

2006

Bounded Model Checking for Weak Alternating Büchi Automata.

Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems.

Jan Friso Groote, Misa Keinänen

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Obtaining Memory-Efficient Solutions to Boolean Equation Systems.

Misa Keinänen

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Solving Alternating Boolean Equation Systems in Answer Set Programming.

Misa Keinänen, Ilkka Niemelä

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points.

Jan Friso Groote, Misa Keinänen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004