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

Roberto Giacobazzi (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


60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making abstract domains condensing. ACM Trans. Comput. Log. 6(1): 33-60 (2005)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making Abstract Domains Condensing CoRR cs.PL/0204016: (2002)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making abstract interpretations complete. J. ACM 47(2): 361-416 (2000)
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Building Complete Abstract Interpretations in a Linear Logic-based Setting. APPIA-GULP-PRODE 1998: 241-254
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Complete Abstract Interpretations Made Constructive. MFCS 1998: 366-377
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Building Complete Abstract Interpretations in a Linear Logic-based Setting. SAS 1998: 215-229
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesca Scozzari: A Logical Model for Relational Abstract Domains. ACM Trans. Program. Lang. Syst. 20(5): 1067-1109 (1998)
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesca Scozzari: Intuitionistic Implication in Abstract Interpretation. APPIA-GULP-PRODE 1997: 33-44
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesca Scozzari: Intuitionistic Implication in Abstract Interpretation. PLILP 1997: 175-189

Selection of 9 from 92 records - Roberto Giacobazzi has 46 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