Agostino Cortesi
- Artificial Intelligence top 2%
- Information Systems top 2%
- Computer Networks and Communications top 5%
- Computational Theory and Mathematics top 2%
- Signal Processing top 5%
- Co-authors
- Pietro FerraraBaudouin Le CharlierPascal Van HentenryckRaju HalderNabendu ChakiGilberto FiléSukriti BhattacharyaFausto Spoto
- Topics
- Logic, programming, and type systems (26 papers)Advanced Malware Detection Techniques (25 papers)Formal Methods in Verification (24 papers)
- Journals
- SHILAP Revista de lepidopterologíaExpert Systems with ApplicationsIEEE Access
- Partner nations
- ItalyIndiaUnited States
In The Last Decade
Agostino Cortesi
140 papers receiving 956 citations
Peers
Comparison fields: 5 of 97
- Artificial Intelligence 550
- Information Systems 371
- Computer Networks and Communications 289
- Computational Theory and Mathematics 256
- Signal Processing 196
Countries citing papers authored by Agostino Cortesi
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
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
| # | 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 |
About Agostino Cortesi
Agostino Cortesi is a scholar working on Software, Signal Processing and Information Systems, having authored 150 papers that have together received 1.0k indexed citations. Recurring topics across this work include Logic, programming, and type systems (26 papers), Advanced Malware Detection Techniques (25 papers) and Formal Methods in Verification (24 papers). The work is most often cited by research in Software (184 citations), Signal Processing (196 citations) and Artificial Intelligence (550 citations). Agostino Cortesi has collaborated with scholars based in Italy, India and United States. Frequent 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. Their work appears in journals such as SHILAP Revista de lepidopterología, Expert Systems with Applications and IEEE Access.
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.