Luís Filipe Ribeiro Pinto
AuthID: R-000-9GF
11
TITLE: Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2019, SOURCE: 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, ISSUE: 8
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2019, SOURCE: 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, ISSUE: 8
13
TITLE: Preface
AUTHORS: Peter Dybjer; José Espírito Santo; Luís Pinto;
PUBLISHED: 2019, SOURCE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 130
AUTHORS: Peter Dybjer; José Espírito Santo; Luís Pinto;
PUBLISHED: 2019, SOURCE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 130
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID14
TITLE: Approximating coupled hyperbolic-parabolic systems arising in enhanced drug delivery Full Text
AUTHORS: Ferreira, JA ; Jordao, D; Pinto, L;
PUBLISHED: 2018, SOURCE: COMPUTERS & MATHEMATICS WITH APPLICATIONS, VOLUME: 76, ISSUE: 1
AUTHORS: Ferreira, JA ; Jordao, D; Pinto, L;
PUBLISHED: 2018, SOURCE: COMPUTERS & MATHEMATICS WITH APPLICATIONS, VOLUME: 76, ISSUE: 1
INDEXED IN: 
WOS
WOS15
TITLE: A proof-theoretic study of bi-intuitionistic propositional sequent calculus
AUTHORS: Pinto, L; Uustalu, T;
PUBLISHED: 2018, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 28, ISSUE: 1
AUTHORS: Pinto, L; Uustalu, T;
PUBLISHED: 2018, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 28, ISSUE: 1
16
TITLE: Inhabitation in simply-typed lambda-calculus through a lambda-calculus for proof search
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2017, SOURCE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2017, SOURCE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID17
TITLE: Maxwell's Equations based 3D model of Light Scattering in the Retina
AUTHORS: Santos, Miriam Seoane ; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Antonio Correia; Maria Isabel Marques; Miguel Morgado; Luis Pinto; Pedro Serranho ; Rui Bernardes ;
PUBLISHED: 2015, SOURCE: IEEE 4th Portuguese meeting on bioengineering (enbeg) in 2015 IEEE 4TH PORTUGUESE MEETING ON BIOENGINEERING (ENBENG)
AUTHORS: Santos, Miriam Seoane ; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Antonio Correia; Maria Isabel Marques; Miguel Morgado; Luis Pinto; Pedro Serranho ; Rui Bernardes ;
PUBLISHED: 2015, SOURCE: IEEE 4th Portuguese meeting on bioengineering (enbeg) in 2015 IEEE 4TH PORTUGUESE MEETING ON BIOENGINEERING (ENBENG)
18
TITLE: Simulation of Cellular Changes on Optical Coherence Tomography of Human Retina
AUTHORS: Santos, Miriam Seoane ; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Antonio Correia; Maria Isabel Marques; Luis Pinto; Pedro Serranho ; Rui Bernardes ; Miguel Morgado;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Santos, Miriam Seoane ; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Antonio Correia; Maria Isabel Marques; Luis Pinto; Pedro Serranho ; Rui Bernardes ; Miguel Morgado;
PUBLISHED: 2015, SOURCE: 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
TITLE: GABA(A) receptor dephosphorylation followed by internalization is coupled to neuronal death in in vitro ischemia Full Text
AUTHORS: Miranda Mele; Luis Ribeiro; Ana R Inacio; Tadeusz Wieloch; Carlos B Duarte;
PUBLISHED: 2014, SOURCE: NEUROBIOLOGY OF DISEASE, VOLUME: 65
AUTHORS: Miranda Mele; Luis Ribeiro; Ana R Inacio; Tadeusz Wieloch; Carlos B Duarte;
PUBLISHED: 2014, SOURCE: NEUROBIOLOGY OF DISEASE, VOLUME: 65
20
TITLE: Monte Carlo Simulation of Diabetic Macular Edema Changes on Optical Coherence Tomography Data
AUTHORS: Antonio Correia; Luis Pinto; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Paulo Menezes; Miguel Morgado; Pedro Serranho ; Rui Bernardes ;
PUBLISHED: 2014, SOURCE: IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) in 2014 IEEE-EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL AND HEALTH INFORMATICS (BHI)
AUTHORS: Antonio Correia; Luis Pinto; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Paulo Menezes; Miguel Morgado; Pedro Serranho ; Rui Bernardes ;
PUBLISHED: 2014, SOURCE: IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) in 2014 IEEE-EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL AND HEALTH INFORMATICS (BHI)
