Fernando Jorge InocĂȘncio Ferreira
AuthID: R-000-4Z7
11
TITLE: On the removal of weak compactness arguments in proof mining Full Text
AUTHORS: Fernando Ferreira; Laurentu Leustean; Pedro Pinto;
PUBLISHED: 2019, SOURCE: ADVANCES IN MATHEMATICS, VOLUME: 354
AUTHORS: Fernando Ferreira; Laurentu Leustean; Pedro Pinto;
PUBLISHED: 2019, SOURCE: ADVANCES IN MATHEMATICS, VOLUME: 354
INDEXED IN: Scopus WOS
12
TITLE: Finite element schemes for a class of nonlocal parabolic systems with moving boundaries
AUTHORS: Rui M P Almeida; Jose C M Duque; Jorge Ferreira; Rui J Robalo;
PUBLISHED: 2018, SOURCE: APPLIED NUMERICAL MATHEMATICS, VOLUME: 127
AUTHORS: Rui M P Almeida; Jose C M Duque; Jorge Ferreira; Rui J Robalo;
PUBLISHED: 2018, SOURCE: APPLIED NUMERICAL MATHEMATICS, VOLUME: 127
INDEXED IN: Scopus WOS
13
TITLE: PARABOLIC REACTION-DIFFUSION SYSTEMS WITH NONLOCAL COUPLED DIFFUSIVITY TERMS
AUTHORS: Jorge Ferreira; Hermenegildo Borges de Oliveira ;
PUBLISHED: 2017, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 37, ISSUE: 5
AUTHORS: Jorge Ferreira; Hermenegildo Borges de Oliveira ;
PUBLISHED: 2017, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 37, ISSUE: 5
14
TITLE: A herbrandized functional interpretation of classical first-order logic
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2017, SOURCE: Archive for Mathematical Logic
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2017, SOURCE: Archive for Mathematical Logic
INDEXED IN: Scopus
15
TITLE: The Euler-Galerkin finite element method for a nonlocal coupled system of reaction-diffusion type
AUTHORS: Jose C M Duque; Rui M P Almeida; Stanislav N Antontsev; Jorge Ferreira;
PUBLISHED: 2016, SOURCE: JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 296
AUTHORS: Jose C M Duque; Rui M P Almeida; Stanislav N Antontsev; Jorge Ferreira;
PUBLISHED: 2016, SOURCE: JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 296
16
TITLE: A reaction-diffusion model for the non-local coupled system: existence, uniqueness, long-time behaviour and localization properties of solutions
AUTHORS: Rui M P Almeida; Stanislav N Antontsev; Jose C M Duque; Jorge Ferreira;
PUBLISHED: 2016, SOURCE: IMA JOURNAL OF APPLIED MATHEMATICS, VOLUME: 81, ISSUE: 2
AUTHORS: Rui M P Almeida; Stanislav N Antontsev; Jose C M Duque; Jorge Ferreira;
PUBLISHED: 2016, SOURCE: IMA JOURNAL OF APPLIED MATHEMATICS, VOLUME: 81, ISSUE: 2
17
TITLE: An elementary proof of strong normalization for atomic F
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2016, SOURCE: Bulletin of the Section of Logic, VOLUME: 45, ISSUE: 1
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2016, SOURCE: Bulletin of the Section of Logic, VOLUME: 45, ISSUE: 1
INDEXED IN: Scopus
18
TITLE: The Finitistic Consistency of Heck's Predicative Fregean System
AUTHORS: Luis Cruz Filipe; Fernando Ferreira;
PUBLISHED: 2015, SOURCE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 56, ISSUE: 1
AUTHORS: Luis Cruz Filipe; Fernando Ferreira;
PUBLISHED: 2015, SOURCE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 56, ISSUE: 1
INDEXED IN: Scopus WOS
19
TITLE: Nonstandardness and the bounded functional interpretation Full Text
AUTHORS: Ferreira, F; Gaspar, J ;
PUBLISHED: 2015, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 166, ISSUE: 6
AUTHORS: Ferreira, F; Gaspar, J ;
PUBLISHED: 2015, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 166, ISSUE: 6
20
TITLE: Palaeoecological insights on Toarcian and lower Aalenian calcareous nannofossils from the Lusitanian Basin (Portugal) Full Text
AUTHORS: Jorge Ferreira; Emanuela Mattioli; Bernard Pittet; Mario Cachao; Jorge E Spangenberg;
PUBLISHED: 2015, SOURCE: PALAEOGEOGRAPHY PALAEOCLIMATOLOGY PALAEOECOLOGY, VOLUME: 436
AUTHORS: Jorge Ferreira; Emanuela Mattioli; Bernard Pittet; Mario Cachao; Jorge E Spangenberg;
PUBLISHED: 2015, SOURCE: PALAEOGEOGRAPHY PALAEOCLIMATOLOGY PALAEOECOLOGY, VOLUME: 436