Francesco Alberti

Identifiers

• name variant Francesco Alberti 0.60 · backfill

Papers (3)

1. Counting Constraints in Flat Array Fragments cs.LO · 2016 · author #1
2. A simple abstraction of arrays and maps by program translation cs.PL · 2015 · author #2
3. Abstraction and Acceleration in SMT-based Model-Checking for Array Programs cs.LO · 2013 · author #1

Mentions

• 1506.04161 #2 · backfill · confidence 0.70 Francesco Alberti
• 1304.4499 #1 · backfill · confidence 0.70 Francesco Alberti

Frequent Coauthors

• Silvio Ghilardi 2 shared papers
• David Monniaux (VERIMAG - Imag) 1 shared papers
• Elena Pagani 1 shared papers
• Natasha Sharygina 1 shared papers