Science Explorer Back to mapMap
Discussion
Researcher · University of Oxford · United Kingdom

Daniel Kroening

Daniel Kroening 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 Software Reliability and Analysis Research.

ORCID 0000-0002-6681-5283 OpenAlex
World rank
#139,026
of 7,710,434 ranked researchers
Rank in United Kingdom
#12,529
of 367,258
Works
432
Citations
11k
Citations per work
26.6
h-index
48
i10-index 190Top 1.1% in Computational Theory and Mathematics
Daniel Kroening

What does Daniel Kroening research?

Daniel Kroening's work is mostly in Computer Science (86%).

Physical Sciences: 372 works · 86.2% of their workComputer Science: 372 works · 86.2% of their workComputational Theory and Mathematics: 103 works · 23.9% of their workSoftware: 102 works · 23.6% of their workArtificial Intelligence: 96 works · 22.2% of their workHardware and Architecture: 38 works · 8.9% of their workComputer Networks and Communications: 20 works · 4.6% of their workInformation Systems: 13 works · 3.0% of their workEverything else: 60 works · 13.8% of their workTHEIR WORKDaniel Kroening432works
Physical Sciences86%

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 Science37286.2%
  2. Everything else6013.8%
  1. 1Computational Theory and Mathematics24% of their works
  2. 2Software24% of their works
  3. 3Artificial Intelligence22% of their works
  4. 4Hardware and Architecture9% of their works
  5. 5Computer Networks and Communications5% of their works
  6. 6Information Systems3% of their works

Research topics

Which keywords describe Daniel Kroening's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing, Software Fault Localization, Architecture-Based Approach, Software Reliability Modeling 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. 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 17 words, with their numbers
  1. Model Checking3362 topics
  2. Satisfiability Modulo Theories2521 topic
  3. Symbolic Model Checker2521 topic
  4. Automated Testing1741 topic
  5. Software Fault Localization1741 topic
  6. Architecture-Based Approach941 topic
  7. Software Reliability Modeling941 topic
  8. Formal Verification841 topic
  9. Static Analysis841 topic
  10. High-Level Synthesis411 topic
  11. Reconfigurable Computing411 topic
  12. Parallel Computing361 topic
  13. Performance Optimization361 topic
  14. Security Policies331 topic
  15. Side-Channel Attacks331 topic
  16. Code Clone Detection311 topic
  17. Refactoring311 topic

Where does Daniel Kroening work?

Daniel Kroening's main affiliation in the publication record is University of Oxford, United Kingdom.

How many publications and citations does Daniel Kroening have?

OpenAlex counts 432 works and 11,486 citations for Daniel Kroening, an h-index of 48, ranking #139,026 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 Daniel Kroening. 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.