Laura Bussi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2021–2024
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AiML | Logics of Polyhedral Reachability. | Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernndez-Duque, David Gabelaia |
| 2024 | ISoLA | Towards Hybrid-AI in Imaging Using VoxLogicA. | Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2022 | Coordination | Soft Concurrent Constraint Programming with Local Variables. | Laura Bussi, Fabio Gadducci, Francesco Santini |
| 2022 | ISoLA | On Binding in the Spatial Logics for Closure Spaces. | Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink |
| 2021 | FORTE | Towards a Spatial Model Checker on GPU. | Laura Bussi, Vincenzo Ciancia, Fabio Gadducci |
| 2021 | MEDI | Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). | Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink |