dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Agostino Cortesi (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé: Static Analysis. Sci. Comput. Program. 47(2-3): 89-90 (2003)
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé: Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings Springer 1999
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé: Sharing is Optimal. J. Log. Program. 38(3): 371-386 (1999)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé, William H. Winsborough: The Quotient of an Abstract Interpretation. Theor. Comput. Sci. 202(1-2): 163-192 (1998)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé, William H. Winsborough: Optimal Groundness Analysis Using Propositional Logic. J. Log. Program. 27(2): 137-167 (1996)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation SAS 1995: 100-117
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé, William H. Winsborough: The Quotient of an Abstract Interpretation for Comparing Static Analyses. GULP-PRODE (1) 1994: 372-387
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé: Comparison and design of abstract domains for sharing analysis. GULP 1993: 251-266
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé: Graph Properties for Normal Logic Programs. Theor. Comput. Sci. 107(2): 277-303 (1993)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé, William H. Winsborough: Comparison of Abstract Interpretations. ICALP 1992: 521-532
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé, William H. Winsborough: Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis LICS 1991: 322-327
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé: Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. PEPM 1991: 52-61

Selection of 13 from 78 records - Agostino Cortesi has 41 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page