Agostino Cortesi

2.8k total citations
150 papers, 1.0k citations indexed

About

Agostino Cortesi is a scholar working on Artificial Intelligence, Information Systems and Computer Networks and Communications. According to data from OpenAlex, Agostino Cortesi has authored 150 papers receiving a total of 1.0k indexed citations (citations by other indexed papers that have themselves been cited), including 77 papers in Artificial Intelligence, 60 papers in Information Systems and 44 papers in Computer Networks and Communications. Recurrent topics in Agostino Cortesi's work include Logic, programming, and type systems (26 papers), Advanced Malware Detection Techniques (25 papers) and Formal Methods in Verification (24 papers). Agostino Cortesi is often cited by papers focused on Logic, programming, and type systems (26 papers), Advanced Malware Detection Techniques (25 papers) and Formal Methods in Verification (24 papers). Agostino Cortesi collaborates with scholars based in Italy, India and United States. Agostino Cortesi's co-authors include Pietro Ferrara, Baudouin Le Charlier, Pascal Van Hentenryck, Raju Halder, Nabendu Chaki, Gilberto Filé, Sukriti Bhattacharya, Fausto Spoto, William H. Winsborough and Rituparna Chaki and has published in prestigious journals such as SHILAP Revista de lepidopterología, Expert Systems with Applications and IEEE Access.

In The Last Decade

Agostino Cortesi

140 papers receiving 956 citations

Peers

Agostino Cortesi
Comparison fields: 5 of 97
  • Artificial Intelligence 550
  • Information Systems 371
  • Computer Networks and Communications 289
  • Computational Theory and Mathematics 256
  • Signal Processing 196
Replace Roland H. C. Yap with:
Roland H. C. Yap Singapore
Bruce W. Weide United States
Franco Raimondi United Kingdom
Kaile Su China
János Csirik Hungary
Alessandro Armando Italy
Giordano Tamburrelli Italy
Dianxiang Xu United States
Samik Basu United States
Hahn-Ming Lee Taiwan
Roland H. C. Yap Singapore View profile →
Citations per field, relative to Agostino Cortesi
Agostino Cortesi · 1×
Citations per year, relative to Agostino Cortesi
Agostino Cortesi · 1×

Countries citing papers authored by Agostino Cortesi

Since Specialization
Citations

This map shows the geographic impact of Agostino Cortesi's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Agostino Cortesi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Agostino Cortesi more than expected).

Fields of papers citing papers by Agostino Cortesi

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Agostino Cortesi. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Agostino Cortesi. The network helps show where Agostino Cortesi may publish in the future.

Co-authorship network of co-authors of Agostino Cortesi

This figure shows the co-authorship network connecting the top 25 collaborators of Agostino Cortesi. A scholar is included among the top collaborators of Agostino Cortesi based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Agostino Cortesi. Agostino Cortesi is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
# Work Indexed citations
1 0
2 0
3 3
4 0
5 3
6 5
7 3
8 1
9 4
10 16
11 5
12 1
13
Database Authentication by Distortion-Free Watermarking
7
14
Abstract Interpretation for sound approximation of database query languages
2
15
Property Driven Program Slicing
1
16
Towards an European Certification of Computer Science Curricula
2
17
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003
5
18
Freshness Analysis in Security Protocols
1
19
Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
6
20
Lipschitz extensions of convex-valued maps
2

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026