| 2026 | PADL | Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut. | Davide Fissore, Enrico Tassi |
| 2025 | ITP | Inductive Predicates via Least Fixpoints in Higher-Order Separation Logic. | Robbert Krebbers, Luko van der Maas, Enrico Tassi |
| 2024 | PPDP | Higher-Order unification for free!: Reusing the meta-language unification for the object language. | Davide Fissore, Enrico Tassi |
| 2023 | CPP | Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi. | Benjamin Grgoire, Jean-Christophe Lchenet, Enrico Tassi |
| 2020 | FSCD | Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description). | Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi |
| 2019 | ITP | Deriving Proved Equality Tests in Coq-Elpi: Stronger Induction Principles for Containers in Coq. | Enrico Tassi |
| 2016 | TACAS | Coqoon - An IDE for Interactive Proof Development in Coq. | Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink |
| 2015 | ITP | Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface. | Bruno Barras, Carst Tankink, Enrico Tassi |
| 2015 | LPAR | ELPI: Fast, Embeddable, λProlog Interpreter. | Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi |
| 2014 | ITP | A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3). | Frdric Chyzak, Assia Mahboubi, Thomas Sibut-Pinote, Enrico Tassi |
| 2013 | ITP | A Machine-Checked Proof of the Odd Order Theorem. | Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, Franois Garillot, Stphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Thry |
| 2013 | ITP | Canonical Structures for the Working Coq User. | Assia Mahboubi, Enrico Tassi |
| 2012 | ITP | A Language of Patterns for Subterm Selection. | Georges Gonthier, Enrico Tassi |
| 2011 | CADE | The Matita Interactive Theorem Prover. | Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi |
| 2010 | AISC | Smart Matching. | Andrea Asperti, Enrico Tassi |