Question 1

What does David Delmas research?

Accepted Answer

David Delmas publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence, on topics such as Formal Methods in Verification, Real-Time Systems Scheduling and Logic, programming, and type systems.

Question 2

Which keywords describe David Delmas's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems, Hard Real-Time Systems, Scheduling Algorithms, Formal Verification and Static Analysis.

Question 3

Where does David Delmas work?

Accepted Answer

David Delmas's main affiliation in the publication record is Airbus (France), France.

Question 4

How many publications and citations does David Delmas have?

Accepted Answer

OpenAlex counts 18 works and 407 citations for David Delmas, an h-index of 8, ranking #3,213,289 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is David Delmas's h-index high?

Accepted Answer

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