Agostino Cortesi

Agostino Cortesi

Università Ca' Foscari di Venezia - Venezia / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1766594
Ca' Foscari University of Venice
person_outline Agostino Cortesi's MOST POPULAR ARTICLES
1-) Watermarking techniques for relational databases: Survey, classification and comparisonR Halder, S Pal, A CortesiJournal of universal computer science 16 (21), 3164-3190, 20101622010
2-) Type analysis of Prolog using type graphsP Van Hentenryck, A Cortesi, B Le CharlierProceedings of the ACM SIGPLAN 1994 conference on Programming language …, 19941481994
3-) Prop revisited: Propositional formula as abstract domain for groundness analysisA Cortesi, G Filé, W WinsboroughProceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 19911271991
4-) Combinations of abstract domains for logic programmingA Cortesi, B Le Charlier, P Van HentenryckProceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994951994
5-) A Distortion Free Watermark Framework for Relational Databases.S Bhattacharya, A CortesiICSOFT (2), 229-234, 2009922009