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