Agostino Cortesi

	2009
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: (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: (2001)
25		Agostino Cortesi, Riccardo Focardi: Information Flow Security in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 54: (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]
2	Paul C. Attie	[40] [41]
3	Michael Backes	[49] [50]
4	Steffen van Bakel	[33]
5	Sukriti Bhattacharya	[55]
6	Chiara Braghin	[31] [33] [34] [37] [38] [39] [42] [43] [46] [51]
7	Mayla Brusò	[54]
8	Giuseppe Callegarin	[27]
9	Antonio Candiello	[52]
10	Baudouin Le Charlier	[6] [7] [9] [10] [13] [15] [16] [20] [23] [26] [28] [29]
11	Agostino Dovier	[18] [19] [30]
12	Gilberto Filé	[1] [2] [3] [4] [5] [8] [11] [12] [14] [17] [21] [22] [36]
13	Stefano Filippone	[39]
14	Riccardo Focardi	[25] [31] [32] [33] [34] [37] [38] [39] [42] [43] [49] [51]
15	Roberto Giacobazzi	[11] [14]
16	Pascal Van Hentenryck	[6] [7] [9] [10] [23] [24]
17	Christophe Leclère	[15] [16] [20]
18	Francesco Logozzo	[44] [45] [47] [48]
19	Flaminia L. Luccio	[38] [39] [42] [43]
20	Matteo Maffei	[49] [50]
21	Supratik Mukhopadhyay	[40]
22	Catuscia Palamidessi	[11] [14]
23	Carla Piazza	[38] [39] [42] [43]
24	Isabelle Pollet	[29]
25	Elisa Quintarelli	[18] [19] [30]
26	Viswanath Ramachandran	[24]
27	Francesco Ranzato	[11] [14]
28	Sabina Rossi	[13] [15] [16] [20] [26] [28]
29	Letizia Tanca	[18] [19] [30]
30	William H. Winsborough	[2] [3] [8] [12] [17]
31	Lenore D. Zuck	[40] [41]

Colors in the list of coauthors