Science Explorer Back to mapMap
Discussion
Researcher · Institut national de recherche en sciences et technologies du numérique · France

Xavier Rival

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.

ORCID 0000-0002-2875-6171 OpenAlex
World rank
#694,684
of 7,710,434 ranked researchers
Rank in France
#34,463
of 324,115
Works
118
Citations
3.6k
Citations per work
30.2
h-index
26
i10-index 41Top 7.1% in Artificial Intelligence
Xavier Rival

What does Xavier Rival research?

Xavier Rival's work is mostly in Computer Science (82%).

Physical Sciences: 97 works · 82.2% of their workComputer Science: 97 works · 82.2% of their workArtificial Intelligence: 35 works · 29.9% of their workSoftware: 18 works · 15.4% of their workComputational Theory and Mathematics: 17 works · 14.1% of their workHardware and Architecture: 13 works · 10.6% of their workInformation Systems: 10 works · 8.7% of their workComputer Networks and Communications: 4 works · 3.5% of their workEverything else: 21 works · 17.8% of their workTHEIR WORKXavier Rival118works
Physical Sciences82%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science9782.2%
  2. Everything else2117.8%
  1. 1Artificial Intelligence30% of their works
  2. 2Software15% of their works
  3. 3Computational Theory and Mathematics14% of their works
  4. 4Hardware and Architecture11% of their works
  5. 5Information Systems9% of their works
  6. 6Computer Networks and Communications4% of their works

Research topics

Which keywords describe Xavier Rival's research?

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.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 17 words, with their numbers
  1. Model Checking912 topics
  2. Formal Verification501 topic
  3. Static Analysis501 topic
  4. Satisfiability Modulo Theories411 topic
  5. Symbolic Model Checker411 topic
  6. Automated Testing311 topic
  7. Software Fault Localization311 topic
  8. Code Clone Detection241 topic
  9. Refactoring241 topic
  10. Parallel Computing161 topic
  11. Performance Optimization161 topic
  12. Security Policies121 topic
  13. Side-Channel Attacks121 topic
  14. Architecture-Based Approach101 topic
  15. Software Reliability Modeling101 topic
  16. Autonomic Computing91 topic
  17. Self-Adaptive Systems91 topic

Where does Xavier Rival work?

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

How many publications and citations does Xavier Rival have?

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.

Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Xavier Rival. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.