| 2026 | CSL | Towards the Type Safety of Pure Subtype Systems. | Valentin Pasquale, lvaro Garca-Prez |
| 2025 | BPM | Leveraging the Diamond Pattern for Scalable and Upgradeable Blockchain-Based Business Process Management Applications. | Victor Lemaire, Tiphaine Henry, lvaro Garca-Prez, Walid Gaaloul, Sara Tucci Piergiovanni |
| 2025 | PPDP | An interactive type checker for dependent types with general recursion (System Description). | Valentin Pasquale, lvaro Garca-Prez |
| 2024 | SRDS | Fantastyc: Blockchain-Based Federated Learning Made Secure and Practical. | William Boitier, Antonella Del Pozzo, lvaro Garca-Prez, Stphane Gazut, Pierre Jobic, Alexis Lemaire, Erwan Mahe, Aurlien Mayoue, Maxence Perion, Tuanir Franca Rezende, Deepika Singh, Sara Tucci Piergiovanni |
| 2019 | OPODIS | Deconstructing Stellar Consensus. | lvaro Garca-Prez, Maria Anna Schett |
| 2018 | ESOP | Paxos Consensus, Deconstructed and Abstracted. | lvaro Garca-Prez, Alexey Gotsman, Yuri Meshman, Ilya Sergey |
| 2018 | OPODIS | Federated Byzantine Quorum Systems. | lvaro Garca-Prez, Alexey Gotsman |
| 2017 | CONCUR | Rule Formats for Nominal Process Calculi. | Luca Aceto, Ignacio Fbregas, lvaro Garca-Prez, Anna Inglfsdttir, Yolanda Ortega-Malln |
| 2014 | PEPM | Deriving interpretations of the gradually-typed lambda calculus. | lvaro Garca-Prez, Pablo Nogueira, Ilya Sergey |
| 2013 | PEPM | A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. | lvaro Garca-Prez, Pablo Nogueira |
| 2013 | PPDP | Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. | lvaro Garca-Prez, Pablo Nogueira, Juan Jos Moreno-Navarro |