CORTESI, Agostino
CORTESI, Agostino
Dipartimento di Scienze Ambientali, Informatica e Statistica
A calculus of challenges and responses
2007-01-01 M., Backes; Cortesi, Agostino; Focardi, Riccardo; Maffei, Matteo
A distortion free watermark framework for relational databases
2009-01-01 Bhattacharya, Sukriti; Cortesi, Agostino
A Framework for Property-driven Program Slicing
2009-01-01 Cortesi, Agostino; Bhattacharya, S.
A Generic Distortion Free Watermarking Technique for Relational Databases
2009-01-01 Bhattacharya, Sukriti; Cortesi, Agostino
A Hierarchical and Abstraction-Based Blockchain Model
2019-01-01 Sahoo, Swagatika; Fajge, Akshay M.; Halder, Raju; Cortesi, Agostino
A Persistent Public Watermarking of Relational Databases
2010-01-01 Halder, Raju; Cortesi, Agostino
A Survey on Product Operators in Abstract Interpretation
2013-01-01 Cortesi, Agostino; Costantini, Giulia; Ferrara, P.
The abstract domain of Trapezoid Step Functions
2015-01-01 Cortesi, Agostino; Costantini, G.; Ferrara, P.
Abstract Domains for Reordering CLP(RLin) Programs
2000-01-01 V., Ramachandran; Cortesi, Agostino; P., VAN HENTENRYCK
Abstract Interpretation Based Verification of Non-Functional Requirements
2005-01-01 Cortesi, Agostino; Logozzo, F.
Abstract Interpretation for Object Oriented Languages: Quo Vadis?
2005-01-01 Cortesi, Agostino; Logozzo, F.
Abstract interpretation for sound approximation of database query languages
2010-01-01 Halder, Raju; Cortesi, Agostino
Abstract Interpretation of Database Query Languages
2012-01-01 Halder, Raju; Cortesi, Agostino
ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS
1991-01-01 Cortesi, Agostino; File', G.
Abstract Interpretation of Recursive Queries
2013-01-01 Cortesi, Agostino; Halder, Raju
Abstract Program Slicing of Database Query Languages
2013-01-01 Halder, Raju; Cortesi, Agostino
Abstract program slicing on dependence condition graphs
2013-01-01 Halder, Raju; Cortesi, Agostino
Abstracting strings for model checking of C programs
2020-01-01 Lauko, H.; Olliaro, M.; Cortesi, A.; Rocckai, P.
ACM-IFIP IEEIII - Informatics Education Europe
2008-01-01 Cortesi, Agostino; Luccio, Flaminia
Ada web portal: promoting women access to informatics
2007-01-01 Boschetto, E; Cortesi, Agostino