Alessandro Maria Rizzi

Identifiers

• name variant Alessandro Maria Rizzi 0.60 · backfill

Papers (3)

1. Syntax-driven Incremental Program Verification of Matching Logic Properties cs.SE · 2026 · author #5
2. Integrating Topological Proofs with Model Checking to Instrument Iterative Design cs.LO · 2018 · author #2
3. Support vector regression model for BigData systems cs.DC · 2016 · author #1

Mentions

• 2606.08824 #5 · arxiv_oai · confidence 0.70 Alessandro Maria Rizzi

Frequent Coauthors

• Anna Bernasconi 1 shared papers
• Antonio Filieri 1 shared papers
• Carlo Ghezzi 1 shared papers
• Claudio Menghi 1 shared papers
• Dino Mandrioli 1 shared papers
• Domenico Bianculli 1 shared papers