Statistics
Publications
58
Citations
13.5K
H-Index
35
Active since
1976
Radhia Cousot is an author at École Polytechnique specializing in computer science, computing, and abstract interpretation.
Publications per year
1976–2015
58
58
Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations
Systematic design of program analysis frameworks
Patrick Cousot, Radhia Cousot · 1979 · 1.6K citations · Full text
A static analyzer for large safety-critical software
Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · ACM SIGPLAN Notices · 2003 · 577 citations
1–5 of 58