Agostino CORTESI

Position
Full Professor
Roles
Rector's Delegate for Research Quality Assessment
Deputy Coordinator of the Scientific Committee of the "Temporary Centre for the Innovation Ecosystem Project"
Telephone
041 234 8450
E-mail
cortesi@unive.it
egov@unive.it - CORTESI Agostino
Scientific sector (SSD)
Informatica [INFO-01/A]
Website
www.unive.it/people/cortesi (personal record)
 http://www.dsi.unive.it/~cortesi
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Z.B04 (Zeta B building)
Office
Interconnected Nord-Est Innovation Ecosystem - Temporary Project Centre
Research Institute
Research Institute for Social Innovation
Research Institute
Research Institute for Complexity
Research Institute
Research Institute for Innovation Management

Ferrara P.; Arceri V.; Cortesi A. Challenges of software verification: the past, the present, the future in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. article in press (ISSN 1433-2779)
DOI 2024, Journal Article - ARCA card: 10278/5070241


Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino Detection of Phantom Reads in Hyperledger Fabric in IEEE ACCESS, vol. 12 (ISSN 2169-3536)
DOI 2024, Journal Article - ARCA card: 10278/5060921


Roy S.; Raj S.; Chakraborty T.; Chakrabarty A.; Cortesi A.; Sen S. Efficient OLAP query processing across cuboids in distributed data warehousing environment in EXPERT SYSTEMS WITH APPLICATIONS, vol. 239 (ISSN 0957-4174)
DOI 2024, Journal Article - ARCA card: 10278/5046325


Das S.; Deb N.; Cortesi A.; Chaki N. Extracting goal models from natural language requirement specifications in THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 211 (ISSN 0164-1212)
DOI 2024, Journal Article - ARCA card: 10278/5048586


Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study in IEEE ACCESS, vol. 12, pp. 166855-166869 (ISSN 2169-3536)
DOI 2024, Journal Article - ARCA card: 10278/5083652