Agostino CORTESI

Qualifica
Professore Ordinario
Incarichi
Delegato della Rettrice alla Valutazione della Qualità della Ricerca
Vice Coordinatore del Comitato Scientifico del “Centro temporaneo Progetto Ecosistema dell’Innovazione"
Telefono
041 234 8450
E-mail
cortesi@unive.it
egov@unive.it - CORTESI Agostino
SSD
Informatica [INFO-01/A]
Sito web
www.unive.it/persone/cortesi (scheda personale)
 http://www.dsi.unive.it/~cortesi
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Z.B04 (edificio Zeta B)
Struttura
Centro temporaneo Progetto Ecosistema dell'Innovazione
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, Articolo su rivista - Scheda ARCA: 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, Articolo su rivista - Scheda ARCA: 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, Articolo su rivista - Scheda ARCA: 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, Articolo su rivista - Scheda ARCA: 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, Articolo su rivista - Scheda ARCA: 10278/5083652