Cesare Tinelli (The University of Iowa)

Identifiers

• name variant Cesare Tinelli (The University of Iowa) 0.60 · backfill

Papers (3)

1. Extending SMTCoq, a Certified Checker for SMT (Extended Abstract) cs.LO · 2016 · author #7
2. Ground interpolation for the theory of equality cs.LO · 2011 · author #5
3. PKind: A parallel k-induction based model checker cs.LO · 2011 · author #2

Mentions

• 1111.5652 #5 · backfill · confidence 0.70 Cesare Tinelli (The University of Iowa)
• 1111.0372 #2 · backfill · confidence 0.70 Cesare Tinelli (The University of Iowa)

Frequent Coauthors

• Alain Mebsout (The University of Iowa) 1 shared papers
• Alexander Fuchs (The University of Iowa) 1 shared papers
• Amit Goel (Intel Corporation) 1 shared papers
• Andrew J. Reynolds (The University of Iowa) 1 shared papers
• Burak Ekici (The University of Iowa) 1 shared papers
• Chantal Keller (LRI 1 shared papers
• Guy Katz (New York University) 1 shared papers
• Jim Grundy (Intel Corporation) 1 shared papers
• Sava Krsti\'c (Intel Corporation) 1 shared papers
• Temesghen Kahsai (The University of Iowa) 1 shared papers
• Univ. Paris-Sud) 1 shared papers