| Towards a spatial model checker on GPU L Bussi, V Ciancia, F Gadducci International Conference on Formal Techniques for Distributed Objects …, 2021 | 18 | 2021 |
| Towards model checking video streams using VoxLogicA on GPUs L Bussi, V Ciancia, F Gadducci, D Latella, M Massink International Symposium: From Data to Models and Back, 78-90, 2021 | 6 | 2021 |
| A toolchain for strategy synthesis with spatial properties D Basile, MH ter Beek, L Bussi, V Ciancia International Journal on Software Tools for Technology Transfer 25 (5), 641-658, 2023 | 3 | 2023 |
| Towards Hybrid-AI in Imaging Using VoxLogicA G Belmonte, L Bussi, V Ciancia, D Latella, M Massink International Symposium on Leveraging Applications of Formal Methods, 205-221, 2024 | 2 | 2024 |
| On binding in the spatial logics for closure spaces L Bussi, V Ciancia, F Gadducci, D Latella, M Massink International Symposium on Leveraging Applications of Formal Methods, 479-497, 2022 | 2 | 2022 |
| Polyadic soft constraints F Bonchi, L Bussi, F Gadducci, F Santini The Art of Modelling Computational Systems: A Journey from Logic and …, 2019 | 2 | 2019 |
| Soft Concurrent Constraint Programming with Local Variables L Bussi, F Gadducci, F Santini International Conference on Coordination Languages and Models, 159-177, 2022 | 1 | 2022 |
| Querying medical imaging datasets using spatial logics (position paper) G Belmonte, G Broccia, L Bussi, V Ciancia, D Latella, M Massink Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 …, 2021 | 1 | 2021 |
| A spatial model checker in GPU (extended version) L Bussi, V Ciancia, F Gadducci arXiv preprint arXiv:2010.07284, 2020 | 1 | 2020 |
| Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking N Bezhanishvili, L Bussi, V Ciancia, D Gabelaia, M Jibladze, D Latella, ... arXiv preprint arXiv:2411.11428, 2024 | | 2024 |
| Logics of polyhedral reachability N Bezhanishvili, L Bussi, V Ciancia, D Fernández-Duque, D Gabelaia arXiv preprint arXiv:2406.16056, 2024 | | 2024 |
| Model checking properties with identity binding in space-time L BUSSI | | 2024 |
| A Spatial Logic with Time and Quantifiers L Bussi, V Ciancia, F Gadducci International Workshop on Dynamic Logic, 1-19, 2023 | | 2023 |
| Using Spatial Logics (Position Paper) G Belmonte, G Broccia, L Bussi, V Ciancia, D Latella, M Massink | | 2021 |
| A GPU based implementation of the spatial model checker VoxLogicA L BUSSI | | 2020 |
| Short title SWHAP L Bussi, R Di Cosmo, C Montangero, G Scatena | | 2019 |
| ISTI Technical Reports N Bezhanishvili, L Bussi, IV Ciancia, ID Gabelaia, M Jibladze, D Latella, ... | | |
