Question 1

What does Xavier Rival research?

Accepted Answer

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

Question 2

Which keywords describe Xavier Rival's research?

Accepted Answer

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

Question 3

Where does Xavier Rival work?

Accepted Answer

Xavier Rival's main affiliation in the publication record is Institut national de recherche en sciences et technologies du numérique, France.

Question 4

How many publications and citations does Xavier Rival have?

Accepted Answer

OpenAlex counts 118 works and 3,558 citations for Xavier Rival, an h-index of 26, ranking #694,684 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Xavier Rival's h-index high?

Accepted Answer

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