Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Misa Keinänen" ( http://dblp.L3S.de/Authors/Misa_Keinänen )

  Author page on DBLP  Author page in RDF  Community of Misa Keinänen in ASPL-2

Publication years (Num. hits)
2004 (2) 2005 (2) 2006 (1) 2008 (1) 2012 (1)
Publication types (Num. hits)
article(2) inproceedings(5)
Venues (Conferences, Journals, ...)
CAV(1) ECAI(1) Electr. Notes Theor. Comput. S...(1) ICTAC(1) INAP/WLP(1) J. Comput. Syst. Sci.(1) TACAS(1)
Authors
Misa Keinänen(7) Ilkka Niemelä(2) Jan Friso Groote(2) Keijo Heljanko(2) Martin Lange(2) Helena Keinänen(1) Timo Latvala(1) Tommi A. Junttila(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Keijo Heljanko, Misa Keinänen, Martin Lange, Ilkka Niemelä Solving parity games by a reduction to SAT. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Helena Keinänen, Misa Keinänen Simulated Annealing for Coalition Formation. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala Bounded Model Checking for Weak Alternating Büchi Automata. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV
1Misa Keinänen Obtaining Memory-Efficient Solutions to Boolean Equation Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jan Friso Groote, Misa Keinänen A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. Search on Bibsonomy ICTAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jan Friso Groote, Misa Keinänen Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Misa Keinänen, Ilkka Niemelä Solving Alternating Boolean Equation Systems in Answer Set Programming. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.