Luís Filipe Ribeiro Pinto
AuthID: R-000-9GF
11
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
13
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
ORCID14
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
WOS15
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
16
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
ORCID17
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)
18
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
19
TÃTULO: GABA(A) receptor dephosphorylation followed by internalization is coupled to neuronal death in in vitro ischemia Full Text
AUTORES: Miranda Mele; Luis Ribeiro; Ana R Inacio; Tadeusz Wieloch; Carlos B Duarte;
PUBLICAÇÃO: 2014, FONTE: NEUROBIOLOGY OF DISEASE, VOLUME: 65
AUTORES: Miranda Mele; Luis Ribeiro; Ana R Inacio; Tadeusz Wieloch; Carlos B Duarte;
PUBLICAÇÃO: 2014, FONTE: NEUROBIOLOGY OF DISEASE, VOLUME: 65
20
TÃTULO: Monte Carlo Simulation of Diabetic Macular Edema Changes on Optical Coherence Tomography Data
AUTORES: Antonio Correia; Luis Pinto; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Paulo Menezes; Miguel Morgado; Pedro Serranho ; Rui Bernardes ;
PUBLICAÇÃO: 2014, FONTE: IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) in 2014 IEEE-EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL AND HEALTH INFORMATICS (BHI)
AUTORES: Antonio Correia; Luis Pinto; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Paulo Menezes; Miguel Morgado; Pedro Serranho ; Rui Bernardes ;
PUBLICAÇÃO: 2014, FONTE: IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) in 2014 IEEE-EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL AND HEALTH INFORMATICS (BHI)
