Patrick Cousot
Sign in to saveFrench computer scientist
Person · Open Library
- Works
- 4
Top works
- Static Analysis and Verification of Aerospace Software by Abstract Interpretation
- Principles of Abstract Interpretation
- Static Analysis
- Algorithmique et programmation en pascal
via Open Library + Wikidata
Recent publications · Crossref
5 total works indexed
- The PRISMA 2020 statement: an updated guideline for reporting systematic reviews
· 2021 · cited 76,882x
- The ERA5 global reanalysis
· 2020 · cited 22,652x
- Reproducible, interactive, scalable and extensible microbiome data science using QIIME 2
· 2019 · cited 19,953x
- Introducing mothur: Open-Source, Platform-Independent, Community-Supported Software for Describing and Comparing Microbial Communities
· 2009 · cited 18,794x
- Initial sequencing and analysis of the human genome
· 2001 · cited 18,514x
via Crossref · CC0
Described at
Link to a page describing this subject · 501 chars · not written by Vinony
Wikidata facts
- Image
- Patrick Cousot 0743-c.jpg
Show 4 more facts
- Commons category
- Patrick Cousot
- date of birth
- 1948-12-03
- name in native language
- Patrick Cousot
- described at URL
- comihistocnrs.hypotheses.org/2706
via Wikidata · CC0
Connections
New York University
Entity
European Association for Theoretical Computer Science
Entity
Germany
Country
Massachusetts Institute of Technology
Entity
knight
Entity
École polytechnique
Entity
École Normale Supérieure
Entity
Institute of Electrical and Electronics Engineers
Entity
Airbus SE
Company
thesis
Entity
Association for Computing Machinery
Entity
Mathematics Genealogy Project
Entity
avionics
Entity
National Center for Scientific Research
Entity
Richard M. Karp
Entity
Dana Scott
Entity
Academia Europaea
Entity
Ca' Foscari University of Venice
Entity
National Order of Merit
Entity
French Order of Academic Palms
Entity