Luís Filipe Ribeiro Pinto
AuthID: R-000-9GF
31
TITLE: H-1-second order convergent estimates for non-Fickian models Full Text
AUTHORS: Barbeiro, S ; Ferreira, JA ; Pinto, L;
PUBLISHED: 2011, SOURCE: APPLIED NUMERICAL MATHEMATICS, VOLUME: 61, ISSUE: 2
AUTHORS: Barbeiro, S ; Ferreira, JA ; Pinto, L;
PUBLISHED: 2011, SOURCE: APPLIED NUMERICAL MATHEMATICS, VOLUME: 61, ISSUE: 2
32
TITLE: Relating sequent calculi for Bi-intuitionistic propositional logic Full Text
AUTHORS: Pinto, L; Uustalu, T;
PUBLISHED: 2011, SOURCE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 47
AUTHORS: Pinto, L; Uustalu, T;
PUBLISHED: 2011, SOURCE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 47
34
TITLE: RMrun: peer-to-peer sharing of applications
AUTHORS: Luis Pinto; Tiago Santos; Filipe Araujo;
PUBLISHED: 2008, SOURCE: 2nd Iberian Grid Infrastructure Conference (IBERGRID) in IBERGRID: 2ND IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS
AUTHORS: Luis Pinto; Tiago Santos; Filipe Araujo;
PUBLISHED: 2008, SOURCE: 2nd Iberian Grid Infrastructure Conference (IBERGRID) in IBERGRID: 2ND IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS
INDEXED IN: 
WOS
WOS35
TITLE: Milipeia A new computer cluster at the Universidade de Coimbra
AUTHORS: Alberto, P ; Almeida, P; Fiolhais, M ; Oliveira, M; Pinto, L;
PUBLISHED: 2007, SOURCE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS
AUTHORS: Alberto, P ; Almeida, P; Fiolhais, M ; Oliveira, M; Pinto, L;
PUBLISHED: 2007, SOURCE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS
INDEXED IN: WOS
WOS36
TITLE: Type-based termination of recursive definitions
AUTHORS: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLISHED: 2004, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, ISSUE: 1
AUTHORS: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLISHED: 2004, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, ISSUE: 1
INDEXED IN: 
Scopus WOS
Scopus WOS IN MY: 
ORCID
ORCID37
TITLE: Type-based termination of recursive definitions
AUTHORS: BARTHE, G; FRADE, MJ ; GIMNEZ, E; PINTO, L; UUSTALU, T;
PUBLISHED: 1999, SOURCE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 14, ISSUE: 1
AUTHORS: BARTHE, G; FRADE, MJ ; GIMNEZ, E; PINTO, L; UUSTALU, T;
PUBLISHED: 1999, SOURCE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 14, ISSUE: 1
38
TITLE: Cut formulae and logic programming
AUTHORS: Luis Pinto;
PUBLISHED: 1994, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 798 LNAI
AUTHORS: Luis Pinto;
PUBLISHED: 1994, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 798 LNAI
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID