| 2023 | ICIAP | Convolutional Neural Networks for the Detection of Esca Disease Complex in Asymptomatic Grapevine Leaves. | Alberto Carraro, Gaetano Saurio, Ainara Lpez-Maestresalas, Simone Scardapane, Francesco Marinello |
| 2021 | MFCS | (Un)Decidability for History Preserving True Concurrent Logics. | Paolo Baldan, Alberto Carraro, Tommaso Padoan |
| 2014 | FOSSACS | A Semantical and Operational Account of Call-by-Value Solvability. | Alberto Carraro, Giulio Guerrieri |
| 2012 | CSL | On the equational consistency of order-theoretic models of the lambda-calculus. | Alberto Carraro, Antonino Salibra |
| 2011 | CSL | Full Abstraction for Resource Calculus with Tests. | Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto |
| 2010 | CSL | Exponentials with Infinite Multiplicities. | Alberto Carraro, Thomas Ehrhard, Antonino Salibra |
| 2010 | MFCS | Resource Combinatory Algebras. | Alberto Carraro, Thomas Ehrhard, Antonino Salibra |
| 2009 | LICS | Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus. | Alberto Carraro, Antonino Salibra |