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 Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization 1-gen-2020 Cortesi A. + 2.1 Articolo su rivista -
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 New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities 1-gen-2014 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
A New Scale for Attribute Dependency in Large Database Systems 1-gen-2012 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
A Persistent Public Watermarking of Relational Databases 1-gen-2010 HALDER, RAJUCORTESI, Agostino 4.1 Articolo in Atti di convegno -
A suite of abstract domains for static analysis of string values 1-gen-2015 Ferrara, PietroCORTESI, Agostino + 2.1 Articolo su rivista -
A Survey on Product Operators in Abstract Interpretation 1-gen-2013 CORTESI, AgostinoCOSTANTINI, GIULIAP. FERRARA 2.1 Articolo su rivista -
A uniform representation of multi-variant data in intensive-query databases 1-gen-2016 CORTESI, Agostino + 2.1 Articolo su rivista -
A Wearable System for Jump Detection in Inline Figure Skating 1-gen-2022 Panfili A.Cortesi A. + 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 -