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