Laura Bussi
Orcid: 0000-0003-1292-4086
According to our database1,
Laura Bussi
authored at least 14 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
1
1
1
2
1
2
4
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024
Logics of Polyhedral Reachability.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024
2023
Int. J. Softw. Tools Technol. Transf., December, 2023
Dataset, August, 2023
Proceedings of the Dynamic Logic. New Trends and Applications - 5th International Workshop, 2023
2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the Coordination Models and Languages, 2022
2021
Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021
Proceedings of the 17th International Conference on Digital Preservation, 2021
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021
Proceedings of the From Data to Models and Back, 2021
2020
2019
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019