Luís Filipe Ribeiro Pinto
AuthID: R-000-9GF
11
TITLE: On the accurate simulation of nearshore and dam break problems involving dispersive breaking waves Full Text
AUTHORS: do Carmo, JSA; Ferreira, JA ; Pinto, L;
PUBLISHED: 2019, SOURCE: WAVE MOTION, VOLUME: 85
AUTHORS: do Carmo, JSA; Ferreira, JA ; Pinto, L;
PUBLISHED: 2019, SOURCE: WAVE MOTION, VOLUME: 85
12
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
ORCID13
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
15
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
ORCID16
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
WOS17
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
18
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
ORCID19
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)
20
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
