Xavier Rival
About
Xavier Rival has authored 30 papers that have received a total of 489 indexed citations.
This includes 22 papers in Artificial Intelligence, 20 papers in Computational Theory and Mathematics and 16 papers in Software. The topics of these papers are Formal Methods in Verification (20 papers), Logic, programming, and type systems (17 papers) and Software Testing and Debugging Techniques (13 papers). Xavier Rival is often cited by papers focused on Formal Methods in Verification (20 papers), Logic, programming, and type systems (17 papers) and Software Testing and Debugging Techniques (13 papers) and collaborates with scholars based in France, United States and Burundi. Xavier Rival's co-authors include Antoine Miné, Laurent Mauborgne, Patrick Cousot, Jérôme Ferêt and Radhia Cousot and has published in prestigious journals such as SAE technical papers on CD-ROM/SAE technical paper series, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Mohamad H. Rahimy are about Top journals papers by Amedeo Bianchi are published in Top fields papers by Xuanqian Xie are about Top countries impacted by papers by Michael C. Vasey Top fields papers by J.J. Vaccaro are about Top fields papers by O. Missir are about Top countries impacted by papers by Enrico Maria Mosconi Top journals papers by AC Gleeson are published in