Laura Bussi

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Soft Constraints

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia
Logics of polyhedral reachability. CoRR (2024)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
A Spatial Logic with Time and Quantifiers. DaLí (2023)
Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia
A toolchain for strategy synthesis with spatial properties. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Laura Bussi, Fabio Gadducci, Francesco Santini
Soft Concurrent Constraint Programming with Local Variables. COORDINATION (2022)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
On Binding in the Spatial Logics for Closure Spaces. ISoLA (1) (2022)
Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). MEDI Workshops (2021)
Roberto Di Cosmo, Carlo Montangero, Guido Scatena, Laura Bussi
Preserving landmark legacy software with the Software Heritage Acquisition Process. iPRES (2021)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
Towards a Spatial Model Checker on GPU. FORTE (2021)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
Towards Model Checking Video Streams Using VoxLogicA on GPUs. DataMod (2021)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
A spatial model checker in GPU (extended version). CoRR (2020)
Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini
Polyadic Soft Constraints. The Art of Modelling Computational Systems (2019)