Skip to main content

2022

Papers in international journals 

 

Authors Title Journal Pages

 

C. Florentino, A. Nozad, A. Zamora 

 

Generating series for the E-polynomials of GL(n,C)-character varieties

Mathematische Nachrichten

2022

 

C. Florentino, A. Nozad, J. Silva, A. Zamora 

 

On Hodge Polynomials of Singular Character Varieties

Trends in Mathematics

pp. 99–110, 2022

 

C. Florentino

 

Plethystic Exponential Calculus and Characteristic Polynomials of Permutations Discrete Mathematics Letters vol. 8, pp. 22-29, 2022

 

J. Buescu, M. Casquilho 

 

Standard deviation estimation from sums of unequal size samples Monte Carlo Methods Applications 28, 3, pp. 235-253, 2022
Stajcic, I., Stajcic, A., Serpa, C., Vasiljevic-Radovic, D., Randjelovic, B., Radojevic, V., Fecht, H. 

 

Microstructure of Epoxy-Based Composites: Fractal Nature Analysis

 

Fractal and Fractional 6 (12), 741, 2022 

 

C. Serpa

 

Affine Fractal Least Squares Regression Model Fractals 30 (07), 2250138, 2022

 

Kavitha, C., Priyanka, T. M., C., C. Serpa, Gowrisankar, A.

 

Fractional Calculus for Multivariate Vector-Valued Function and Fractal Function Applied Fractional Calculus in Identification and Control. Studies in Infrastructure and Control pp. 1-23, 2022
M. Clarence Protin, G. Ferreira Typability and Type Inference in Atomic Polymorphism

 

Logical Methods in Computer Science

 

vol. 18, issue 3, pp. 1-22, 2022 
Pablo Cubides Kovacsics, Edmundo, Mário J., Jinhe Ye,  Cohomology of algebraic varieties over non-archimedean fields

 

Forum of Mathematics, Sigma

 

Vol. 10: e94 pp. 1–72, 2022
G. Muratore, Csaba Schneider Effective computations of the Atiyah-Bott formula

 

Journal of Symbolic Computation

 

vol. 112, pp. 164-181, ISSN 0747-7171 2022
G. Muratore Enumeration of Rational Contact Curves via Torus Actions

 

Michigan Math. J. Advance Publication 

 

pp. 1 - 20, 2022 
P. Duarte, S. Klein, M. Poletti, Hölder continuity of the Lyapunov exponents of linear cocycles over hyperbolic maps

 

Mathematische Zeitschrift 

 

302, pp. 2285–2325, 2022 
A. Cai, P. Duarte, S. Klein Mixed Random-Quasiperiodic Cocycles

 

Bulletin of the Brazilian Mathematical Society

 

New Series vol. 53, pp. 1469–1497, 2022 

 

A. T. Baraviera, P. Duarte, M. J. Torres

 

Stationary Measures on Infinite Graphs Communications in Contemporary Mathematics  24, no. 7, paper nº. 2150025, 2022

 

B. Dinis 

 

Equality and near-equality in a nonstandard world Logic and Logical Philosophy T32, nº1, pp.1–14, 2022

 

Book Editor

 

F. Ferreira, R. Kahle, G. Sommaruga (eds). 

 

Axiomatic Thinking I Springer-Verlag 2022

 

F. Ferreira, R. Kahle, G. Sommaruga (eds).

 

Axiomatic Thinking II Springer-Verlag 2022

 

2021

Papers in international journals 

 

B. Dinis, É. Miquey

 

Realizability with Stateful Computations for Nonstandard Analysis

Leibniz International Proceedings in Informatics Schloss Dagstuhl (CSL 2021)

vol.183 pp. 19:1–19:23

 

B. Dinis, P. Oliva

 

A parametrised functional interpretation for Heyting arithmetic

Annals of Pure and Applied Logic

172:4 (2021)

 

B. Dinis, M. Edmundo, M. Mamino 

 

Fundamental group in an arbitrary o-minimal structure with definable Skolem functions

Annals of Pure and Applied Logic

172:8 (2021) 102975 

 

B. Dinis, B. Jacinto

 

A nonstandard view on vagueness

Proceedings of the 13th Panhellenic Logic Symposium

 

 

Gowrisankar, A., Golmankhaneh, A. K., Serpa, C. 

 

Fractal Calculus on Fractal Interpolation Functions

Fractal Fract. 

(5) 157 (2021) 1-15 

 

Buescu, J., Serpa, C. 

 

Compatibility Conditions for Systems of Iterative Functional Equations with Non-trivial Contact Sets

Results in Mathematics

76 (2) (2021) 1-19 

 

Mitic, V., Serpa, C., Ilic, I., Mohr, M., Fecht, H.-J. 

 

Fractal nature of advanced Ni-based superalloys solidied on board the international space station

Remote Sensing

13 (9) (2021) 1-22

 

Serpa, C. 

 

A note on fractal interpolation vs fractal regression

Academia Letters 

808, 1-5, 2021 

 

Serpa, C., Forouharfar, A. 

 

Fractalization of Chaos and Complexity: Proposition of a New Method in the Study of Complex Systems

Springer Proceedings in Complexity

87-105 (2021) 

 

Ferreira, F.

 

On false Heine/Borel compactness principles in proof mining

Lecture Notes in Computer Science 

12813, (2021) pp. 199-203 

 

Ferreira, F.

 

The abstract type of the real numbers

Archive for Mathematical Logic

60, 1005–1017 (2021) 

 

Espírito Santo, J., Ferreira, G

 

The Russell-Prawitz embedding and the atomization of universal instantiation

Logic Journal of the IGPL

29(5):823-858, (2021) 

 

A. T. Baraviera, P. Duarte, M. J. Torres 

 

Stationary Measures on Infinite Graphs

Communications in Contemporary Mathematics

2021

G. Del Magno, Gianluigi, J.L. Dias, P. Duarte, J.P. Gaivão 

 

Hyperbolic Polygonal Billiards Close to 1-Dimensional Piecewise Expanding Maps

 

Journal of Statistical Physics  182, no. 1, 11, (2021)
Monteiro Fernandes, T., Prelli, L.

 

Relative subanalytic sheaves II

 

Milan Journal of Mathematics 89, 387-411, (2021) 

 

Florentino, C., A. Nozad, A. Zamora

 

Serre polynomials of SLn- and PGLn-character varieties of free groups Jour. Geom. & Physics 161 (2021) 104008  

 

Florentino, C.,  J. Silva

 

Hodge-Deligne polynomials of abelian character varieties Open Mathematics 19 (2021) 

 

Buescu, J., Paixão, A. C. 

 

Positive-definiteness and integral representations for special functions Positivity 25, No. 2, pp. 731-750 (2021)

 

Book 

Ferreira, F.

Princípios de Teoria dos Conjuntos (Cadernos de Lógica e Computação)

College Publications ISBN – 9781848903470

 

 

2020

Papers in International Journals

 

Alishah, H. N.; Duarte, P.; Peixe, T.

 

Asymptotic Poincare maps along the edges of polytopes

Nonlinearity 33 (2020), no.1

469–510

 

Buescu, J.; Paixão, A. C.

 

The measure transition problem for meromorphic polar functions

Anal. Math. Phys. 10 (2020), no. 4, article no. 60

41 pp.

 

Carriço, N.; Ferreira, B.; Barreira, R.; Antunes, A.; Grueau, C.; Mendes, A.; Covas, D.; Monteiro, L.; Santos, J.; Brito, I. S.

 

Data integration for infrastructure asset management in small to medium-sized water utilities

Water Sci. Technol. 82 (12)

2737–2744

 

Dinis, B.; Pinto, P.

 

On the convergence of algorithms with Tikhonov regularization terms

Optimization Letters (2020)

 

 

Dinis, B.; Pinto, P.

 

Metastability of the proximal point algorithm with multi-parameters

Portugaliae Mathematica 77 (2020), no. 3/4

345-381

 

Duarte, P.; Klein, S.

 

Large deviations for products of random two dimensional matrices

Comm. Math. Phys. 375 (2020), no. 3

2191-2257

 

Duarte, P.; Torres, M. J.

 

Isospectral reduction in infinite graphs

J. Spectr. Theory 10 (2020), no. 3

955-989

 

Espírito Santo, J.; Ferreira, G.

 

A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism

Stud Logica 108 (2020)

477–507

 

Espírito Santo, J. Ferreira, G.

 

The Russell-Prawitz embedding and the atomization of universal instantiation

Logic Journal of the IGPL (2020)

 

 

Ferreira, F.

 

Weak König’s lemma in herbrandized classical second-order arithmetic

Portugaliae Mathematica 77 (2020), no. 3/4

399-408

 

Ferreira, F.

 

The FAN principle and weak König's lemma in herbrandized second-order arithmetic

Annals of Pure and Applied Logic 171 (2020), no. 9

 

Fiorot, L. Monteiro Fernandes, T. Sabbah, C.

 

Relative regular Riemann-Hilbert correspondence

Proceedings of the London Mathematical Society (2020)

published online

 

Florentino, C.; Zamora, N. A.

 

Serre polynomials of SLn-and PGLn-character varieties of free groups

Journal of Geometry and Physics 161 (2020)

 

 

Ramos, J.; Rasga, J.; Sernadas, C.

 

Essential structure of proofs as a measure of complexity

Logica Universalis 14 (2020)

209-242

 

 

2019

Papers in International Journals

 

Araújo, A. B., Serranho, P.

 

On the use of quasi-equidistant source points over the sphere surface for the method of fundamental solutions

Journal of Computational and Applied Mathematics 359 (2019)

55-68

 

Araújo, A. B., Olivero, L. F., Antinozzi, S.

 

HIMmaterial: Exploring new hybrid media for immersive drawing and collage

Proceedings of the 9th International Conference on Digital and Interactive Arts (2019)

1–4

 

Araújo, A. B.

 

Eq A Sketch 360, a Serious Toy for Drawing Equirectangular Spherical Perspectives

UID per Il Disegno (2019)

33–40

 

Araújo, A. B., Rossi, A., Olivero, L. F.

 

Boxing the Visual Sphere: Towards a systematic solution of the cubical perspective

Physica A: Statistical Mechanics and its Applications 256 (2019)

 

 

Baraviera, T., Duarte, P.

 

Approximating Lyapunov exponents and stationary measures

J. Math. Anal. Appl. 480 (2019), no. 2

25–48

 

Buescu, J., Serpa, C.

 

Fractal and Hausdorff dimensions for systems of iterative functional equations

Journal of Mathematics and the Arts 12 (2018)  
2-3

 

Casimiro, A., Rodrigo, C.

 

Discrete formulation for the dynamics of rods deforming in space

Journal of Mathematical Physics 60 (2019)

092901

 

Chacón, P. M., Fernández, A., García, P. L., Rodrigo, C.

 

The problem of Lagrange in discrete field theory

Journal of Geometry and Physics 146 (2019)

103511

 

Dinis, B.; van den Berg, I.; Van Nam, T.

 

On flexible sequences

Journal of Dynamics and Differential Equations (2018) 2-3

 

Duarte, P., Klein, S.

 

Continuity positivity and simplicity of the Lyapunov exponents for linear quasi-periodic cocycles

ournal of the European Mathematical Society (JEMS) 21 (2019), no. 7

2051-2106

 

Duarte, P., Klein, S.

 

Large deviations for products of random two dimensional matrices

Comm. Math. Phys 375 (2019)

2191-2257

 

Duarte, P., Santos, M., Klein, S.

 

A random cocycle with non Holder Lyapunov exponent

Discrete Contin. Dyn. Syst. 39 (2019), no. 8

 

Edmundo, M., Prelli, L.

 

The six Grothendieck operations on o-minimal sheaves

Mathematische Zeitschrift 294 (2019)

109-160

 

Faria, T., Oliveira, J. J.

 

Existence of positive periodic solutions for scalar delay differential equations with and without impulses

J. Dyn. Diff. Equ. 31 (2019)

1223-1245

 

Faria, T., Oliveira, J.J.

 

A note on global attractivity of the periodic solution for a model of hematopoiesis

Appl. Math. Lett. 94 (2019)

1-7

 

Ferreira, F.; Leuştean, L.; Pinto, P.

 

On the removal of weak compactness arguments in proof mining

Advances in Mathematics 354 (2019)

55 pp.

 

Florentino, C. A. A., B. Gothen, P., Nozad, A.

 

Homotopy Type of Moduli Spaces of G-Higgs Bundles and Reducibility of the Nilpotent Cone

Bull. Sci. Math 150 (2019)

84-101

 

Muroya, Y., Faria, T.

 

Attractivity of saturated equilibria for Lotka-Volterra systems with infinite delays and feedback controls

Disc. Cont. Dyn. Systems Series B 24 (2019), no. 7

3089-3114

 

Najafi Alishah, H., Duarte, P., Peixe, T.

 

Asymptotic Poincaré Maps along the edges of Polytopes

Nonlinearity 33 (2019), no. 1

469-510

 

Oliveira, C. P., Buescu, J.

 

Universal kernels which are continuous on the diagonal

Positivity 23 (2019), no. 3

637-650

 

Sernadas, A., Rasga, J., Sernadas, C., Alcácer, L., Henriques, A. B.

 

Probabilistic logic of quantum observations

Logic Journal of the IGPL 27 (2019), no. 3

328-379

 

Vasconcelos, V. T., Ferreira, G.

 

The computational content of atomic polymorphism

Logic Journal of the IGPL 27(2019), no. 5

625-638

 

     

Book

Dinis, B.; van den Berg, I.

 

Neutrices and External Numbers: A Flexible Number System

Chapman and Hall/CRC (2019), 342 pages

 

Gomes, D., Sernadas, A., Sernadas, C., Rasga, J., Mateus, P.

 

 

A Mathematical Primer on Linear Optimization

College Publications (2019)

2018

Papers in International Journals

 

Araújo, A.

 

Drawing Equirectangular VR Panoramas with Ruler, Compass, and Protractor Journal Of Science And Technology Of The Arts 10 (2018), no. 1 15-27

 

Araújo, A.

 

Ruler, compass, and nail: constructing a total spherical perspective
Journal of Mathematics and the Arts 12 (2018)  
2-3

 

Baraviera, A.; Duarte, P.

 

Approximating Lyapunov Exponents and Stationary Measures Journal of Dynamics and Differential Equations (2018) 2-3

 

Buescu, Jorge, Paixão, António, Oliveira, Claudemir

 

Propagation of regularity and positive definiteness: a constructive approach Z. Anal. Anwend. 37 (2018), no. 1 1–24

 

Casal, F., and Rasga, J.

 

Many-sorted equivalence of shiny and strongly polite theories Journal of Automated Reasoning 60 (2018), no. 2 221-236

 

Casal, F., Rasga, J., and Souto, A.

 

Kolmogorov one-way functions revisited Cryptography 2 (2018), no. 2

 

Casimiro, A. C.; Rodrigo, C.

 

Reduction of Forward Difference Operators in Principal G-bundles  
Stat. Optim. Inf. Comput. 6 (2018)  
42-85

 

Casimiro, A. C.; Rodrigo, C.

 

Variational integrators for reduced field equations
Stat., Optim. Inf. Comput. 6 (2018)  
86-115

 

Casimiro, A., Ferreira, S., Florentino, C.

 

Principal Schottky Bundles over Riemann surfaces Geometriae Dedicata 1-31

 

Dinis, B., and Gaspar, J.

 

Intuitionistic nonstandard bounded modified realisability and functional interpretation Ann. Pure Appl. Logic 169 (2018), no. 5 392–412

 

Dinis, B., and van den Berg, I.

 

Characterization of distributivity in a solid Indag. Math. (N.S.) 29 (2018), no. 2 580–600

 

Duarte, P.; Klein, S.

 

Topological obstructions to dominated splitting for ergodic translations on the higher dimensional torus  
Discrete and Continuous Dynamical Systems - A (2018)  
 

 

Ferreira, F.

 

On some semi-constructive theories related to Kripke-Platek set theory Feferman on Foundations, edited by G. Jäger and W. Sieg. Springer  2018 347-384

 

Ferreira, G.

 

Atomic polymorphism and the existence property  
Annals of Pure and Applied Logic 169 (2018), no. 12 1303-1316

 

Ferreira, G.; Vasconcelos, V. T.

 

The computational content of atomic polymorphism Logic Journal of the IGPL (2018) 347-384

 

Fiorot, Luísa, Fernandes, Teresa Monteiro

 

t-Structures for relative D-modules and t-exactness of the Rham functor Journal of Algebra 509 (2018) 419-444

 

Sernadas, A.; Sernadas, C.; Rasga, J.; Ramos, J.

 

A Mathematical Primer on Computability College Publications (2018)  


Accepted papers 

 

Florentino, C., Gothen, P. B., Nozad, A.

 

Homotopy Type of Moduli Spaces of G-Higgs Bundles and Reducibility of the Nilpotent Cone Bulletin des Sciences Mathématiques  

 

     
2017

Papers in International Journals

 

Buescu, Jorge; Paixão, A. C.; Symeonides, A.

 

Complex positive definite functions on strips Complex Anal. Oper. Theory 11 (2017), no. 3 627–649

 

Del Magno, G., Lopes Dias, J., Duarte, P., Pedro Gaivão, J.

 

Hyperbolic polygonal billiards with finitely many ergodic srb measures Ergodic Theory and Dynamical Systems (2017 1–24

 

Dinis, Bruno; Ferreira, Fernando

 

Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic MLQ Math. Log. Q. 63 (2017), no. 1-2 109–129

 

Dinis, Bruno; van den Berg, Imme

 

Axiomatics for the external numbers of nonstandard analysis J. Log. Anal. 9 (2017), paper no. 7 47 pp.

 

Dinis, Bruno; van den Berg, Imme

 

On the quotient class of non-archimedean fields Indag. Math. (N.S.) 28 (2017), no. 4 784-795

 

Duarte, Pedro; Gaivão, José Pedro; Soufi, Mohammad

 

Hyperbolic billiards on polytopes with contracting reflection laws Discrete Contin. Dyn. Syst. 37 (2017), no. 6 3079–3109

 

Edmundo, Mário J.; Mamino, Marcello; Prelli, Luca; Ramakrishnan, Janak; Terzo, Giuseppina

 

On Pillay's conjecture in the general case Adv. Math. 310 (2017) 940–992

 

Fernandes, T. M.; Sabbah, Claude

 

Relative Riemann-Hilbert correspondence in dimension one Port. Math. 74 (2017), no. 2 149–159

 

Ferreira, F.; Ferreira, G.

 

A herbrandized functional interpretation of classical first-order logic Arch. Math. Logic 56 (2017), no. 5-6 523–539

 

Ferreira, G.

 

Eta-conversions of IPC implemented in atomic F Logic Journal of the IGPL 25 (2017), no. 2 115-130

 

Florentino, Carlos; Lawton, Sean; Ramras, Daniel

 

Homotopy groups of free group character varieties Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 17 (2017), no. 1 143–185

 

Frittaion, Emanuele

Brown's lemma in second-order arithmetic Fund. Math. 238 (2017), no. 3 269–283

 

Frittaion, Emanuele; Patey, Ludovic

 

Coloring the rationals in reverse mathematics. Computability 6 (2017), no. 4 319–331

 

Rasga, J.; Sernadas, C.; Mateus, P.; Sernadas, A.

 

Decision and optimization problems in the unreliable-circuit logic Log. J. IGPL 25 (2017), no. 3 283–308

 

Serpa, Cristina; Buescu, Jorge

 

Constructive solutions for systems of iterative functional equations Constr. Approx. 45 (2017), no. 2 273–299
       

 

Book Chapters

 

Frittaion, Emanuele; Steila, Silvia; Yokoyama, Keita

The strength of the SCT criterion Theory and applications of models of computation 260–273, Lecture Notes in Comput. Sci. 10185, Springer, Cham, 2017

 

Florentino, Carlos A. A.

 

The two forests game and the four colour theorem Proceedings of the Recreational Mathematics Colloquium V—Gathering for Gardner Europe 87–102, Assoc. Ludus, Lisbon, 2017

 

Quintino, Á. 

 

Transformations of generalized harmonic bundles and constrained Willmore surfaces Willmore Energy and Willmore Conjecture,Chapman & Hall/CRC Monographs and Research Notes in Mathematics  CRC Press, Taylor and Francis Group

 

2016

Papers in International Journals

 

Dinis, Bruno; Ferreira, Gilda

 

Instantiation overflow

 

Rep. Math. Logic No. 51 (2016) 15–33

 

Edmundo, Mário J.; Mamino, Marcello; Prelli, Luca

 

On definably proper maps

Fund. Math. 233 (2016), no. 1 1–36

 

Edmundo, Mário J.; Prelli, Luca

 

O-minimality and sheaf cohomologhy Bol. Soc. Port. Mat. Special issue (2016) 99–102

 

Edmundo, Mário J.; Prelli, Luca

 

Sheaves on T-topologies J. Math. Soc. Japan 68 (2016), no. 1 347–381

 

Fernandes, T. M.; Sabbah, Claude

 

Relative Riemann-Hilbert correspondence in dimension one Port. Math. 74 (2017), no. 2 149–159

 

Fernandes, T. M.; Sabbah, Claude

 

Riemann-Hilbert Correspondence for Mixed Twistor D-Modules J. Inst. Math. Jussieu (2017) 1-44

 

Ferreira, Fernando; Ferreira, Gilda

 

An elementary proof of strong normalization for atomic F Bull. Sect. Logic Univ. Łódź 45 (2016), no. 1 1–15

 

Rasga, João; Sernadas, Cristina; Sernadas, Amílcar

 

Preservation of admissible rules when combining logics Rev. Symb. Log. 9 (2016), no. 4 641–663
       

 

2015

Papers in International Journals

 

Alishah, Hassan Najafi; Duarte, Pedro

 

Hamiltonian evolutionary games Linear Algebra Appl. 474 (2015) 110–123

 

Buescu, Jorge; Canto de Loura, Luis; da Costa, Fernando P.; Teixeira, Anabela A.

 

José Sebastião e Silva (1914–1972) Eur. Math. Soc. Newsl. No. 95 (2015) 40–43

 

Burstall, F.; Hertrich-Jeromin, U.; Rossman, W.; Santos, S.

 

Discrete special isothermic surfaces. Geom Dedicata 174 (2015) 1–11

 

Carbone, Alessandra; Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira

 

Computability in Europe 2010 [Preface]. Papers from the meeting CiE 2010: Programs, Proofs, Processes, held at Universidade dos Açores, Ponta Delgada, June 30–July 4, 2010 J. Logic Comput. 25 (2015), no. 4 983–985

 

Cruz-Filipe, Luís; Ferreira, Fernando

 

The finitistic consistency of Heck's predicative Fregean system Notre Dame J. Form. Log. 56 (2015), no. 1 61–79

 

Duarte, Pedro; Torres, Maria Joana

 

Eigenvectors of isospectral graph transformations Linear Algebra Appl. 474 (2015) 110–123

 

Duarte, Pedro; Torres, Maria Joana

 

r-regularity J. Math. Imaging Vision 51 (2015), no. 3, 451–464

 

Edmundo, Mário J.; Prelli, Luca

 

Invariance of o-minimal cohomology with definably compact supports Confluentes Math. 7 (2015), no. 1 35–53

 

Ferreira, Fernando; Ferreira, Gilda

 

The faithfulness of Fat: a proof-theoretic proof Studia Logica 103 (2015), no. 6 1303–1311

 

Ferreira, Fernando; Gaspar, Jaime

 

Nonstandardness and the bounded functional interpretation Ann. Pure Appl. Logic 166 (2015), no. 6 701–712

 

Oliveira, C. P.; Buescu, Jorge

 

Mixed integral identities involving unit spheres and balls in complex context Internat. J. Math. 26 (2015), no. 14 11 pp.

 

Qiu, Daowen; Li, Lvzhou; Mateus, Paulo; Sernadas, Amilcar

 

Exponentially more concise quantum recognition of non-RMM regular languages J. Comput. System Sci. 81 (2015), no. 2 359–375

 

Sernadas, A.; Rasga, J.; Sernadas, C.; Mateus, P.

 

Reasoning about logic circuits with independent input errors South American Journal of Logic 1 (2015), no. 1 135-162

 

Serpa, Cristina; Buescu, Jorge

Explicitly defined fractal interpolation functions with variable parameters Chaos Solitons Fractals 75 (2015) 76–83

 

Serpa, Cristina; Buescu, Jorge

 

Non-uniqueness and exotic solutions of conjugacy equations J. Difference Equ. Appl. 21 (2015), no. 12 1147–1162

 

 

Book Chapters

 

Duarte, Pedro; Torres, Maria Joana

 

Stability of non-deterministic systems From particle systems to partial differential equations 193–207, Springer Proc. Math. Stat. 129, Springer, Cham, 2015

 

Ferreira, Fernando

 

Spector's proof of the consistency of analysis Gentzen's centenary 279–300, Springer, Cham, 2015

 

Rasga, João; Sernadas, Cristina; Sernadas, Amílcar 

 

A roadmap to decidability The road to universal logic 423–445, Stud. Univers. Log., Birkhäuser/Springer, Cham, 2015

 

Serpa, Cristina; Buescu, Jorge

 

Piecewise expanding maps and conjugacy equations Nonlinear maps and their applications 193–202, Springer Proc. Math. Stat. 112, Springer, Cham, 2015
       

 

2014

Papers in International Journals

 

Behrends, Ehrhard; Buescu, Jorge

 

Did Buffon really throw needles? (Portuguese) Bol. Soc. Port. Mat. 71 (2014) 123–132

 

Buescu, Jorge; Paixão, A. C.

 

Complex variable positive definite functions Complex Anal. Oper. Theory 8 (2014), no. 4 937–954

 

Burstall, F. E.; Santos, S. D.

 

Formal conserved quantities for isothermic surfaces Geom. Dedicata 172 (2014) 191–205

 

Burstall, Francis E.; Hertrich-Jeromin, Udo; Rossman, Wayne; Santos, Susana D.

 

Discrete surfaces of constant mean curvature RIMS Kyokuroku Bessatsu 1880 (2014) 133-179

 

Burstall, Francis E.; Quintino, Áurea C.

 

Dressing transformations of constrained Willmore surfaces Communications in Analysis and Geometry 22 (2014) 469–518

 

Del Magno, Gianluigi; Lopes Dias, João; Duarte, Pedro; Gaivão, José Pedro

 

Ergodicity of polygonal slap maps Nonlinearity 27 (2014), no. 8 1969–1983

 

Del Magno, Gianluigi; Lopes Dias, João; Duarte, Pedro; Gaivão, José Pedro; Pinheiro, Diogo

 

SRB measures for polygonal billiards with contracting reflection laws Comm. Math. Phys. 329 (2014), no. 2 687–723

 

Duarte, Pedro; Klein, Silvius

 

Continuity of the Lyapunov exponents for quasiperiodic cocycles Comm. Math. Phys. 332 (2014), no. 3 1113–1166

 

Duarte, Pedro; Klein, Silvius

 

Positive Lyapunov exponents for higher dimensional quasiperiodic cocycles Comm. Math. Phys. 332 (2014), no. 1 189–219

 

Duarte, Pedro; Torres, Maria Joana

 

Smoothness of boundaries of regular sets J. Math. Imaging Vision 48 (2014), no. 1 106–113

 

Edmundo, Mário J.; Eleftheriou, Pantelis E.; Prelli, Luca

 

Coverings by open cells Arch. Math. Logic 53 (2014), no. 3-4 307–325

 

Edmundo, Mário J.; Prelli, Luca

 

The six Grothendieck operations on o-minimal sheaves C. R. Math. Acad. Sci. Paris 352 (2014), no. 6 455–458

 

Ferreira, Fernando

 

A new computation of the Σ-ordinal of KPω J. Symb. Log. 79 (2014), no. 1 306–324

 

Kaplan, Itay; Usvyatsov, Alexander

 

Strict independence J. Math. Log. 14 (2014), no. 2 28 pp

 

Martins, Ana Rita; Monteiro Fernandes, Teresa; Raimundo, David

 

Extension of functors for algebras of formal deformation Glasg. Math. J. 56 (2014), no. 1 103–141

 

Monteiro Fernandes, Teresa; Prelli, Luca

 

Relative subanalytic sheaves Fund. Math. 226 (2014), no. 1 79–100

 

Santos, Carlos; Silva, Jorge Nuno; Duarte, Pedro

 

A very mathematical card trick Recreat. Math. Mag. 2014, no. 2 41–51

 

     

 

Book Chapters

 

Serpa, Cristina; Buescu, Jorge

 

Piecewise expanding maps: combinatorics, dynamics and representation of rational numbers ECIT 2012, 19th European Conference on Iteration Theory 213–216, ESAIM Proc. Surveys 46, EDP Sci., Les Ulis, 2014

 

Serpa, Cristina; Buescu, Jorge

 

A dynamical approach to congruences: linking circle maps and aperiodic necklaces Nonlinear maps and their applications 149–154, Springer Proc. Math. Stat. 57, Springer, New York, 2014

 

2013

Papers in International Journals

Araújo, António; Neto, Orlando

 

Limits of tangents of quasi-ordinary hypersurfaces Proc. Amer. Math. Soc. 141 (2013), no. 1 1–11

 

Berarducci, Alessandro; Edmundo, Mário; Mamino, Marcello

 

Discrete subgroups of locally definable groups Selecta Math. (N.S.) 19 (2013), no. 3 719–736

 

Bianconi, Ricardo; Ferreira, Gilda; Silva, Emmanuel

 

Bounded theories for polyspace computability Port. Math. 70 (2013), no. 4 295–318

 

Burstall, F. E.; Dorfmeister, J. F.; Leschke, K.; Quintino, A. C.

 

Darboux transforms and simple factor dressing of constant mean curvature surfaces

Manuscripta Math. 140 (2013), no. 1-2  
213-236

 

Edmundo, Mário J.; Eleftheriou, Pantelis E.; Prelli, Luca

 

The universal covering map in o-minimal expansions of groups Topology Appl. 160 (2013), no. 13 1530–1556

 

Fernandes, Teresa Monteiro

 

Chatting with Miguel: my memories of Miguel Ramos (Portuguese) Bol. Soc. Port. Mat. (2013) no. 68 5–7

 

Fernandes, Teresa Monteiro

 

Microsupport of tempered solutions of D-modules associated to smooth morphisms Houston J. Math. 39 (2013), no. 3 797–821

 

Ferreira, Fernando; Ferreira, Gilda

 

Atomic polymorphism J. Symbolic Logic 78 (2013), no. 1 260–274

 

Ferreira, Fernando; Ferreira, Gilda

Interpretability in Robinson's {\ssf Q} Bull. Symbolic Logic 19 (2013), no. 3 289–317

 

García, Darío; Onshuus, Alf; Usvyatsov, Alexander

 

Generic stability, forking, and thorn-forking Trans. Amer. Math. Soc. 365 (2013), no. 1 1–22

 

Monteiro Fernandes, Teresa; Sabbah, Claude

 

On the de Rham complex of mixed twistor D-modules Int. Math. Res. Not. IMRN 2013, no. 21 4961–4984

 

Prelli, Luca

 

De Rham theorem for Schwartz functions on Nash manifolds Israel J. Math. 197 (2013), no. 1 131–137

 

Prelli, Luca

 

Microlocalization of subanalytic sheaves Mém. Soc. Math. Fr. (2013), no. 135  
       

 

Book Chapters

 

Fernandes, António M.; Ferreira, Fernando; Ferreira, Gilda

 

Techniques in weak analysis for conservation results New studies in weak arithmetics 115–147, CSLI Lecture Notes, 211, CSLI Publ., Stanford, CA, 2013

Simple Pagination