CORTESI, Agostino

CORTESI, Agostino  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 229 (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 Perez Gort M. L.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 lightweight mutual and transitive authentication mechanism for IoT network 1-gen-2023 Mandal A. K.Cortesi A. + 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 Quantile-Based Watermarking Approach for Distortion Minimization 1-gen-2022 Perez Gort M. L.Olliaro M.Cortesi A. 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 Two-Hop Neighborhood Based Berserk Detection Algorithm for Probabilistic Model of Consensus in Distributed Ledger Systems 1-gen-2023 Cortesi A.Chaki N. + 4.1 Articolo in Atti di convegno -
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 -