Concepedia
Statistics
Publications
57
Citations
1.7K
H-Index
26
Active since
1989
Affiliations
Ca' Foscari University of Venice(Current)
University of Calcutta
University of Verona
University of Padua
ETH Zurich
Agostino Cortesi is an author at Ca' Foscari University of Venice specializing in computer science, computing, and formal methods.
Publications per year
1989–2024
Prop revisited: propositional formula as abstract domain for groundness analysis
Agostino Cortesi, G. Filé, William H. Winsborough · 2002 · 86 citations
Computing, Computer Science, Formal Methods +11
Static analysis for discovering IoT vulnerabilities
Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi et al. · International Journal on Software Tools for Technology Transfer · 2020 · 86 citations · Full text
Computing, Computer Science, Cybersecurity +9
Type analysis of prolog using type graphs
Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier · The Journal of Logic Programming · 1995 · 78 citations
Computing, Computer Science, High-performance Computing +15
Complementation in abstract interpretation
Agostino Cortesi, Gilberto Filé, Francesco Ranzato et al. · ACM Transactions on Programming Languages and Systems · 1997 · 61 citations · Full text
Computing, Computer Science, Formal Methods +14
Combinations of abstract domains for logic programming
Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck · 1994 · 58 citations · Full text
Computing, Computer Science, Algorithms +9
1–5 of 57