Leonardo Lima

According to our database, Leonardo Lima authored at least 7 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Explainable Online Monitoring of Metric First-Order Temporal Logic.

Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Explainable Online Monitoring of Metric Temporal Logic.

Leonardo Lima, Andrei Herasimau, Martin Raszyk, Dmitriy Traytel, Simon Yuan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2019

Formalized meta-theory of sequent calculi for linear logics.

Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis

Theor. Comput. Sci., 2019

2016

Formalized Meta-Theory of Sequent Calculi for Substructural Logics.

Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

2015

Towards the Automated Generation of Focused Proof Systems.

Vivek Nigam, Giselle Reis, Leonardo Lima

Proceedings of the Proceedings First International Workshop on Focusing, 2015

2014

Quati: An Automated Tool for Proving Permutation Lemmas.

Vivek Nigam, Giselle Reis, Leonardo Lima

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Checking Proof Transformations with ASP.

Vivek Nigam, Giselle Reis, Leonardo Lima

Theory Pract. Log. Program., 2013