Science Explorer Back to mapMap
Discussion
Researcher · Aalto University · Finland

Ilkka Niemelä

Ilkka Niemelä publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and Formal Methods in Verification.

OpenAlex
World rank
#596,523
of 7,710,434 ranked researchers
Rank in Finland
#3,589
of 37,370
Works
170
Citations
6k
Citations per work
35.4
h-index
37
i10-index 83Top 2.7% in Artificial Intelligence
Ilkka Niemelä

What does Ilkka Niemelä research?

Ilkka Niemelä's work is mostly in Computer Science (86%), Engineering (2%).

Physical Sciences: 151 works · 88.8% of their workComputer Science: 147 works · 86.4% of their workArtificial Intelligence: 90 works · 52.9% of their workComputational Theory and Mathematics: 26 works · 15.3% of their workSoftware: 15 works · 8.8% of their workComputer Networks and Communications: 13 works · 7.7% of their workHardware and Architecture: 3 works · 1.7% of their workEngineering: 4 works · 2.4% of their workSafety, Risk, Reliability and Quality: 4 works · 2.4% of their workEverything else: 19 works · 11.2% of their workTHEIR WORKIlkka Niemelä170works
Physical Sciences89%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science14786.4%
    2. Engineering42.4%
  2. Everything else1911.2%
  1. 1Artificial Intelligence53% of their works
  2. 2Computational Theory and Mathematics15% of their works
  3. 3Software9% of their works
  4. 4Computer Networks and Communications8% of their works
  5. 5Safety, Risk, Reliability and Quality2% of their works
  6. 6Hardware and Architecture2% of their works

Research topics

Which keywords describe Ilkka Niemelä's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Description Logics, Knowledge Representation, Answer Set Programming, Modal Logic, Formal Verification and Satisfiability Modulo Theories.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 20 words, with their numbers
  1. Model Checking1893 topics
  2. Temporal Logic1382 topics
  3. Description Logics1322 topics
  4. Knowledge Representation1322 topics
  5. Answer Set Programming871 topic
  6. Modal Logic871 topic
  7. Formal Verification511 topic
  8. Satisfiability Modulo Theories511 topic
  9. Static Analysis511 topic
  10. Symbolic Model Checker511 topic
  11. Ontology451 topic
  12. Semantic Web451 topic
  13. Agent-Based Modeling391 topic
  14. Multi-Agent Systems391 topic
  15. Constraint Optimization261 topic
  16. Distributed Algorithms261 topic
  17. Architecture-Based Approach181 topic
  18. Software Reliability Modeling181 topic
  19. Fuzzy Logic151 topic
  20. Residuated Lattices151 topic

Where does Ilkka Niemelä work?

Ilkka Niemelä's main affiliation in the publication record is Aalto University, Finland.

How many publications and citations does Ilkka Niemelä have?

OpenAlex counts 170 works and 6,013 citations for Ilkka Niemelä, an h-index of 37, ranking #596,523 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Ilkka Niemelä. Posts are plain text and can be reported.