Francesco Tapparo

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2011
j5		Silvia Crafa, Francesco Ranzato, Francesco Tapparo: Saving Space in a Time Efficient Simulation Algorithm. Fundam. Inform. 108(1-2): 23-42 (2011)
	2010
j4		Francesco Ranzato, Francesco Tapparo: An efficient simulation algorithm based on abstract interpretation. Inf. Comput. 208(1): 1-22 (2010)
	2009
j3		Lorenzo De Nardo, Francesco Ranzato, Francesco Tapparo: The Subgraph Similarity Problem. IEEE Trans. Knowl. Data Eng. 21(5): 748-749 (2009)
c10		Silvia Crafa, Francesco Ranzato, Francesco Tapparo: Saving Space in a Time Efficient Simulation Algorithm. ACSD 2009: 60-69
c9		Francesco Ranzato, Francesco Tapparo: Computing Stuttering Simulations. CONCUR 2009: 542-556
i4		Francesco Ranzato, Francesco Tapparo: Computing Stuttering Simulations. CoRR abs/0904.1488 (2009)
	2008
j2		Francesco Ranzato, Francesco Tapparo: Generalizing the Paige-Tarjan algorithm by abstract interpretation. Inf. Comput. 206(5): 620-651 (2008)
c8		Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo: A Forward-Backward Abstraction Refinement Algorithm. VMCAI 2008: 248-262
	2007
j1		Francesco Ranzato, Francesco Tapparo: Generalized Strong Preservation by Abstract Interpretation. J. Log. Comput. 17(1): 157-197 (2007)
c7		Marco Bozzano, Alessandro Cimatti, Francesco Tapparo: Symbolic Fault Tree Analysis for Reactive Systems. ATVA 2007: 162-176
c6		Francesco Ranzato, Francesco Tapparo: A New Efficient Simulation Equivalence Algorithm. LICS 2007: 171-180
i3		Francesco Ranzato, Francesco Tapparo: An efficient simulation equivalence algorithm based on abstract interpretation. CoRR abs/0709.4118 (2007)
	2006
c5		Francesco Ranzato, Francesco Tapparo: Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. VMCAI 2006: 332-347
i2		Francesco Ranzato, Francesco Tapparo: Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation. CoRR abs/cs/0612120 (2006)
	2005
c4		Francesco Ranzato, Francesco Tapparo: An Abstract Interpretation Perspective on Linear vs. Branching Time. APLAS 2005: 69-85
c3		Francesco Ranzato, Francesco Tapparo: An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. TACAS 2005: 140-156
	2004
c2		Francesco Ranzato, Francesco Tapparo: Strong Preservation as Completeness in Abstract Interpretation. ESOP 2004: 18-32
i1		Francesco Ranzato, Francesco Tapparo: Generalized Strong Preservation by Abstract Interpretation. CoRR cs.LO/0401016 (2004)
	2002
c1		Francesco Ranzato, Francesco Tapparo: Making Abstract Model Checking Strongly Preserving. SAS 2002: 411-427

Coauthor Index

1	Marco Bozzano	[c7]
2	Alessandro Cimatti	[c7]
3	Silvia Crafa	[j5] [c10]
4	Lorenzo De Nardo	[j3]
5	Francesco Ranzato	[j5] [j4] [j3] [c10] [c9] [i4] [j2] [c8] [j1] [c6] [i3] [c5] [i2] [c4] [c3] [c2] [i1] [c1]
6	Olivia Rossi-Doria	[c8]

Colors in the list of coauthors

Last update Sat May 25 18:30:45 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page