Concepedia

Patrick Cousot

PC

Statistics

Publications

71

Citations

15.9K

H-Index

39

Active since

1976

Affiliations

École Normale Supérieure - PSL(Current)

École Normale Supérieure

École Polytechnique

Centre National de la Recherche Scientifique

New York University

Patrick Cousot is an author at École Normale Supérieure - PSL specializing in computer science, computing, and abstract interpretation.

ORCID

Publications per year

1976–2024

71

Publications

71

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

, , +8

Systematic design of program analysis frameworks

Patrick Cousot, Radhia Cousot · 1979 · 1.6K citations · Full text

, , +15

Automatic discovery of linear restraints among variables of a program

Patrick Cousot, Nicolas Halbwachs · 1978 · 1.6K citations

, , +10

Abstract Interpretation Frameworks

Patrick Cousot, Radhia Cousot · Journal of Logic and Computation · 1992 · 695 citations

, , +8

Abstract interpretation and application to logic programs

Patrick Cousot, Radhia Cousot · The Journal of Logic Programming · 1992 · 585 citations

, , +11

1–5 of 71