sign in · help · news · about ·

BibSonomy :: author :: Niemelä ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(155)

<< < 1 | 2 | 3 > >>

Stable Models and Difference Logic.
Ilkka Niemelä ISAIM, (2008)
to dblp by dblp and 1 other user on Feb 9, 2012, 12:00 AM
URL | BibTeX
Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits.
Matti Järvisalo, Tommi A. Junttila, and Ilkka Niemelä ISAIM, (2004)
to dblp by dblp and 1 other user on Feb 9, 2012, 12:00 AM
URL | BibTeX
Solving parity games by a reduction to SAT.
Keijo Heljanko, Misa Keinänen, Martin Lange, and Ilkka Niemelä J. Comput. Syst. Sci. 78(2):430-440 (2012)
to dblp by dblp on Feb 3, 2012, 12:00 AM
URL | BibTeX
Equivalence Class Based Parity Reasoning with DPLLXOR.
Tero Laitinen, Tommi A. Junttila, and Ilkka Niemelä ICTAI, page 649-658. IEEE, (2011)
to dblp by dblp on Dec 28, 2011, 12:00 AM
URL | BibTeX
A Survey on Software Architecture Analysis Methods
Liliana Dobrica, and Eila Niemelä IEEE Transactions on Software Engineering 28(7):638--653 (2002)
to analysis methodology architecture by pbrada and 3 other users on Dec 16, 2011, 9:34 AM
DOI | BibTeX
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses.
Tomi Janhunen, and Ilkka Niemelä Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, volume 6565 of Lecture Notes in Computer Science, page 111-130. Springer, (2011)
to dblp by dblp on Dec 12, 2011, 12:00 AM
URL | BibTeX
Logic programs with monotone abstract constraint atoms
Victor W. Marek, Ilkka Niemelä, and Miroslaw Truszczynski CoRR (2006)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
DES: a Challenge Problem for Nonmonotonic Reasoning Systems
Maarit Hietalahti, Fabio Massacci, and Ilkka Niemelä CoRR (2000)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Translating Answer-Set Programs into Bit-Vector Logic
Mai Nguyen, Tomi Janhunen, and Ilkka Niemelä CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Smodels: A System for Answer Set Programming
Ilkka Niemelä, Patrik Simons, and Tommi Syrjänen CoRR (2000)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Bounded LTL Model Checking with Stable Models
Keijo Heljanko, and Ilkka Niemelä CoRR (2003)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Origins of Answer-Set Programming - Some Background And Two Personal Accounts
Victor W. Marek, Ilkka Niemelä, and Miroslaw Truszczynski CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Logic programs with monotone cardinality atoms
V. Wiktor Marek, Ilkka Niemelä, and Miroslaw Truszczynski CoRR (2003)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Unfolding Partiality and Disjunctions in Stable Model Semantics
Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, and Jia-Huai You CoRR (2003)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Automated modular bacterial filtering system with embeddable microfluidic chips.
Pooya Saketi, Joose Kreutzer, Katja Niemelä, Lasse Välimaa, and Pasi Johannes Kallio CASE, page 212-216. IEEE, (2009)
to dblp by dblp on Nov 16, 2011, 12:00 AM
URL | BibTeX
A Survey on Software Architecture Analysis Methods.
Liliana Dobrica, and Eila Niemelä IEEE Trans. Software Eng. 28(7):638-653 (2002)
to dblp by dblp and 3 other users on Nov 7, 2011, 12:00 AM
URL | BibTeX
Toward an Architectural Knowledge Base for Wireless Service Engineering.
Eila Niemelä, Jarmo Kalaoja, and Patricia Lago IEEE Trans. Software Eng. 31(5):361-379 (2005)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
DisLoP: A Research Project on Disjunctive Logic Programming.
Chandrabose Aravindan, Jürgen Dix, and Ilkka Niemelä AI Commun. 10(3-4):151-165 (1997)
to dblp by dblp on Sep 9, 2011, 12:00 AM
URL | BibTeX
Partitioning Search Spaces of a Randomized Search.
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, and Ilkka Niemelä Fundam. Inform. 107(2-3):289-311 (2011)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Grid-Based SAT Solving with Iterative Partitioning and Clause Learning.
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, and Ilkka Niemelä CP, volume 6876 of Lecture Notes in Computer Science, page 385-399. Springer, (2011)
to dblp by dblp on Sep 2, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper