Leonardo Lima

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 4

Top Topics

Spatial Analysis

Sequent Calculi

Expression Recognition

Convolutional Neural Network

Top Venues

DHandNLP@PROPOR

Publications

Leonardo Lima, Pedro Santos, Bruno Ribeiro, Wallace Magalhães, Mikaela Kalline M. Serrão, Marly G. F. Costa, Cicero Ferreira Fernandes Costa Filho
Comparison of Convolutional Neural Network Performances in Pain Facial Expression Recognition. SIPAIM (2023)
Leonardo Lima, João Queiroz, Angelo C. Loula
Computational identification of phonological parallelisms. DHandNLP@PROPOR (2022)
Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis
Formalized meta-theory of sequent calculi for linear logics. Theor. Comput. Sci. 781 (2019)
Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis
Formalized Meta-Theory of Sequent Calculi for Substructural Logics. LSFA (2016)
Vivek Nigam, Giselle Reis, Leonardo Lima
Towards the Automated Generation of Focused Proof Systems. WoF'15 (2015)
Bárbara M. Giaccom Ribeiro, Laís Corteletti, Leonardo Lima, Clarice Maraschin
Spatial Analysis of School Network Applying Configurational Models. ICCSA (4) (2014)
Vivek Nigam, Giselle Reis, Leonardo Lima
Quati: An Automated Tool for Proving Permutation Lemmas. IJCAR (2014)
Vivek Nigam, Giselle Reis, Leonardo Lima
Checking Proof Transformations with ASP. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)