Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Francesco Ranzato" ( http://dblp.L3S.de/Authors/Francesco_Ranzato )

URL (Homepage):  http://www.math.unipd.it/~franz/  Author page on DBLP  Author page in RDF  Community of Francesco Ranzato in ASPL-2

Publication years (Num. hits)
1994-1998 (17) 1999-2005 (16) 2006-2010 (16) 2011-2012 (4)
Publication types (Num. hits)
article(24) inproceedings(29)
Venues (Conferences, Journals, ...)
CoRR(7) Inf. Comput.(5) SAS(4) APPIA-GULP-PRODE(3) ESOP(3) ICALP(3) CONCUR(2) Theor. Comput. Sci.(2) VMCAI(2) 25 Years GULP(1) ACM Comput. Surv.(1) ACM Trans. Comput. Log.(1) ACM Trans. Program. Lang. Syst...(1) ACSD(1) ALP(1) AMAST(1) More (+10 of total 31)
Authors
Francesco Ranzato(53) Roberto Giacobazzi(24) Francesco Tapparo(18) Gilberto Filé(7) Francesca Scozzari(6) Silvia Crafa(5) Agostino Cortesi(2) Catuscia Palamidessi(2) Giorgio Delzanno(1) Lorenzo De Nardo(1) Olivia Rossi-Doria(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 8 keywords
Results
Found 53 publication records. Showing 53 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Silvia Crafa, Francesco Ranzato Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Francesco Ranzato, Francesco Tapparo Saving Space in a Time Efficient Simulation Algorithm. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Francesco Ranzato A Spectrum of Behavioral Relations over LTSs on Probability Distributions. Search on Bibsonomy CONCUR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Francesco Ranzato Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. Search on Bibsonomy ICALP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo An efficient simulation algorithm based on abstract interpretation. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato Example-Guided Abstraction Simplification. Search on Bibsonomy ICALP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lorenzo De Nardo, Francesco Ranzato, Francesco Tapparo The Subgraph Similarity Problem. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Computing Stuttering Simulations Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato Abstraction-Guided Abstraction Simplification Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Computing Stuttering Simulations. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Francesco Ranzato, Francesco Tapparo Saving Space in a Time Efficient Simulation Algorithm. Search on Bibsonomy ACSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Generalizing the Paige-Tarjan algorithm by abstract interpretation. Search on Bibsonomy Inf. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo A Forward-Backward Abstraction Refinement Algorithm. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Generalized Strong Preservation by Abstract Interpretation. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo An efficient simulation equivalence algorithm based on abstract interpretation Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo A New Efficient Simulation Equivalence Algorithm. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato Incompleteness of states w.r.t. traces in model checking. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  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
1Francesco Ranzato, Francesco Tapparo An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo An Abstract Interpretation Perspective on Linear vs. Branching Time. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Generalized Strong Preservation by Abstract Interpretation Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato Incompleteness of States w.r.t. Traces in Model Checking Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Francesco Ranzato, Francesco Tapparo Strong Preservation as Completeness in Abstract Interpretation. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato Pseudocomplements of closure operators on posets. Search on Bibsonomy Discrete Mathematics 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
1Francesco Ranzato, Francesco Tapparo Making Abstract Model Checking Strongly Preserving. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato States vs. Traces in Model Checking by Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato On the Completeness of Model Checking. Search on Bibsonomy ESOP The full citation details ... 2001 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
1Roberto Giacobazzi, Francesco Ranzato The Reduced Relative Power Operation on Abstract Domains. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Gilberto Filé, Francesco Ranzato The Powerset Operator on Abstract Interpretations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato Closures on CPOs Form Complete Lattices. Search on Bibsonomy Inf. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato CPOs as Concrete Domains: Lattices of Abstract Domains and Complements. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato Optimal Domains for Disjunctive Abstract Intepretation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. Search on Bibsonomy Inf. Comput. 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 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
1Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato Complementation in Abstract Interpretation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF functional and logic programming, program analysis, abstract interpretation, closure operator, complementation, abstract domain
1Roberto Giacobazzi, Francesco Ranzato Refining and Compressing Abstract Domains. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato Completeness in Abstract Interpretation: A Domain Perspective. Search on Bibsonomy AMAST The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato A Unifying View of Abstract Domain Design. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato Complementing Logic Program Semantics. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato Optimization of Disjunctive Abstract Interpretations. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1996 DBLP  BibTeX  RDF
1Gilberto Filé, Francesco Ranzato Complementation of Abstract Domains made Easy. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato Compositional Optimization of Disjunctive Abstract Interpretations. Search on Bibsonomy ESOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Roberto Giacobazzi, Francesco Ranzato Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato Complementation in Abstract Interpretation Search on Bibsonomy SAS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Gilberto Filé, Francesco Ranzato Improving Abstract Interpretations by Systematic Lifting to the Powerset. Search on Bibsonomy GULP-PRODE The full citation details ... 1994 DBLP  BibTeX  RDF
1Gilberto Filé, Francesco Ranzato Improving Abstract Interpretations by Systematic Lifting to the Powerset. Search on Bibsonomy SLP The full citation details ... 1994 DBLP  BibTeX  RDF
Displaying result #1 - #53 of 53 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.