Question 1

What does Daniel Kroening research?

Accepted Answer

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.

Question 2

Which keywords describe Daniel Kroening's research?

Accepted Answer

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.

Question 3

Where does Daniel Kroening work?

Accepted Answer

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

Question 4

How many publications and citations does Daniel Kroening have?

Accepted Answer

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.

Question 5

Is Daniel Kroening's h-index high?

Accepted Answer

An h-index of 48 is at or above that of 99% of the 19,601 ranked researchers whose main subfield is Computational Theory and Mathematics, which is in the top 1.1%.