| 2023 | PPDP | Comprehending queries over finite maps. | Wilmer Ricciotti |
| 2021 | ESOP | Query Lifting - Language-integrated query for heterogeneous nested collections. | Wilmer Ricciotti, James Cheney |
| 2020 | FSCD | Strongly Normalizing Higher-Order Relational Queries. | Wilmer Ricciotti, James Cheney |
| 2018 | ICTAC | Explicit Auditing. | Wilmer Ricciotti, James Cheney |
| 2017 | CSL | Strongly Normalizing Audited Computation. | Wilmer Ricciotti, James Cheney |
| 2017 | PPDP | A core calculus for provenance inspection. | Wilmer Ricciotti |
| 2015 | ESOP | Binding Structures as an Abstract Data Type. | Wilmer Ricciotti |
| 2015 | ICTERI | Abstracting an Operational Semantics to Finite Automata. | Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker |
| 2015 | ICTERI | Abstracting an Operational Semantics to Finite Automata. | Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker |
| 2012 | AISC | A Web Interface for Matita. | Andrea Asperti, Wilmer Ricciotti |
| 2012 | CPP | Rating Disambiguation Errors. | Andrea Asperti, Wilmer Ricciotti |
| 2012 | WoLLIC | Formalizing Turing Machines. | Andrea Asperti, Wilmer Ricciotti |
| 2011 | CADE | The Matita Interactive Theorem Prover. | Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi |