Agostino Cortesi

No bio available. Add one in Open Library.

Books by Agostino Cortesi (50 max)

+ shelf+ list

Advanced Computing and Systems for Security Volume 2

2015

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

+ shelf+ list

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science)

2002

Agostino Cortesi

+ shelf+ list

Applied Computing for Software and Smart Systems Proceedings of ACSS 2023

2023

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

+ shelf+ list

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science)

1999

Agostino Cortesi, Gilberto File

+ shelf+ list

Hyper-Lattice Algebraic Model for Data Warehousing

2016

Soumya Sen, Agostino Cortesi, Nabendu Chaki

+ shelf+ list

Challenges of Software Verification

2023

Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro

+ shelf+ list

Space Data Management

2024

Agostino Cortesi

+ shelf+ list

Computer Information Systems - Analysis and Technologies 10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. Proceedings

2011

Nabendu Chaki, Agostino Cortesi

+ shelf+ list

Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings

2014

Agostino Cortesi, Gilberto File

+ shelf+ list

Smart Systems and Wireless Communication: Proceedings of SSWC 2024

2025

Rituparna Chaki, Agostino Cortesi, Suparna Das Gupta, Soumyabrata Saha