Luís Filipe Ribeiro Pinto
AuthID: R-000-9GF
11
TÃTULO: On the accurate simulation of nearshore and dam break problems involving dispersive breaking waves Full Text
AUTORES: do Carmo, JSA; Ferreira, JA ; Pinto, L;
PUBLICAÇÃO: 2019, FONTE: WAVE MOTION, VOLUME: 85
AUTORES: do Carmo, JSA; Ferreira, JA ; Pinto, L;
PUBLICAÇÃO: 2019, FONTE: WAVE MOTION, VOLUME: 85
12
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
ORCID13
TÃTULO: Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
AUTORES: Santo, JE; Matthes, R; Pinto, L;
PUBLICAÇÃO: 2019, FONTE: Conference on Structural Proof Theory, Automated Reasoning and Computation in Celebration of Dale Miller's 60th Birthday in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 8
AUTORES: Santo, JE; Matthes, R; Pinto, L;
PUBLICAÇÃO: 2019, FONTE: Conference on Structural Proof Theory, Automated Reasoning and Computation in Celebration of Dale Miller's 60th Birthday in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 8
15
TÃTULO: Preface
AUTORES: Peter Dybjer; José Espírito Santo; Luís Pinto;
PUBLICAÇÃO: 2019, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 130
AUTORES: Peter Dybjer; José Espírito Santo; Luís Pinto;
PUBLICAÇÃO: 2019, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 130
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID16
TÃTULO: Approximating coupled hyperbolic-parabolic systems arising in enhanced drug delivery Full Text
AUTORES: Ferreira, JA ; Jordao, D; Pinto, L;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & MATHEMATICS WITH APPLICATIONS, VOLUME: 76, NÚMERO: 1
AUTORES: Ferreira, JA ; Jordao, D; Pinto, L;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & MATHEMATICS WITH APPLICATIONS, VOLUME: 76, NÚMERO: 1
INDEXADO EM: 
WOS
WOS17
TÃTULO: A proof-theoretic study of bi-intuitionistic propositional sequent calculus
AUTORES: Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 28, NÚMERO: 1
AUTORES: Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 28, NÚMERO: 1
18
TÃTULO: Inhabitation in simply-typed lambda-calculus through a lambda-calculus for proof search
AUTORES: Santo, JE; Matthes, R; Pinto, L;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
AUTORES: Santo, JE; Matthes, R; Pinto, L;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID19
TÃTULO: Maxwell's Equations based 3D model of Light Scattering in the Retina
AUTORES: Santos, Miriam Seoane ; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Antonio Correia; Maria Isabel Marques; Miguel Morgado; Luis Pinto; Pedro Serranho ; Rui Bernardes ;
PUBLICAÇÃO: 2015, FONTE: IEEE 4th Portuguese meeting on bioengineering (enbeg) in 2015 IEEE 4TH PORTUGUESE MEETING ON BIOENGINEERING (ENBENG)
AUTORES: Santos, Miriam Seoane ; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Antonio Correia; Maria Isabel Marques; Miguel Morgado; Luis Pinto; Pedro Serranho ; Rui Bernardes ;
PUBLICAÇÃO: 2015, FONTE: IEEE 4th Portuguese meeting on bioengineering (enbeg) in 2015 IEEE 4TH PORTUGUESE MEETING ON BIOENGINEERING (ENBENG)
20
TÃTULO: Simulation of Cellular Changes on Optical Coherence Tomography of Human Retina
AUTORES: Santos, Miriam Seoane ; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Antonio Correia; Maria Isabel Marques; Luis Pinto; Pedro Serranho ; Rui Bernardes ; Miguel Morgado;
PUBLICAÇÃO: 2015, FONTE: 37th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2015 37TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2015-November
AUTORES: Santos, Miriam Seoane ; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Antonio Correia; Maria Isabel Marques; Luis Pinto; Pedro Serranho ; Rui Bernardes ; Miguel Morgado;
PUBLICAÇÃO: 2015, FONTE: 37th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2015 37TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2015-November
