Leonardo Lima
Orcid: 0000-0003-1701-0435Affiliations:
- University of Copenhagen, Denmark
According to our database1,
Leonardo Lima
authored at least 13 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Arch. Formal Proofs, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the Automated Technology for Verification and Analysis, 2024
2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
2019
Theor. Comput. Sci., 2019
2016
Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016
2015
Proceedings of the Proceedings First International Workshop on Focusing, 2015
2014
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014
2013