Ginevra Carbone
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints. | Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi |
| 2023 | RV | Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. | Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini |
| 2022 | IJCNN | Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. | Ginevra Carbone, Luca Bortolussi, Guido Sanguinetti |
| 2021 | IJCNN | Random Projections for Improved Adversarial Robustness. | Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi |