PANACEA Cough Sound-Based Diagnosis of COVID-19 for the DiCOVA 2021 Challenge. - Madhu R. Kamble; José Andrés González López; Teresa Grau; Juan M. Espín; Lorenzo Cascioli; Yiqing Huang; Alejandro Gómez Alanís; Jose Patino 001; Roberto Font; Antonio M. Peinado; Angel M. Gomez; Nicholas W. D. Evans; et al. (Interspeech, 2021)

The polynomial robust knapsack problem. - Alessandro Baldo 001; Matteo Boffa; Lorenzo Cascioli; Edoardo Fadda; Chiara Lanza; Arianna Ravera (Eur. J. Oper. Res., 2023)

Robustness Verification of Multi-Class Tree Ensembles. - Laurens Devos; Lorenzo Cascioli; Jesse Davis (AAAI, 2024)

Safety Verification of Tree-Ensemble Policies via Predicate Abstraction. - Chaahat Jain; Lorenzo Cascioli; Laurens Devos; Marcel Vinzent; Marcel Steinmetz; Jesse Davis; Jörg Hoffmann 001 (ECAI, 2024)

Faster Repeated Evasion Attacks in Tree Ensembles. - Lorenzo Cascioli; Laurens Devos; Ondrej Kuzelka; Jesse Davis (NeurIPS, 2024)