Science Explorer Interactive view Map
Researcher · SINTEF · Norway

Ketil Stølen

Ketil Stølen publishes mostly in Artificial Intelligence, Information Systems and Hardware and Architecture, on topics such as Advanced Software Engineering Methodologies, Formal Methods in Verification and Logic, programming, and type systems.

ORCID 0000-0002-8810-9902 OpenAlex
World rank
#663,891
of 1,633,909 ranked researchers
Rank in Norway
#3,167
of 6,482
Works
66
Citations
112
Citations per work
1.7

What does Ketil Stølen research?

Artificial Intelligence: 22.4%Information Systems: 18.4%Hardware and Architecture: 10.5%Computational Theory and Mathematics: 9.2%other fields: 39.5%22%top field
Artificial Intelligence22.4%Information Systems18.4%Hardware and Architecture10.5%Computational Theory and Mathematics9.2%other fields39.5%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Artificial Intelligence22% of their works
  2. 2Information Systems18% of their works
  3. 3Hardware and Architecture10% of their works
  4. 4Computational Theory and Mathematics9% of their works
  5. 5Control and Systems Engineering9% of their works
  6. 6Computer Networks and Communications8% of their works

Research topics

Which keywords describe Ketil Stølen's research?

The keywords of their largest research topics: Model Checking, Autonomic Computing, Self-Adaptive Systems, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems, Domain-Specific Languages and Formal Verification.

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 18 words, with their numbers
  1. Model Checking112 topics
  2. Autonomic Computing81 topic
  3. Self-Adaptive Systems81 topic
  4. Satisfiability Modulo Theories71 topic
  5. Symbolic Model Checker71 topic
  6. Embedded Systems62 topics
  7. Domain-Specific Languages41 topic
  8. Formal Verification41 topic
  9. Information Security41 topic
  10. Model-Driven Engineering41 topic
  11. Policy Compliance41 topic
  12. Static Analysis41 topic
  13. Hard Real-Time Systems31 topic
  14. High-Level Synthesis31 topic
  15. QoS-Aware Middleware31 topic
  16. Reconfigurable Computing31 topic
  17. Scheduling Algorithms31 topic
  18. Semantic Web Services31 topic

Where does Ketil Stølen work?

Ketil Stølen's main affiliation in the publication record is SINTEF, Norway.

How many publications and citations does Ketil Stølen have?

Science Explorer counts 66 works and 112 citations for Ketil Stølen, ranking #663,891 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.