Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Francesca Scozzari" ( http://dblp.L3S.de/Authors/Francesca_Scozzari )

  Author page on DBLP  Author page in RDF  Community of Francesca Scozzari in ASPL-2

Publication years (Num. hits)
1995-2005 (17) 2006-2012 (9)
Publication types (Num. hits)
article(11) inproceedings(15)
Venues (Conferences, Journals, ...)
SAS(4) APPIA-GULP-PRODE(3) CoRR(3) TPLP(2) ACM Trans. Comput. Log.(1) ACM Trans. Program. Lang. Syst...(1) Electr. Notes Theor. Comput. S...(1) Fundam. Inform.(1) GULP-PRODE(1) J. ACM(1) LOPSTR(1) LPAR(1) MFCS(1) PLILP(1) RV(1) Theor. Comput. Sci.(1) More (+10 of total 18)
Authors
Francesca Scozzari(26) Gianluca Amato(12) Roberto Giacobazzi(9) Francesco Ranzato(6) Laura Semini(2) Massimo Coppola(2) Maurizio Parton(2) Stefania Gnesi(2) Enea Zaffanella(1) Giorgio Levi(1) Marco Comini(1) Roberto Bagnara(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 11 keywords
Results
Found 26 publication records. Showing 26 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Gianluca Amato, Francesca Scozzari Random: R-Based Analyzer for Numerical Domains. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gianluca Amato, Francesca Scozzari Observational Completeness on Abstract Interpretation. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gianluca Amato, Francesca Scozzari On the interaction between sharing and linearity. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gianluca Amato, Maurizio Parton, Francesca Scozzari A Tool Which Mines Partial Execution Traces to Improve Static Analysis. Search on Bibsonomy RV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gianluca Amato, Maurizio Parton, Francesca Scozzari Deriving Numerical Abstract Domains via Principal Component Analysis. Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gianluca Amato, Francesca Scozzari Optimality in goal-dependent analysis of Sharing. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gianluca Amato, Francesca Scozzari Observational Completeness on Abstract Interpretation. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gianluca Amato, Francesca Scozzari On the interaction between sharing and linearity Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini Modeling Web Applications by the Multiple Levels of Integrity Policy. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gianluca Amato, Francesca Scozzari Optimality in Goal-Dependent Analysis of Sharing Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Making abstract domains condensing. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF logic program analysis, abstract interpretation, completeness, linear logic, condensation, Abstract domain
1Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini Modeling Web Applications by the Multiple Levels of Integrity Policy. Search on Bibsonomy WWV The full citation details ... 2005 DBLP  BibTeX  RDF
1Francesca Scozzari Logical optimality of groundness analysis. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Making Abstract Domains Condensing Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Gianluca Amato, Francesca Scozzari A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Making abstract interpretations complete. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Francesca Scozzari Abstract Domains for Sharing Analysis by Optimal Semantics. Search on Bibsonomy SAS The full citation details ... 2000 DBLP  BibTeX  RDF
1Roberto Giacobazzi, Francesca Scozzari A Logical Model for Relational Abstract Domains. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Heyting completion, condensing analysis, directional types, reduced cardinal power, static analysis, abstract interpretation, constraint logic programming, domains, closure operators, intuitionistic logic
1Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Building Complete Abstract Interpretations in a Linear Logic-based Setting. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1998 DBLP  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Complete Abstract Interpretations Made Constructive. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Building Complete Abstract Interpretations in a Linear Logic-based Setting. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Francesca Scozzari Intuitionistic Implication in Abstract Interpretation. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1997 DBLP  BibTeX  RDF
1Roberto Giacobazzi, Francesca Scozzari Intuitionistic Implication in Abstract Interpretation. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF directional types, logic programming, static analysis, Abstract interpretation, domains, intuitionistic logic
1Francesca Scozzari Logical Optimality of Groundness Analysis. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella The And-compositionality of CLP Computed Answer Constraints. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1996 DBLP  BibTeX  RDF
1Giorgio Levi, Francesca Scozzari Contributions to a Theory of Existential Termination for Definite Logic Programs. Search on Bibsonomy GULP-PRODE The full citation details ... 1995 DBLP  BibTeX  RDF
Displaying result #1 - #26 of 26 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.