Ilkka Niemelä
- Artificial Intelligence top 0.5%
- Logic, Reasoning, and Knowledge 34
- Semantic Web and Ontologies 22
- Logic, programming, and type systems 16
- Multi-Agent Systems and Negotiation 13
- Software top 2%
- Software Reliability and Analysis Research 13
-
- Formal Methods in Verification 25
-
- Constraint Satisfaction and Optimization 8
- Signal Processing top 10%
-
- Safety Systems Engineering in Autonomy 8
- Co-authors
- Patrik SimonsTimo SoininenKeijo HeljankoJussi RintanenGerhard BrewkaMirosław TruszczyńskiTomi JanhunenReijo Sulonen
- Journals
- ACM Transactions on Computational Logic (2 papers)Artificial Intelligence (2 papers)AI Magazine (2 papers)
- Partner nations
- FinlandGermanyUnited States
In The Last Decade
Ilkka Niemelä
71 papers receiving 1.7k citations
Hit Papers
Peers
Comparison fields: 5 of 54
- Artificial Intelligence 1.6k
- Software 179
- Computational Theory and Mathematics 543
- Computer Networks and Communications 318
- Signal Processing 61
Countries citing papers authored by Ilkka Niemelä
This map shows the geographic impact of Ilkka Niemelä's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Ilkka Niemelä with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Ilkka Niemelä more than expected).
Fields of papers citing papers by Ilkka Niemelä
This network shows the impact of papers produced by Ilkka Niemelä. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Ilkka Niemelä. The network helps show where Ilkka Niemelä may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Ilkka Niemelä, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2016 | 18 | |
| 2 | Emergency diesel generator control system verification by model checking and compositional minimization | 2012 | 1 |
| 3 | 2011 | 7 | |
| 4 | 2008 | 10 | |
| 5 | 2006 | 123 | |
| 6 | Prioritized component systems | 2005 | 4 |
| 7 | Solving Alternating Boolean Equation Systems in Answer Set Programming | 2004 | 2 |
| 8 | Answer set optimization | 2003 | 58 |
| 9 | 2003 | 27 | |
| 10 | Extending and implementing the stable model semanticsbreakdown → | 2002 | 417 |
| 11 | 1999 | 1 | |
| 12 | 1998 | 7 | |
| 13 | Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP | 1997 | 118 |
| 14 | Autoepistemic logic as a basis for automating nonmonotonic reasoning | 1996 | 1 |
| 15 | Efficient Implementation of the Well-founded and Stable Model Semantics | 1996 | 72 |
| 16 | Implementing Circumscription Using a Tableau Method. | 1996 | 10 |
| 17 | Towards efficient default reasoning | 1995 | 19 |
| 18 | A unifying framework for nonmonotonic reasoning | 1992 | 5 |
| 19 | Constructive tightly grounded autoepistemic reasoning | 1991 | 6 |
| 20 | Autoepistemic predicate logic | 1988 | 2 |
About Ilkka Niemelä
Ilkka Niemelä is a scholar working on Software, Computational Theory and Mathematics and Artificial Intelligence, having authored 74 papers that have together received 1.9k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (34 papers), Formal Methods in Verification (25 papers), Semantic Web and Ontologies (22 papers), Logic, programming, and type systems (16 papers), Software Reliability and Analysis Research (13 papers), Multi-Agent Systems and Negotiation (13 papers), Safety Systems Engineering in Autonomy (8 papers) and Constraint Satisfaction and Optimization (8 papers). The work is most often cited by research in Artificial Intelligence (1.6k citations), Software (179 citations) and Computational Theory and Mathematics (543 citations). Ilkka Niemelä has collaborated with scholars based in Finland, Germany and United States. Frequent co-authors include Patrik Simons, Timo Soininen, Keijo Heljanko, Jussi Rintanen, Gerhard Brewka, Mirosław Truszczyński, Tomi Janhunen, Reijo Sulonen, Juha Tiihonen and Matti Järvisalo. Their work appears in journals such as ACM Transactions on Computational Logic, Artificial Intelligence, AI Magazine, Theory and Practice of Logic Programming and International Journal on Software Tools for Technology Transfer.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.