Misa Keinnen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2008
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ECAI | Simulated Annealing for Coalition Formation. | Helena Keinnen, Misa Keinnen |
| 2006 | CAV | Bounded Model Checking for Weak Alternating Bchi Automata. | Keijo Heljanko, Tommi A. Junttila, Misa Keinnen, Martin Lange, Timo Latvala |
| 2005 | ICTAC | A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. | Jan Friso Groote, Misa Keinnen |
| 2004 | TACAS | Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. | Jan Friso Groote, Misa Keinnen |