Dottorando in Ingegneria Informatica E Dei Sistemi , 38o ciclo (2022-2025)
Dipartimento di Automatica e Informatica (DAUIN)
Docente a contratto e/o collaboratore didattico
Dipartimento di Automatica e Informatica (DAUIN)
Profilo
Dottorato di ricerca
Argomento di ricerca
Parallel Techniques for Reliability Measures
Tutori
Presentazione della ricerca
Keywords
Biografia
LinkedIn: Lorenzo Cardone
Premi e riconoscimenti
- Best Paper Award Certificate for the paper entitled: Cooperative Multi-Heuristic Parallelization for the Maximum Common Induced Subgraph Problem authored by: Lorenzo Cardone and Stefano Quer received at the 21st International Conference on Software Technologies (ICSOFT) held in Porto- Portugal, July 16- 18, 2026 (2026)
- Outstanding Student Presentation Award from ETS2026 Conference (2026)
Didattica
Insegnamenti
Corso di laurea di 1° livello
- Operating systems. A.A. 2025/26, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Sistemi operativi. A.A. 2025/26, INGEGNERIA INFORMATICA. Collaboratore del corso
- Operating systems. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Sistemi operativi. A.A. 2024/25, INGEGNERIA INFORMATICA. Collaboratore del corso
- Operating systems. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Sistemi operativi. A.A. 2023/24, INGEGNERIA INFORMATICA. Collaboratore del corso
Pubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris
- Cardone, Lorenzo; Quer, Stefano; Bernardi, Paolo (In stampa)
Fast Circuit Analysis via Neighborhood-Guided Maximum Common Subgraph. In: European Test Symposium 2026, Platanias (GR), 25/05/2026 - 29/05/2026
Contributo in Atti di Convegno (Proceeding) - Bernardi, Paolo; Cardone, Lorenzo; Quer, Stefano (In stampa)
Smart Heuristics for Maximum Common Subgraph Sub-Estimation in Large Digital Circuits. In: IWLS 2025, Verona (IT), 20/05/2024 - 24/05/2024
Contributo in Atti di Convegno (Proceeding) - Calabrese, Andrea; Cardone, Lorenzo; Licata, Salvatore; Porro, Marco; Quer, Stefano (2026)
Improving state-of-the-art vertex sorting algorithms to compute the maximum common induced subgraph. In: JOURNAL OF HEURISTICS, vol. 32. ISSN 1381-1231
Contributo su Rivista - Cardone, Lorenzo; Ghisolfo, Giorgia; Mongardi, Giorgio; Quer, Stefano; Squillero, ... (2026)
Beyond the Black Box: Neuro-Symbolic Integration for Interpretable Video-Based Reinforcement Learning. In: 21st International Conference on Software Technologies, Porto (PRT), 16/07/2026 - 18/07/2026, pp. 593-604. ISBN: 978-989-758-855-6
Contributo in Atti di Convegno (Proceeding) - Cardone, Lorenzo; Quer, Stefano (2026)
Cooperative Multi-Heuristic Parallelization for the Maximum Common Induced Subgraph Problem. In: 21st International Conference on Software Technologies, Porto (PRT), 16/07/2026 - 18/07/2026, pp. 605-616
Contributo in Atti di Convegno (Proceeding)