Smart Systems and Wireless CommunicationRituparna Chaki, Agostino Cortesi, Suparna Das Gupta, Soumyabrata Saha · First published 2025Open the Tome
Applied Computing for Software and Smart SystemsRituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki · First published 2023Open the Tome
Challenges of Software VerificationVincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro · First published 2023Open the Tome
Hyper-lattice Algebraic Model for Data WarehousingSoumya Sen, Agostino Cortesi, Nabendu Chaki · First published 2016Open the Tome
Advanced Computing and Systems for SecurityRituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki · First published 2015Open the Tome
Computer Information Systems and Industrial ManagementAgostino Cortesi · First published 2012Open the Tome
Computer Information Systems - Analysis and TechnologiesNabendu Chaki, Agostino Cortesi · First published 2011Open the Tome
Verification, Model Checking, and Abstract InterpretationAgostino Cortesi · First published 2002Open the Tome
