Research output per year
Research output per year
Fingerprint
Weighted list of dominant concepts in the person's research.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Calculational Design of Hyperlogics by Abstract Interpretation
Cousot, P. & Wang, J., Jan 7 2025, In: Proceedings of the ACM on Programming Languages. 9, 16.Research output: Contribution to journal › Article › peer-review
Open Access -
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation
Cousot, P., Jan 5 2024, In: Proceedings of the ACM on Programming Languages. 8, 7.Research output: Contribution to journal › Article › peer-review
Open Access -
Abstract Interpretation: From 0, 1, to ∞
Cousot, P., 2023, In: Intelligent Systems Reference Library. 238Research output: Contribution to journal › Article › peer-review
-
Abstract Interpretation of Graphs
Cousot, P., 2023, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 72-96 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13160 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
Asynchronous Correspondences Between Hybrid Trajectory Semantics
Cousot, P., 2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 131-159 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13660 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter