Xavier Rival
Xavier Rival publishes mostly in Artificial Intelligence, Hardware and Architecture and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Software Testing and Debugging Techniques.
- World rank
- #191,912 of 1,633,909 ranked researchers
- Rank in France
- #10,114 of 96,116
- Works
- 26
- Citations
- 177
- Citations per work
- 6.8
What does Xavier Rival research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence29% of their works
- 2Hardware and Architecture17% of their works
- 3Software17% of their works
- 4Computational Theory and Mathematics14% of their works
- 5Information Systems9% of their works
- 6Computer Networks and Communications6% of their works
Research topics
Which keywords describe Xavier Rival's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Satisfiability Modulo Theories, Static Analysis, Symbolic Model Checker, Automated Testing and Software Fault Localization.
- Statistical Machine Translation
- Neural Machine Translation
- Refactoring
- Code Clone Detection
- Performance Optimization
- Software Fault Localization
- Symbolic Model Checker
- Satisfiability Modulo Theories
- Temporal Logic
- Model Checking
- Formal Verification
- Static Analysis
- Automated Testing
- Parallel Computing
- Answer Set Programming
- Modal Logic
- Autonomic Computing
- Self-Adaptive Systems
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.
All 18 words, with their numbers
- Model Checking123 topics
- Temporal Logic72 topics
- Formal Verification51 topic
- Satisfiability Modulo Theories51 topic
- Static Analysis51 topic
- Symbolic Model Checker51 topic
- Automated Testing41 topic
- Software Fault Localization41 topic
- Parallel Computing31 topic
- Performance Optimization31 topic
- Answer Set Programming21 topic
- Code Clone Detection21 topic
- Modal Logic21 topic
- Refactoring21 topic
- Autonomic Computing11 topic
- Neural Machine Translation11 topic
- Self-Adaptive Systems11 topic
- Statistical Machine Translation11 topic
Where does Xavier Rival work?
Xavier Rival's main affiliation in the publication record is École Normale Supérieure - PSL, France.
How many publications and citations does Xavier Rival have?
Science Explorer counts 26 works and 177 citations for Xavier Rival, ranking #191,912 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised 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 are in the interactive view on the map. Is this your page? Request a correction or removal.