Agostino Cortesi
About
Agostino Cortesi has authored 99 papers that have received a total of 599 indexed citations.
This includes 55 papers in Artificial Intelligence, 35 papers in Information Systems and 32 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (20 papers), Formal Methods in Verification (17 papers) and Security and Verification in Computing (16 papers). Agostino Cortesi is often cited by papers focused on Logic, programming, and type systems (20 papers), Formal Methods in Verification (17 papers) and Security and Verification in Computing (16 papers) and collaborates with scholars based in Italy, India and United States. Agostino Cortesi's co-authors include Pietro Ferrara, Raju Halder, Nabendu Chaki, Gilberto Filé and Pascal Van Hentenryck and has published in prestigious journals such as Expert Systems with Applications, Sensors and IEEE Access
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by В. М. Мухортов are published in Top journals papers by Iram Liaqat are published in Top countries impacted by papers by Kenneth Einar Himma Top countries impacted by papers by Gerd Grözinger Top journals papers by Ebrahim Abiri are published in Top fields papers by Goutam Das are about Top authors papers by Zhiguo Zhang are co-authored with Top countries impacted by papers by Sebastian Stec