Science Explorer Back to mapMap
Discussion
Researcher · Aalborg University · Denmark

Kim G. Larsen

Kim G. Larsen publishes mostly in Computational Theory and Mathematics, Software and Artificial Intelligence, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Logic, programming, and type systems.

ORCID 0000-0002-5953-3384 OpenAlex
World rank
#325,291
of 7,710,434 ranked researchers
Rank in Denmark
#2,337
of 43,819
Works
848
Citations
24k
Citations per work
28.9
h-index
71
i10-index 353Top 0.2% in Computational Theory and Mathematics
Kim G. Larsen

What does Kim G. Larsen research?

Kim G. Larsen's work is mostly in Computer Science (78%), Engineering (4%).

Physical Sciences: 695 works · 82.0% of their workComputer Science: 662 works · 78.1% of their workComputational Theory and Mathematics: 261 works · 30.8% of their workSoftware: 153 works · 18.1% of their workArtificial Intelligence: 140 works · 16.5% of their workHardware and Architecture: 81 works · 9.5% of their workComputer Networks and Communications: 27 works · 3.2% of their workEngineering: 33 works · 3.9% of their workControl and Systems Engineering: 33 works · 3.9% of their workEverything else: 153 works · 18.0% of their workTHEIR WORKKim G. Larsen848works
Physical Sciences82%

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 Science66278.1%
    2. Engineering333.9%
  2. Everything else15318.0%
  1. 1Computational Theory and Mathematics31% of their works
  2. 2Software18% of their works
  3. 3Artificial Intelligence16% of their works
  4. 4Hardware and Architecture10% of their works
  5. 5Control and Systems Engineering4% of their works
  6. 6Computer Networks and Communications3% of their works

Research topics

Which keywords describe Kim G. Larsen's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems, Automated Testing, Software Fault Localization, Formal Verification and Static Analysis.

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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking6932 topics
  2. Satisfiability Modulo Theories5331 topic
  3. Symbolic Model Checker5331 topic
  4. Embedded Systems1932 topics
  5. Automated Testing1621 topic
  6. Software Fault Localization1621 topic
  7. Formal Verification1601 topic
  8. Static Analysis1601 topic
  9. Domain-Specific Languages1341 topic
  10. Model-Driven Engineering1341 topic
  11. Architecture-Based Approach1241 topic
  12. Software Reliability Modeling1241 topic
  13. Deadlock Prevention1121 topic
  14. Petri Nets1121 topic
  15. Hard Real-Time Systems1091 topic
  16. Scheduling Algorithms1091 topic
  17. High-Level Synthesis841 topic
  18. Reconfigurable Computing841 topic

Where does Kim G. Larsen work?

Kim G. Larsen's main affiliation in the publication record is Aalborg University, Denmark.

How many publications and citations does Kim G. Larsen have?

OpenAlex counts 848 works and 24,500 citations for Kim G. Larsen, an h-index of 71, ranking #325,291 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation 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 Kim G. Larsen. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.