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 Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization
2020-01-01 Perez Gort, M. L.; Feregrino-Uribe, C.; Cortesi, A.; Fernandez-Pena, F.
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 New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities
2014-01-01 Manali, Chakraborty; Nabendu, Chaki; Cortesi, Agostino
A New Scale for Attribute Dependency in Large Database Systems
2012-01-01 Sen, S.; Dutta, A.; Cortesi, Agostino; Chaki, N.
A Persistent Public Watermarking of Relational Databases
2010-01-01 Halder, Raju; Cortesi, Agostino
A suite of abstract domains for static analysis of string values
2015-01-01 Costantini, Giulia; Ferrara, Pietro; Cortesi, Agostino
A Survey on Product Operators in Abstract Interpretation
2013-01-01 Cortesi, Agostino; Costantini, Giulia; Ferrara, P.
A uniform representation of multi-variant data in intensive-query databases
2016-01-01 Chakraborty, Supriya; Cortesi, Agostino; Chaki, Nabedu
A Wearable System for Jump Detection in Inline Figure Skating
2022-01-01 Panfili, A.; Spano, A.; Cortesi, A.
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