Francesco Tapparo (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

17		Francesco Ranzato, Francesco Tapparo: An efficient simulation algorithm based on abstract interpretation. Inf. Comput. 208(1): 1-22 (2010)
16		Francesco Ranzato, Francesco Tapparo: Computing Stuttering Simulations. CONCUR 2009: 542-556
15		Francesco Ranzato, Francesco Tapparo: Computing Stuttering Simulations CoRR abs/0904.1488: (2009)
14		Lorenzo De Nardo, Francesco Ranzato, Francesco Tapparo: The Subgraph Similarity Problem. IEEE Trans. Knowl. Data Eng. 21(5): 748-749 (2009)
13		Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo: A Forward-Backward Abstraction Refinement Algorithm. VMCAI 2008: 248-262
12		Francesco Ranzato, Francesco Tapparo: Generalizing the Paige-Tarjan algorithm by abstract interpretation. Inf. Comput. 206(5): 620-651 (2008)
10		Francesco Ranzato, Francesco Tapparo: A New Efficient Simulation Equivalence Algorithm. LICS 2007: 171-180
9		Francesco Ranzato, Francesco Tapparo: An efficient simulation equivalence algorithm based on abstract interpretation CoRR abs/0709.4118: (2007)
8		Francesco Ranzato, Francesco Tapparo: Generalized Strong Preservation by Abstract Interpretation. J. Log. Comput. 17(1): 157-197 (2007)
7		Francesco Ranzato, Francesco Tapparo: Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. VMCAI 2006: 332-347
6		Francesco Ranzato, Francesco Tapparo: Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation CoRR abs/cs/0612120: (2006)
5		Francesco Ranzato, Francesco Tapparo: An Abstract Interpretation Perspective on Linear vs. Branching Time. APLAS 2005: 69-85
4		Francesco Ranzato, Francesco Tapparo: An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. TACAS 2005: 140-156
3		Francesco Ranzato, Francesco Tapparo: Strong Preservation as Completeness in Abstract Interpretation. ESOP 2004: 18-32
2		Francesco Ranzato, Francesco Tapparo: Generalized Strong Preservation by Abstract Interpretation CoRR cs.LO/0401016: (2004)
1		Francesco Ranzato, Francesco Tapparo: Making Abstract Model Checking Strongly Preserving. SAS 2002: 411-427

Selection of 16 from 17 records - Francesco Tapparo has 5 coauthors