Luís Filipe Ribeiro Pinto
AuthID: R-000-9GF
1
TÃTULO: Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
AUTORES: Santo, Jose Espirito; Frade, Maria Joao ; Pinto, Luis;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 131
AUTORES: Santo, Jose Espirito; Frade, Maria Joao ; Pinto, Luis;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 131
2
TÃTULO: Plotkin's call-by-value λ-calculus as a modal calculus
AUTORES: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2022, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 127
AUTORES: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2022, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 127
3
TÃTULO: <p>Plotkin?s call-by-value ?-calculus as a modal calculus</p>
AUTORES: Santo, Jose Espirito; Pinto, Luis; Uustalu, Tarmo;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 127
AUTORES: Santo, Jose Espirito; Pinto, Luis; Uustalu, Tarmo;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 127
INDEXADO EM: 
WOS
WOS4
TÃTULO: A Mathematical Model for NIR Light Protocol Optimization in Controlled Transdermal Drug Delivery
AUTORES: Ferreira, J. A. ; Gomez, H. P.; Pinto, L.;
PUBLICAÇÃO: 2022, FONTE: APPLIED MATHEMATICAL MODELLING, VOLUME: 112
AUTORES: Ferreira, J. A. ; Gomez, H. P.; Pinto, L.;
PUBLICAÇÃO: 2022, FONTE: APPLIED MATHEMATICAL MODELLING, VOLUME: 112
INDEXADO EM: 
Scopus WOS
Scopus WOS5
TÃTULO: The Covid-19 Influence on the Desire to Stay at Home: A Big Data Architecture
AUTORES: Sousa, Regina ; Oliveira, Daniela; Carneiro, Ana; Pinto, Luis; Pereira, Ana; Peixoto, Ana; Peixoto, Hugo ; José Machado ;
PUBLICAÇÃO: 2022, FONTE: 23rd International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2022, VOLUME: 13756
AUTORES: Sousa, Regina ; Oliveira, Daniela; Carneiro, Ana; Pinto, Luis; Pereira, Ana; Peixoto, Ana; Peixoto, Hugo ; José Machado ;
PUBLICAÇÃO: 2022, FONTE: 23rd International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2022, VOLUME: 13756
6
TÃTULO: Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
AUTORES: Santo, JE; Matthes, R; Pinto, L;
PUBLICAÇÃO: 2021, FONTE: 26th International Conference on Types for Proofs and Programs, TYPES 2020 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 188
AUTORES: Santo, JE; Matthes, R; Pinto, L;
PUBLICAÇÃO: 2021, FONTE: 26th International Conference on Types for Proofs and Programs, TYPES 2020 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 188
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID7
TÃTULO: CAD systems for colorectal cancer from WSI are still not ready for clinical acceptance Full Text
AUTORES: Oliveira, SP ; Neto, PC ; Fraga, J; Montezuma, D; Monteiro, A; Monteiro, J; Ribeiro, L; Goncalves, S; Pinto, IM; Cardoso, JS ;
PUBLICAÇÃO: 2021, FONTE: SCIENTIFIC REPORTS, VOLUME: 11, NÚMERO: 1
AUTORES: Oliveira, SP ; Neto, PC ; Fraga, J; Montezuma, D; Monteiro, A; Monteiro, J; Ribeiro, L; Goncalves, S; Pinto, IM; Cardoso, JS ;
PUBLICAÇÃO: 2021, FONTE: SCIENTIFIC REPORTS, VOLUME: 11, NÚMERO: 1
9
TÃTULO: Bank strategic asset allocation under a unified risk measure Full Text
AUTORES: Judice, P; Pinto, L; Santos, JL;
PUBLICAÇÃO: 2021, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 185
AUTORES: Judice, P; Pinto, L; Santos, JL;
PUBLICAÇÃO: 2021, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 185
INDEXADO EM: WOS
WOS10
TÃTULO: Modal embeddings and calling paradigms
AUTORES: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2019, FONTE: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 131
AUTORES: Espírito Santo, J; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2019, FONTE: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 131
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID