Fernando Jorge Inocêncio Ferreira
AuthID: R-000-4Z7
1
TÃTULO: Mixed finite element method for a beam equation with the p(x)-biharmonic operator Full Text
AUTORES: Almeida, Rui M. P.; Duque, Jose C. M.; Ferreira, Jorge; Panni, Willian S.;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & MATHEMATICS WITH APPLICATIONS, VOLUME: 139
AUTORES: Almeida, Rui M. P.; Duque, Jose C. M.; Ferreira, Jorge; Panni, Willian S.;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & MATHEMATICS WITH APPLICATIONS, VOLUME: 139
INDEXADO EM: Scopus WOS
2
TÃTULO: A herbrandised interpretation of semi-intuitionistic second-order arithmetic with function variables
AUTORES: Enes, J; Ferreira, F;
PUBLICAÇÃO: 2023, FONTE: Mathematics For Computation (M4c)
AUTORES: Enes, J; Ferreira, F;
PUBLICAÇÃO: 2023, FONTE: Mathematics For Computation (M4c)
3
TÃTULO: Axiomatic Thinking I
AUTORES: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLICAÇÃO: 2022, FONTE: Axiomatic Thinking I
AUTORES: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLICAÇÃO: 2022, FONTE: Axiomatic Thinking I
4
TÃTULO: Axiomatic Thinking II
AUTORES: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLICAÇÃO: 2022, FONTE: Axiomatic Thinking II
AUTORES: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLICAÇÃO: 2022, FONTE: Axiomatic Thinking II
5
TÃTULO: Existence and Asymptotic Behavior of Beam-Equation Solutions with Strong Damping and p(x)-Biharmonic Operator Full Text
AUTORES: Ferreira, Jorge; Panni, Willian S.; Messaoudi, Salim A.; Piskin, Erhan; Shahrouzi, Mohammad;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF MATHEMATICAL PHYSICS ANALYSIS GEOMETRY, VOLUME: 18, NÚMERO: 4
AUTORES: Ferreira, Jorge; Panni, Willian S.; Messaoudi, Salim A.; Piskin, Erhan; Shahrouzi, Mohammad;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF MATHEMATICAL PHYSICS ANALYSIS GEOMETRY, VOLUME: 18, NÚMERO: 4
INDEXADO EM: Scopus WOS
6
TÃTULO: A nonlinear viscoelastic plate equation with (->)(p)(x, t)-Laplace operator: Blow up of solutions with negative initial energy
AUTORES: Antontsev, S; Ferreira, J;
PUBLICAÇÃO: 2021, FONTE: NONLINEAR ANALYSIS-REAL WORLD APPLICATIONS, VOLUME: 59
AUTORES: Antontsev, S; Ferreira, J;
PUBLICAÇÃO: 2021, FONTE: NONLINEAR ANALYSIS-REAL WORLD APPLICATIONS, VOLUME: 59
INDEXADO EM: Scopus WOS
7
TÃTULO: EXISTENCE AND BLOW UP OF SOLUTIONS FOR A STRONGLY DAMPED PETROVSKY EQUATION WITH VARIABLE-EXPONENT NONLINEARITIES Full Text
AUTORES: Antontsev, S; Ferreira, J; Piskin, E;
PUBLICAÇÃO: 2021, FONTE: ELECTRONIC JOURNAL OF DIFFERENTIAL EQUATIONS
AUTORES: Antontsev, S; Ferreira, J; Piskin, E;
PUBLICAÇÃO: 2021, FONTE: ELECTRONIC JOURNAL OF DIFFERENTIAL EQUATIONS
INDEXADO EM: WOS
8
TÃTULO: The abstract type of the real numbers Full Text
AUTORES: Ferreira, F;
PUBLICAÇÃO: 2021, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 60, NÚMERO: 7-8
AUTORES: Ferreira, F;
PUBLICAÇÃO: 2021, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 60, NÚMERO: 7-8
9
TÃTULO: Existence and non-existence of solutions for Timoshenko-type equations with variable exponents
AUTORES: Antontsev, SN; Ferreira, J; Piskin, E; Cordeiro, SMS;
PUBLICAÇÃO: 2021, FONTE: NONLINEAR ANALYSIS-REAL WORLD APPLICATIONS, VOLUME: 61
AUTORES: Antontsev, SN; Ferreira, J; Piskin, E; Cordeiro, SMS;
PUBLICAÇÃO: 2021, FONTE: NONLINEAR ANALYSIS-REAL WORLD APPLICATIONS, VOLUME: 61
INDEXADO EM: Scopus WOS
10
TÃTULO: On False Heine/Borel Compactness Principles in Proof Mining
AUTORES: Ferreira, Fernando;
PUBLICAÇÃO: 2021, FONTE: 17th Conference on Computability in Europe (CiE) in CONNECTING WITH COMPUTABILITY, VOLUME: 12813
AUTORES: Ferreira, Fernando;
PUBLICAÇÃO: 2021, FONTE: 17th Conference on Computability in Europe (CiE) in CONNECTING WITH COMPUTABILITY, VOLUME: 12813