Concepedia

Author

Patrick Cousot

École Normale Supérieure - PSLORCID

Also Known As

Cortier, Véronique, Cousot Patrick, Cousot, P., Cousot, Patrick, P. Cousot, PATRICK COUSOT, Patrick COUSOT, Patrick Cousot, Patrick M. Cousot, Patrick` Cousot

202

Publications

19.2K

Citations

49

H-Index

79

Concepts

All Affiliations

École Normale Supérieure - PSLÉcole Normale SupérieureÉcole PolytechniqueCentre National de la Recherche ScientifiqueNew York University
PC

About

Patrick Cousot is an author at École Normale Supérieure - PSL specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

33

54

14.3K

2

Computer Science

29

41

12.7K

3

Computer Engineering

11

11

1.4K

4

Language Studies

10

10

1.4K

5

Data Science

3

3

1.8K

Patrick Cousot

×

69

Publications

15.7K

Citations

38

H-Index

YearCitations

Page 1