CORTESI, Agostino

CORTESI, Agostino  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 211 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A calculus of challenges and responses 1-gen-2007 CORTESI, AgostinoFOCARDI, RiccardoMAFFEI, Matteo + 4.1 Articolo in Atti di convegno -
A distortion free watermark framework for relational databases 1-gen-2009 BHATTACHARYA, SukritiCORTESI, Agostino 4.1 Articolo in Atti di convegno -
A Framework for Property-driven Program Slicing 1-gen-2009 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
A Generic Distortion Free Watermarking Technique for Relational Databases 1-gen-2009 BHATTACHARYA, SukritiCORTESI, Agostino 4.1 Articolo in Atti di convegno -
A Hierarchical and Abstraction-Based Blockchain Model 1-gen-2019 Halder, RajuCortesi, Agostino + 2.1 Articolo su rivista -
A Persistent Public Watermarking of Relational Databases 1-gen-2010 HALDER, RAJUCORTESI, Agostino 4.1 Articolo in Atti di convegno -
A Survey on Product Operators in Abstract Interpretation 1-gen-2013 CORTESI, AgostinoCOSTANTINI, GIULIAP. FERRARA 2.1 Articolo su rivista -
The abstract domain of Trapezoid Step Functions 1-gen-2015 CORTESI, AgostinoFerrara, P. + 2.1 Articolo su rivista -
Abstract Domains for Reordering CLP(RLin) Programs 1-gen-2000 CORTESI, Agostino + 2.1 Articolo su rivista -
Abstract Interpretation Based Verification of Non-Functional Requirements 1-gen-2005 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Abstract Interpretation for Object Oriented Languages: Quo Vadis? 1-gen-2005 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Abstract interpretation for sound approximation of database query languages 1-gen-2010 HALDER, RAJUCORTESI, Agostino 4.1 Articolo in Atti di convegno -
Abstract Interpretation of Database Query Languages 1-gen-2012 HALDER, RAJUCORTESI, Agostino 2.1 Articolo su rivista -
ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS 1-gen-1991 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Abstract Interpretation of Recursive Queries 1-gen-2013 CORTESI, AgostinoHALDER, RAJU 4.1 Articolo in Atti di convegno -
Abstract Program Slicing of Database Query Languages 1-gen-2013 HALDER, RAJUCORTESI, Agostino 4.1 Articolo in Atti di convegno -
Abstract program slicing on dependence condition graphs 1-gen-2013 HALDER, RAJUCORTESI, Agostino 2.1 Articolo su rivista -
Abstracting strings for model checking of C programs 1-gen-2020 Olliaro M.Cortesi A. + 2.1 Articolo su rivista -
ACM-IFIP IEEIII - Informatics Education Europe 1-gen-2008 CORTESI, AgostinoLUCCIO, Flaminia 5.1 Curatela -
Ada web portal: promoting women access to informatics 1-gen-2007 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -