| 2013 | LPAR | Simulating Parity Reasoning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2012 | CP | Classifying and Propagating Parity Constraints. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2012 | FORTE | Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata. | Roland Kindermann, Tommi A. Junttila, Ilkka Niemel |
| 2012 | ICTAI | Extending Clause Learning SAT Solvers with Complete Parity Reasoning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2012 | KR | Answer Set Programming via Mixed Integer Programming. | Guohua Liu, Tomi Janhunen, Ilkka Niemel |
| 2012 | SAT | Conflict-Driven XOR-Clause Learning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2011 | CP | Grid-Based SAT Solving with Iterative Partitioning and Clause Learning. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2011 | ICTAI | Equivalence Class Based Parity Reasoning with DPLL(XOR). | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2011 | LPNMR | Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. | Tomi Janhunen, Ilkka Niemel, Johannes Oetsch, Jrg Phrer, Hans Tompits |
| 2011 | LPNMR | Strong Equivalence of Logic Programs with Abstract Constraint Atoms. | Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemel, Jia-Huai You |
| 2010 | ECAI | On Testing Answer-Set Programs. | Tomi Janhunen, Ilkka Niemel, Johannes Oetsch, Jrg Phrer, Hans Tompits |
| 2010 | ECAI | Extending Clause Learning DPLL with Parity Reasoning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2010 | LPAR | Partitioning SAT Instances for Distributed Solving. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2009 | LPNMR | Computing Stable Models via Reductions to Difference Logic. | Tomi Janhunen, Ilkka Niemel, Mark Sevalnev |
| 2009 | LPNMR | A Module-Based Framework for Multi-language Constraint Modeling. | Matti Jrvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemel |
| 2009 | LPNMR | Integrating Answer Set Programming and Satisfiability Modulo Theories. | Ilkka Niemel |
| 2009 | RV | The LIME Interface Specification Language and Runtime Monitoring Tool. | Kari Khknen, Jani Lampinen, Keijo Heljanko, Ilkka Niemel |
| 2008 | AIMSA | Incorporating Learning in Grid-Based Randomized SAT Solving. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2008 | AISC | Strategies for Solving SAT in Grids by Randomized Search. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2008 | ECAI | Justification-Based Non-Clausal Local Search for SAT. | Matti Jrvisalo, Tommi A. Junttila, Ilkka Niemel |
| 2008 | ICLP | Answer Set Programming without Unstratified Negation. | Ilkka Niemel |
| 2008 | ISAIM | Stable Models and Difference Logic. | Ilkka Niemel |
| 2008 | LPAR | Justification-Based Local Search with Adaptive Noise Strategies. | Matti Jrvisalo, Tommi A. Junttila, Ilkka Niemel |
| 2006 | JELIA | Answer Set Programming: A Declarative Approach to Solving Search Problems. | Ilkka Niemel |
| 2006 | SAT | A Distribution Method for Solving SAT in Grids. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2005 | AAAI | Prioritized Component Systems. | Gerhard Brewka, Ilkka Niemel, Miroslaw Truszczynski |
| 2004 | ISAIM | Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits. | Matti Jrvisalo, Tommi A. Junttila, Ilkka Niemel |
| 2004 | JELIA | Parallel Encodings of Classical Planning as Satisfiability. | Jussi Rintanen, Keijo Heljanko, Ilkka Niemel |
| 2004 | LPNMR | GNT - A Solver for Disjunctive Logic Programs. | Tomi Janhunen, Ilkka Niemel |
| 2004 | LPNMR | Logic Programs With Monotone Cardinality Atoms. | V. Wiktor Marek, Ilkka Niemel, Miroslaw Truszczynski |
| 2003 | IJCAI | Answer Set Optimization. | Gerhard Brewka, Ilkka Niemel, Miroslaw Truszczynski |
| 2002 | JELIA | Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. | Gerhard Brewka, Ilkka Niemel, Tommi Syrjnen |
| 2001 | LPNMR | Bounded LTL Model Checking with Stable Models. | Keijo Heljanko, Ilkka Niemel |
| 2001 | LPNMR | The Smodels System. | Tommi Syrjnen, Ilkka Niemel |
| 2000 | KR | Unfolding Partiality and Disjunctions in Stable Model Semantics. | Tomi Janhunen, Ilkka Niemel, Patrik Simons, Jia-Huai You |
| 1999 | CP | A Fixpoint Definition of Dynamic Constraint Satisfaction. | Timo Soininen, Esther M. Gelle, Ilkka Niemel |
| 1999 | LPNMR | Stable Model Semantics of Weight Constraint Rules. | Ilkka Niemel, Patrik Simons, Timo Soininen |
| 1999 | PADL | Developing a Declarative Rule Language for Applications in Product Configuration. | Timo Soininen, Ilkka Niemel |
| 1998 | KR | A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. | Stefan Brass, Jrgen Dix, Ilkka Niemel, Teodor C. Przymusinski |
| 1997 | LPNMR | Dislop: Towards a Disjunctive Logic Programming System. | Chandrabose Aravindan, Jrgen Dix, Ilkka Niemel |
| 1997 | LPNMR | Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. | Ilkka Niemel, Patrik Simons |
| 1996 | ECAI | Implementing Circumscription Using a Tableau Method. | Ilkka Niemel |
| 1996 | ICLP | On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). | Chandrabose Aravindan, Peter Baumgartner, Jrgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemel, Dorothea Schfer, Frieder Stolzenburg |
| 1996 | ICLP | Efficient Implementation of the Well-founded and Stable Model Semantics. | Ilkka Niemel, Patrik Simons |
| 1996 | JELIA | Hyper Tableaux. | Peter Baumgartner, Ulrich Furbach, Ilkka Niemel |
| 1996 | TABLEAUX | A Tableau Calculus for Minimal Model Reasoning. | Ilkka Niemel |
| 1995 | IJCAI | Towards Efficient Default Reasoning. | Ilkka Niemel |
| 1994 | KR | A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning. | Ilkka Niemel |
| 1992 | ECAI | A Unifying Framework for Nonmonotonic Reasoning. | Ilkka Niemel |
| 1992 | ECAI | On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. | Ilkka Niemel, Jussi Rintanen |
| 1992 | KR | On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. | Ilkka Niemel, Jussi Rintanen |
| 1991 | IJCAI | Constructive Tightly Grounded Autoepistemic Reasoning. | Ilkka Niemel |
| 1990 | JELIA | Towards Automatic Autoepistemic Reasoning. | Ilkka Niemel |
| 1988 | CADE | Decision Procedure for Autoepistemic Logic. | Ilkka Niemel |
| 1988 | CSL | On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic. | Ilkka Niemel |
| 1988 | ECAI | Autoepistemic Predicate Logic. | Ilkka Niemel |