Question 1

What does David Déharbe research?

Accepted Answer

David Déharbe publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Software Testing and Debugging Techniques.

Question 2

Which keywords describe David Déharbe's research?

Accepted Answer

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

Question 3

Where does David Déharbe work?

Accepted Answer

David Déharbe's main affiliation in the publication record is Universidade Federal do Rio Grande do Norte, Brazil.

Question 4

How many publications and citations does David Déharbe have?

Accepted Answer

OpenAlex counts 114 works and 877 citations for David Déharbe, an h-index of 16, ranking #4,330,500 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is David Déharbe's h-index high?

Accepted Answer

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