Concepedia

Author

Radhia Cousot

École Polytechnique

Also Known As

Cousot Radhia, Cousot, Radhia, R. Cousot, RADHIA COUSOT, Radhia COUSOT, Radhia Cousot, Warinschi, Bogdan

121

Publications

15.4K

Citations

41

H-Index

68

Concepts

All Affiliations

École PolytechniqueÉcole Normale SupérieureCentre National de la Recherche ScientifiqueÉcole Normale Supérieure - PSLLaboratoire d'Informatique de l'École Polytechnique
RC

About

Radhia Cousot is an author at École Polytechnique specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

29

44

11.9K

2

Computer Science

27

34

10.8K

3

Computer Engineering

10

10

1.4K

4

Language Studies

8

8

1.2K

5

Data Science

2

2

212

Radhia Cousot

×

57

Publications

13.4K

Citations

34

H-Index

YearCitations

Page 1