Francesco Tapparo

Identifiers

• name variant Francesco Tapparo 0.60 · backfill

Papers (4)

1. Computing Stuttering Simulations cs.LO · 2009 · author #2
2. An efficient simulation algorithm based on abstract interpretation cs.LO · 2007 · author #2
3. Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation cs.LO · 2006 · author #2
4. Generalized Strong Preservation by Abstract Interpretation cs.LO · 2004 · author #2

Mentions

• 0904.1488 #2 · backfill · confidence 0.70 Francesco Tapparo
• 0709.4118 #2 · backfill · confidence 0.70 Francesco Tapparo

Frequent Coauthors

• Francesco Ranzato 4 shared papers