Concepedia

Author

Xavier Rival

Institut national de recherche en sciences et technologies du numériqueORCID

Also Known As

Finkbeiner, Bernd 1972-, Kwiatkowska, M., Paul C. Attie, Rival, Xavier, Xavier RIVAL, Xavier Rival

120

Publications

3.4K

Citations

26

H-Index

56

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numériqueÉcole Normale SupérieureÉcole Normale Supérieure - PSLCentre National de la Recherche ScientifiqueAbsInt (Germany)
XR

About

Xavier Rival is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal verification, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

15

17

1.6K

2

Computer Science

15

17

1.6K

3

Computer Engineering

9

9

1.3K

4

Natural Sciences

5

5

236

5

Language Studies

2

2

33

Xavier Rival

×

25

Publications

2K

Citations

20

H-Index

YearCitations

Page 1