Polyadic Soft Constraints. - Filippo Bonchi; Laura Bussi; Fabio Gadducci; Francesco Santini 001 (The Art of Modelling Computational Systems, 2019)

A spatial model checker in GPU (extended version). - Laura Bussi; Vincenzo Ciancia; Fabio Gadducci (CoRR, 2020)

Towards Model Checking Video Streams Using VoxLogicA on GPUs. - Laura Bussi; Vincenzo Ciancia; Fabio Gadducci; Diego Latella; Mieke Massink (DataMod, 2021)

Towards a Spatial Model Checker on GPU. - Laura Bussi; Vincenzo Ciancia; Fabio Gadducci (FORTE, 2021)

Preserving landmark legacy software with the Software Heritage Acquisition Process. - Roberto Di Cosmo; Carlo Montangero; Guido Scatena; Laura Bussi (iPRES, 2021)

Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). - Gina Belmonte; Giovanna Broccia; Laura Bussi; Vincenzo Ciancia; Diego Latella; Mieke Massink (MEDI Workshops, 2021)

Soft Concurrent Constraint Programming with Local Variables. - Laura Bussi; Fabio Gadducci; Francesco Santini 001 (COORDINATION, 2022)

On Binding in the Spatial Logics for Closure Spaces. - Laura Bussi; Vincenzo Ciancia; Fabio Gadducci; Diego Latella; Mieke Massink (ISoLA (1), 2022)

A Spatial Logic with Time and Quantifiers. - Laura Bussi; Vincenzo Ciancia; Fabio Gadducci (DaLí, 2023)

A Toolchain for Strategy Synthesis with Spatial Properties - Complementary Material. - Davide Basile 001; Maurice H. ter Beek; Laura Bussi; Vincenzo Ciancia (Zenodo, 2023)

A toolchain for strategy synthesis with spatial properties. - Davide Basile 001; Maurice H. ter Beek; Laura Bussi; Vincenzo Ciancia (Int. J. Softw. Tools Technol. Transf., 2023)

Logics of Polyhedral Reachability. - Nick Bezhanishvili; Laura Bussi; Vincenzo Ciancia; David Fernández-Duque; David Gabelaia (AiML, 2024)

Towards Hybrid-AI in Imaging Using VoxLogicA. - Gina Belmonte; Laura Bussi; Vincenzo Ciancia; Diego Latella; Mieke Massink (ISoLA (4), 2024)

Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking. - Nick Bezhanishvili; Laura Bussi; Vincenzo Ciancia; David Gabelaia; Mamuka Jibladze; Diego Latella; Mieke Massink; Erik P. de Vink (CoRR, 2024)

TRIDENT: Temporally Restricted Inference via DFA-Enhanced Neural Traversal. - Vincenzo Collura; Karim Tit; Laura Bussi; Eleonora Giunchiglia; Maxime Cordy (CoRR, 2025)