Agostino Cortesi

	2012
75		Raju Halder, Agostino Cortesi: Abstract interpretation of database query languages. Computer Languages, Systems & Structures 38(2): 123-157 (2012)
	2011
74		Nabendu Chaki, Agostino Cortesi: Computer Information Systems - Analysis and Technologies - 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings Springer 2011
73		Antonio Candiello, Agostino Cortesi: KPIs from Web Agents for Policies' Impact Analysis and Products' Brand Assessment. CISIM 2011: 192-201
72		Raju Halder, Agostino Cortesi: Observation-Based Fine Grained Access Control for XML Documents. CISIM 2011: 267-276
71		Antonio Candiello, Agostino Cortesi: KPI-Supported PDCA Model for Innovation Policy Management in Local Government. EGOV 2011: 320-331
70		Giulia Costantini, Pietro Ferrara, Agostino Cortesi: Static Analysis of String Values. ICFEM 2011: 505-521
69		Sukriti Bhattacharya, Agostino Cortesi: Property Driven Program Slicing Refinement. ICSOFT (2) 2011: 149-155
68		Alvise Spanò, Michele Bugliesi, Agostino Cortesi: Type-flow Analysis for Legacy COBOL Code. ICSOFT (2) 2011: 64-75
67		Raju Halder, Agostino Cortesi: Cooperative Query Answering by Abstract Interpretation. SOFSEM 2011: 284-296
66		Matteo Zanioli, Agostino Cortesi: Information Leakage Analysis by Abstract Interpretation. SOFSEM 2011: 545-557
65		Agostino Cortesi, Matteo Zanioli: Widening and narrowing operators for abstract interpretation. Computer Languages, Systems & Structures 37(1): 24-42 (2011)
	2010
64		Antonio Candiello, Andrea Albarelli, Agostino Cortesi: Three-layered QoS for eGovernment web services. DG.O 2010: 217-222
63		Raju Halder, Agostino Cortesi: A Persistent Public Watermarking of Relational Databases. ICISS 2010: 216-230
62		Sukriti Bhattacharya, Agostino Cortesi: Database Authentication by Distortion Free Watermarking. ICSOFT (1) 2010: 219-226
61		Raju Halder, Agostino Cortesi: Observation-based Fine Grained Access Control for Relational Databases. ICSOFT (1) 2010: 254-265
60		Raju Halder, Agostino Cortesi: Obfuscation-based analysis of SQL injection attacks. ISCC 2010: 931-938
59		Agostino Cortesi, Raju Halder: Dependence condition graph for semantics-based abstract program slicing. LDTA 2010: 4
58		Mayla Brusò, Agostino Cortesi: Non-repudiation analysis using LySa with annotations. Computer Languages, Systems & Structures 36(4): 352-377 (2010)
57		Raju Halder, Shantanu Pal, Agostino Cortesi: Watermarking Techniques for Relational Databases: Survey, Classification and Comparison. J. UCS 16(21): 3164-3190 (2010)
	2009
56		Sukriti Bhattacharya, Agostino Cortesi: A Generic Distortion Free Watermarking Technique for Relational Databases. ICISS 2009: 252-264
55		Sukriti Bhattacharya, Agostino Cortesi: A Distortion Free Watermark Framework for Relational Databases. ICSOFT (2) 2009: 229-234
54		Mayla Brusò, Agostino Cortesi: Non-repudiation Analysis with LySa. SEC 2009: 318-329
	2008
53		Agostino Cortesi: Widening Operators for Abstract Interpretation. SEFM 2008: 31-40
52		Antonio Candiello, Andrea Albarelli, Agostino Cortesi: An Ontology-based Inquiry Framework. SWAP 2008
51		Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Information flow security in Boundary Ambients. Inf. Comput. 206(2-4): 460-489 (2008)
	2007
50		Michael Backes, Agostino Cortesi, Matteo Maffei: Causality-based Abstraction of Multiplicity in Security Protocols. CSF 2007: 355-369
49		Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei: A calculus of challenges and responses. FMSE 2007: 51-60
	2006
48		Francesco Logozzo, Agostino Cortesi: Semantic Hierarchy Refactoring by Abstract Interpretation. VMCAI 2006: 313-331
	2005
47		Agostino Cortesi, Francesco Logozzo: Abstract Interpretation-Based Verification of Non-functional Requirements. COORDINATION 2005: 49-62
46		Chiara Braghin, Agostino Cortesi: Flow-sensitive Leakage Analysis in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 128(5): 17-25 (2005)
45		Agostino Cortesi, Francesco Logozzo: Preface. Electr. Notes Theor. Comput. Sci. 131: 1-2 (2005)
44		Francesco Logozzo, Agostino Cortesi: Abstract Interpretation and Object-oriented Programming: Quo Vadis? Electr. Notes Theor. Comput. Sci. 131: 75-84 (2005)
	2004
43		Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Nesting analysis of mobile ambients. Computer Languages, Systems & Structures 30(3-4): 207-230 (2004)
42		Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. Electr. Notes Theor. Comput. Sci. 99: 319-337 (2004)
41		Lenore D. Zuck, Paul C. Attie, Agostino Cortesi: Preface by the section editors. STTT 6(1): 1-3 (2004)
	2003
40		Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings Springer 2003
39		Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS 2003: 437-441
38		Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Complexity of Nesting Analysis in Mobile Ambients. VMCAI 2003: 86-101
37		Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Information Leakage Detection in Boundary Ambients. Electr. Notes Theor. Comput. Sci. 78: 123-143 (2003)
36		Agostino Cortesi, Gilberto Filé: Static Analysis. Sci. Comput. Program. 47(2-3): 89-90 (2003)
	2002
35		Agostino Cortesi: Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers Springer 2002
34		Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Control Flow Analysis of Mobile Ambients with Security Boundaries. FMOODS 2002: 197-212
33		Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel: Boundary Inference for Enforcing Security Policies in Mobile Ambients. IFIP TCS 2002: 383-395
32		Agostino Cortesi, Riccardo Focardi: Computer languages and security. Comput. Lang. 28(1): 1-2 (2002)
31		Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Security boundaries in mobile ambients. Comput. Lang. 28(1): 101-127 (2002)
30		Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca: Operational and abstract semantics of the query language G-Log. Theor. Comput. Sci. 275(1-2): 521-560 (2002)
	2001
29		Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi: Distinctness and Sharing Domains for Static Analysis of Java Programs. ECOOP 2001: 77-98
28		Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi: Reexecution-Based Analysis of Logic Programs with Delay Declarations. Ershov Memorial Conference 2001: 395-405
27		Giuseppe Callegarin, Agostino Cortesi: An Italian National Curriculum on ICT for Schools. WCCE 2001: 767-776
26		Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier: Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. Electr. Notes Theor. Comput. Sci. 48: 29-44 (2001)
25		Agostino Cortesi, Riccardo Focardi: Information Flow Security in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 54: 58-68 (2001)
	2000
24		Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi: Abstract Domains for Reordering CLP(RLin) Programs. J. Log. Program. 42(3): 217-256 (2000)
23		Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck: Combinations of abstract domains for logic programming: open product and generic pattern construction. Sci. Comput. Program. 38(1-3): 27-71 (2000)
	1999
22		Agostino Cortesi, Gilberto Filé: Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings Springer 1999
21		Agostino Cortesi, Gilberto Filé: Sharing is Optimal. J. Log. Program. 38(3): 371-386 (1999)
20		Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: Automated Verification of Prolog Programs. J. Log. Program. 39(1-3): 3-42 (1999)
	1998
19		Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca: Operational and Abstract Semantics of a Query Language for Semi-Structured Information. APPIA-GULP-PRODE 1998: 175-188
18		Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca: Operational and Abstract Semantics of a Query Language for Semi-Structured Information. DDLP 1998: 127-140
17		Agostino Cortesi, Gilberto Filé, William H. Winsborough: The Quotient of an Abstract Interpretation. Theor. Comput. Sci. 202(1-2): 163-192 (1998)
	1997
16		Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: Automated Behavioural Verification of Prolog Programs. APPIA-GULP-PRODE 1997: 189-200
15		Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: Automated Verification of Behavioural Properties of Prolog Programs. ASIAN 1997: 225-238
14		Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997)
	1996
13		Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi: Specification-Based Automatic Verification of Prolog Programs. LOPSTR 1996: 38-57
12		Agostino Cortesi, Gilberto Filé, William H. Winsborough: Optimal Groundness Analysis Using Propositional Logic. J. Log. Program. 27(2): 137-167 (1996)
	1995
11		Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation SAS 1995: 100-117
10		Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Type Analysis of Prolog Using Type Graphs. J. Log. Program. 22(3): 179-209 (1995)
9		Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Evaluation of the Domain Prop. J. Log. Program. 23(3): 237-278 (1995)
	1994
8		Agostino Cortesi, Gilberto Filé, William H. Winsborough: The Quotient of an Abstract Interpretation for Comparing Static Analyses. GULP-PRODE (1) 1994: 372-387
7		Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier: Type Analysis of Prolog Using Type Graphs. PLDI 1994: 337-348
6		Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck: Combinations of Abstract Domains for Logic Programming. POPL 1994: 227-239
	1993
5		Agostino Cortesi, Gilberto Filé: Comparison and design of abstract domains for sharing analysis. GULP 1993: 251-266
4		Agostino Cortesi, Gilberto Filé: Graph Properties for Normal Logic Programs. Theor. Comput. Sci. 107(2): 277-303 (1993)
	1992
3		Agostino Cortesi, Gilberto Filé, William H. Winsborough: Comparison of Abstract Interpretations. ICALP 1992: 521-532
	1991
2		Agostino Cortesi, Gilberto Filé, William H. Winsborough: Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis LICS 1991: 322-327
1		Agostino Cortesi, Gilberto Filé: Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. PEPM 1991: 52-61

Coauthor Index

1	Andrea Albarelli	[52] [64]
2	Paul C. Attie	[40] [41]
3	Michael Backes	[49] [50]
4	Steffen van Bakel	[33]
5	Sukriti Bhattacharya	[55] [56] [62] [69]
6	Chiara Braghin	[31] [33] [34] [37] [38] [39] [42] [43] [46] [51]
7	Mayla Brusò	[54] [58]
8	Michele Bugliesi	[68]
9	Giuseppe Callegarin	[27]
10	Antonio Candiello	[52] [64] [71] [73]
11	Nabendu Chaki	[74]
12	Baudouin Le Charlier	[6] [7] [9] [10] [13] [15] [16] [20] [23] [26] [28] [29]
13	Giulia Costantini	[70]
14	Agostino Dovier	[18] [19] [30]
15	Pietro Ferrara	[70]
16	Gilberto Filé	[1] [2] [3] [4] [5] [8] [11] [12] [14] [17] [21] [22] [36]
17	Stefano Filippone	[39]
18	Riccardo Focardi	[25] [31] [32] [33] [34] [37] [38] [39] [42] [43] [49] [51]
19	Roberto Giacobazzi	[11] [14]
20	Raju Halder	[57] [59] [60] [61] [63] [67] [72] [75]
21	Pascal Van Hentenryck	[6] [7] [9] [10] [23] [24]
22	Christophe Leclère	[15] [16] [20]
23	Francesco Logozzo	[44] [45] [47] [48]
24	Flaminia L. Luccio	[38] [39] [42] [43]
25	Matteo Maffei	[49] [50]
26	Supratik Mukhopadhyay	[40]
27	Shantanu Pal	[57]
28	Catuscia Palamidessi	[11] [14]
29	Carla Piazza	[38] [39] [42] [43]
30	Isabelle Pollet	[29]
31	Elisa Quintarelli	[18] [19] [30]
32	Viswanath Ramachandran	[24]
33	Francesco Ranzato	[11] [14]
34	Sabina Rossi	[13] [15] [16] [20] [26] [28]
35	Alvise Spanò	[68]
36	Letizia Tanca	[18] [19] [30]
37	William H. Winsborough	[2] [3] [8] [12] [17]
38	Matteo Zanioli	[65] [66]
39	Lenore D. Zuck	[40] [41]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page