Alessandro Maria Rizzi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FASE | Integrating Topological Proofs with Model Checking to Instrument Iterative Design. | Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi |
| 2015 | ICSE | Syntax-Driven Program Verification of Matching Logic Properties. | Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi |
| 2014 | HCI | HaptiChem: Haptic and Visual Support in Interactions with the Microscopic World. | Elisa Magnanelli, Gianluca Brero, Rosa Virginia Espinoza Garnier, Giacomo Mazzoletti, Alessandro Maria Rizzi, Sara Comai |
| 2014 | ICSE | Incremental reachability checking of KernelC programs using matching logic. | Alessandro Maria Rizzi |
| 2014 | SYNASC | Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems. | Marzieh Malekimajd, Alessandro Maria Rizzi, Danilo Ardagna, Michele Ciavotta, Mauro Passacantando, Ali Movaghar |