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 84,720x
- The ERA5 global reanalysis
· 2020 · cited 24,148x
- Reproducible, interactive, scalable and extensible microbiome data science using QIIME 2
· 2019 · cited 20,854x
- Introducing mothur: Open-Source, Platform-Independent, Community-Supported Software for Describing and Comparing Microbial Communities
· 2009 · cited 18,972x
- Initial sequencing and analysis of the human genome
· 2001 · cited 18,612x
via Crossref · CC0
Described at
Link to a page describing this subject · 501 chars · not written by Vinony