Alessandro De Palma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECOOP | Faster Verified Explanations for Neural Networks. | Alessandro De Palma, Greta Dolcetti, Caterina Urban |
| 2025 | WACV | Robustness to Perturbations in the Frequency Domain: Neural Network Verification and Certified Training. | Harleen Hanspal, Alessandro De Palma, Alessio Lomuscio |
| 2024 | ECAI | Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. | Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio |
| 2024 | ICLR | Expressive Losses for Verified Robustness via Convex Combinations. | Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio |
| 2021 | ICLR | Scaling the Convex Barrier with Active Sets. | Alessandro De Palma, Harkirat S. Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar |
| 2020 | UAI | Lagrangian Decomposition for Neural Network Verification. | Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar |
| 2018 | PPoPP | Communication-avoiding parallel minimum cuts and connected components. | Lukas Gianinazzi, Pavel Kalvoda, Alessandro De Palma, Maciej Besta, Torsten Hoefler |