Question 1

What does Pascal Cuoq research?

Accepted Answer

Pascal Cuoq publishes mostly in Software, Artificial Intelligence and Hardware and Architecture, on topics such as Software Testing and Debugging Techniques, Logic, programming, and type systems and Formal Methods in Verification.

Question 2

Which keywords describe Pascal Cuoq's research?

Accepted Answer

The keywords of their largest research topics: Automated Testing, Software Fault Localization, Model Checking, Formal Verification, Static Analysis, Architecture-Based Approach, Parallel Computing and Performance Optimization.

Question 3

Where does Pascal Cuoq work?

Accepted Answer

Pascal Cuoq's main affiliation in the publication record is Commissariat à l'Énergie Atomique et aux Énergies Alternatives, France.

Question 4

How many publications and citations does Pascal Cuoq have?

Accepted Answer

OpenAlex counts 23 works and 1,009 citations for Pascal Cuoq, an h-index of 10, ranking #2,140,598 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Pascal Cuoq's h-index high?

Accepted Answer

An h-index of 10 is at or above that of 61% of the 2,715 ranked researchers whose main subfield is Software, which is in the top 44%.