Antonio Filieri

Identifiers

• name variant Antonio Filieri 0.60 · backfill

Papers (2)

1. Syntax-driven Incremental Program Verification of Matching Logic Properties cs.SE · 2026 · author #2
2. A Syntactic-Semantic Approach to Incremental Verification cs.SE · 2013 · author #2

Mentions

• 2606.08824 #2 · arxiv_oai · confidence 0.70 Antonio Filieri
• 1304.8034 #2 · backfill · confidence 0.70 Antonio Filieri

Frequent Coauthors

• Carlo Ghezzi 2 shared papers
• Dino Mandrioli 2 shared papers
• Domenico Bianculli 2 shared papers
• Alessandro Maria Rizzi 1 shared papers