Gaia Saveri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2022–2024
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ECAI | stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. | Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretnsk |
| 2024 | ISoLA | Is Machine Learning Model Checking Privacy Preserving? | Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti |
| 2024 | NeSy | ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series. | Irene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi |
| 2023 | NeSy | Towards Invertible Semantic-Preserving Embeddings of Logical Formulae. | Gaia Saveri, Luca Bortolussi |
| 2022 | ESANN | Graph Neural Networks for Propositional Model Counting. | Gaia Saveri |