Making Abstract Model Checking Strongly Preserving. - Francesco Ranzato; Francesco Tapparo (SAS, 2002)

Strong Preservation as Completeness in Abstract Interpretation. - Francesco Ranzato; Francesco Tapparo (ESOP, 2004)

An Abstract Interpretation Perspective on Linear vs. Branching Time. - Francesco Ranzato; Francesco Tapparo (APLAS, 2005)

An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. - Francesco Ranzato; Francesco Tapparo (TACAS, 2005)

Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. - Francesco Ranzato; Francesco Tapparo (VMCAI, 2006)

Symbolic Fault Tree Analysis for Reactive Systems. - Marco Bozzano; Alessandro Cimatti; Francesco Tapparo (ATVA, 2007)

A New Efficient Simulation Equivalence Algorithm. - Francesco Ranzato; Francesco Tapparo (LICS, 2007)

An efficient simulation equivalence algorithm based on abstract interpretation - Francesco Ranzato; Francesco Tapparo (CoRR, 2007)

Generalized Strong Preservation by Abstract Interpretation. - Francesco Ranzato; Francesco Tapparo (J. Log. Comput., 2007)

A Forward-Backward Abstraction Refinement Algorithm. - Francesco Ranzato; Olivia Rossi-Doria; Francesco Tapparo (VMCAI, 2008)

Generalizing the Paige-Tarjan algorithm by abstract interpretation. - Francesco Ranzato; Francesco Tapparo (Inf. Comput., 2008)

Computing Stuttering Simulations. - Francesco Ranzato; Francesco Tapparo (CONCUR, 2009)

The Subgraph Similarity Problem. - Lorenzo De Nardo; Francesco Ranzato; Francesco Tapparo (IEEE Trans. Knowl. Data Eng., 2009)

An efficient simulation algorithm based on abstract interpretation. - Francesco Ranzato; Francesco Tapparo (Inf. Comput., 2010)

Saving Space in a Time Efficient Simulation Algorithm. - Silvia Crafa; Francesco Ranzato; Francesco Tapparo (Fundam. Informaticae, 2011)