Question 1

What does David R. Cok research?

Accepted Answer

David R. Cok publishes mostly in Artificial Intelligence, Software and Atomic and Molecular Physics, and Optics, on topics such as Logic, programming, and type systems, Software Testing and Debugging Techniques and Formal Methods in Verification.

Question 2

Which keywords describe David R. Cok's research?

Accepted Answer

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

Question 3

Where does David R. Cok work?

Accepted Answer

David R. Cok's main affiliation in the publication record is GrammaTech (United States), United States.

Question 4

How many publications and citations does David R. Cok have?

Accepted Answer

OpenAlex counts 71 works and 3,139 citations for David R. Cok, an h-index of 24, ranking #755,201 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is David R. Cok's h-index high?

Accepted Answer

An h-index of 24 is at or above that of 92% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 8.5%.