Leonardo Lima

Orcid: 0000-0003-1701-0435

Affiliations:
  • University of Copenhagen, Denmark


According to our database1, Leonardo Lima authored at least 13 papers between 2013 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Artifact for "Proactive Real-Time First-Order Enforcement".
Dataset, April, 2024

Artifact for "Proactive Real-Time First-Order Enforcement".
Dataset, April, 2024

Artifact for "Proactive Real-Time First-Order Enforcement".
Dataset, April, 2024

A Verified Proof Checker for Metric First-Order Temporal Logic.
Arch. Formal Proofs, 2024

Explainable Online Monitoring of Metric First-Order Temporal Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Proactive Real-Time First-Order Enforcement.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024

WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts.
Proceedings of the Automated Technology for Verification and Analysis, 2024

2023
Explainable Online Monitoring of Metric Temporal Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2019
Formalized meta-theory of sequent calculi for linear logics.
Theor. Comput. Sci., 2019

2016
Formalized Meta-Theory of Sequent Calculi for Substructural Logics.
Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

2015
Towards the Automated Generation of Focused Proof Systems.
Proceedings of the Proceedings First International Workshop on Focusing, 2015

2014
Quati: An Automated Tool for Proving Permutation Lemmas.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013
Checking Proof Transformations with ASP.
Theory Pract. Log. Program., 2013


  Loading...