- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c30 |      | |
| 2012 | ||
| j17 | | Silvia Crafa, Francesco Ranzato: Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. Formal Methods in System Design 40(3): 356-376 (2012) |
| i8 | | Francesco Ranzato: A More Efficient Simulation Algorithm on Kripke Structures. CoRR abs/1212.1089 (2012) |
| 2011 | ||
| j16 | | Silvia Crafa, Francesco Ranzato, Francesco Tapparo: Saving Space in a Time Efficient Simulation Algorithm. Fundam. Inform. 108(1-2): 23-42 (2011) |
| c29 | | Silvia Crafa, Francesco Ranzato: A Spectrum of Behavioral Relations over LTSs on Probability Distributions. CONCUR 2011: 124-139 |
| c28 | | Silvia Crafa, Francesco Ranzato: Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. ICALP (2) 2011: 295-306 |
| 2010 | ||
| j15 | | Francesco Ranzato, Francesco Tapparo: An efficient simulation algorithm based on abstract interpretation. Inf. Comput. 208(1): 1-22 (2010) |
| c27 | | Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato: Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. 25 Years GULP 2010: 136-158 |
| c26 | | Roberto Giacobazzi, Francesco Ranzato: Example-Guided Abstraction Simplification. ICALP (2) 2010: 211-222 |
| 2009 | ||
| j14 | | Lorenzo De Nardo, Francesco Ranzato, Francesco Tapparo: The Subgraph Similarity Problem. IEEE Trans. Knowl. Data Eng. 21(5): 748-749 (2009) |
| c25 | | Silvia Crafa, Francesco Ranzato, Francesco Tapparo: Saving Space in a Time Efficient Simulation Algorithm. ACSD 2009: 60-69 |
| c24 | | |
| i7 | | |
| i6 | | Roberto Giacobazzi, Francesco Ranzato: Abstraction-Guided Abstraction Simplification. CoRR abs/0910.4748 (2009) |
| 2008 | ||
| j13 | | Francesco Ranzato, Francesco Tapparo: Generalizing the Paige-Tarjan algorithm by abstract interpretation. Inf. Comput. 206(5): 620-651 (2008) |
| c23 | | Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo: A Forward-Backward Abstraction Refinement Algorithm. VMCAI 2008: 248-262 |
| 2007 | ||
| j12 | | Francesco Ranzato, Francesco Tapparo: Generalized Strong Preservation by Abstract Interpretation. J. Log. Comput. 17(1): 157-197 (2007) |
| c22 | | Francesco Ranzato, Francesco Tapparo: A New Efficient Simulation Equivalence Algorithm. LICS 2007: 171-180 |
| i5 | | Francesco Ranzato, Francesco Tapparo: An efficient simulation equivalence algorithm based on abstract interpretation. CoRR abs/0709.4118 (2007) |
| 2006 | ||
| j11 | | Roberto Giacobazzi, Francesco Ranzato: Incompleteness of states w.r.t. traces in model checking. Inf. Comput. 204(3): 376-407 (2006) |
| c21 | | Francesco Ranzato, Francesco Tapparo: Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. VMCAI 2006: 332-347 |
| i4 | | Francesco Ranzato, Francesco Tapparo: Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation. CoRR abs/cs/0612120 (2006) |
| 2005 | ||
| j10 | | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making abstract domains condensing. ACM Trans. Comput. Log. 6(1): 33-60 (2005) |
| c20 | | Francesco Ranzato, Francesco Tapparo: An Abstract Interpretation Perspective on Linear vs. Branching Time. APLAS 2005: 69-85 |
| c19 | | Francesco Ranzato, Francesco Tapparo: An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. TACAS 2005: 140-156 |
| 2004 | ||
| c18 | | Francesco Ranzato, Francesco Tapparo: Strong Preservation as Completeness in Abstract Interpretation. ESOP 2004: 18-32 |
| i3 | | Francesco Ranzato, Francesco Tapparo: Generalized Strong Preservation by Abstract Interpretation. CoRR cs.LO/0401016 (2004) |
| i2 | | Roberto Giacobazzi, Francesco Ranzato: Incompleteness of States w.r.t. Traces in Model Checking. CoRR cs.LO/0404048 (2004) |
| 2002 | ||
| j9 | | Francesco Ranzato: Pseudocomplements of closure operators on posets. Discrete Mathematics 248(1-3): 143-155 (2002) |
| c17 | | Francesco Ranzato, Francesco Tapparo: Making Abstract Model Checking Strongly Preserving. SAS 2002: 411-427 |
| c16 | | Roberto Giacobazzi, Francesco Ranzato: States vs. Traces in Model Checking by Abstract Interpretation. SAS 2002: 461-476 |
| i1 | | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making Abstract Domains Condensing. CoRR cs.PL/0204016 (2002) |
| 2001 | ||
| c15 | | |
| 2000 | ||
| j8 | | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making abstract interpretations complete. J. ACM 47(2): 361-416 (2000) |
| 1999 | ||
| j7 | | |
| j6 | | Roberto Giacobazzi, Francesco Ranzato: The Reduced Relative Power Operation on Abstract Domains. Theor. Comput. Sci. 216(1-2): 159-211 (1999) |
| j5 | | Gilberto Filé, Francesco Ranzato: The Powerset Operator on Abstract Interpretations. Theor. Comput. Sci. 222(1-2): 77-111 (1999) |
| c14 |  | Francesco Ranzato: CPOs as Concrete Domains: Lattices of Abstract Domains and Complements. APPIA-GULP-PRODE 1999: 183-196 |
| 1998 | ||
| j4 | | Roberto Giacobazzi, Francesco Ranzato: Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. Inf. Comput. 145(2): 153-190 (1998) |
| j3 | | Roberto Giacobazzi, Francesco Ranzato: Optimal Domains for Disjunctive Abstract Intepretation. Sci. Comput. Program. 32(1-3): 177-210 (1998) |
| c13 | | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Building Complete Abstract Interpretations in a Linear Logic-based Setting. APPIA-GULP-PRODE 1998: 241-254 |
| c12 | | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Complete Abstract Interpretations Made Constructive. MFCS 1998: 366-377 |
| c11 | | Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Building Complete Abstract Interpretations in a Linear Logic-based Setting. SAS 1998: 215-229 |
| 1997 | ||
| j2 | | Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997) |
| c10 | | Roberto Giacobazzi, Francesco Ranzato: Completeness in Abstract Interpretation: A Domain Perspective. AMAST 1997: 231-245 |
| c9 | | Roberto Giacobazzi, Francesco Ranzato: Refining and Compressing Abstract Domains. ICALP 1997: 771-781 |
| 1996 | ||
| j1 | | Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato: A Unifying View of Abstract Domain Design. ACM Comput. Surv. 28(2): 333-336 (1996) |
| c8 | | Roberto Giacobazzi, Francesco Ranzato: Optimization of Disjunctive Abstract Interpretations. APPIA-GULP-PRODE 1996: 53-66 |
| c7 | | |
| c6 | | Roberto Giacobazzi, Francesco Ranzato: Compositional Optimization of Disjunctive Abstract Interpretations. ESOP 1996: 141-155 |
| c5 | | Gilberto Filé, Francesco Ranzato: Complementation of Abstract Domains made Easy. JICSLP 1996: 348-362 |
| 1995 | ||
| c4 | | Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation. SAS 1995: 100-117 |
| c3 | | Roberto Giacobazzi, Francesco Ranzato: Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. ILPS 1995: 321-335 |
| 1994 | ||
| c2 | | Gilberto Filé, Francesco Ranzato: Improving Abstract Interpretations by Systematic Lifting to the Powerset. GULP-PRODE (1) 1994: 357-371 |
| c1 | | Gilberto Filé, Francesco Ranzato: Improving Abstract Interpretations by Systematic Lifting to the Powerset. SLP 1994: 655-669 |
| 1 | Agostino Cortesi | |
| 2 | Silvia Crafa | |
| 3 | Giorgio Delzanno | |
| 4 | Gilberto Filé | |
| 5 | Roberto Giacobazzi | |
| 6 | Lorenzo De Nardo | |
| 7 | Catuscia Palamidessi | |
| 8 | Olivia Rossi-Doria | |
| 9 | Francesca Scozzari | |
| 10 | Francesco Tapparo |
Colors in the list of coauthors
Last update Sun May 26 05:03:24 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page