Question 1

What does Paul Caspi research?

Accepted Answer

Paul Caspi publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Embedded Systems Design Techniques, Formal Methods in Verification and Real-Time Systems Scheduling.

Question 2

Which keywords describe Paul Caspi's research?

Accepted Answer

The keywords of their largest research topics: Embedded Systems, Model Checking, High-Level Synthesis, Reconfigurable Computing, Satisfiability Modulo Theories, Symbolic Model Checker, Hard Real-Time Systems and Scheduling Algorithms.

Question 3

Where does Paul Caspi work?

Accepted Answer

Paul Caspi's main affiliation in the publication record is Verimag, France.

Question 4

How many publications and citations does Paul Caspi have?

Accepted Answer

OpenAlex counts 69 works and 3,098 citations for Paul Caspi, an h-index of 25, ranking #462,830 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Paul Caspi's h-index high?

Accepted Answer

An h-index of 25 is at or above that of 94% of the 7,394 ranked researchers whose main subfield is Hardware and Architecture, which is in the top 6.9%.