| 2022 |
|---|
Papers in international journals
|
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
|
Proceedings of the 13th Panhellenic Logic Symposium |
|
|
|
Gowrisankar, A., Golmankhaneh, A. K., Serpa, C.
|
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.
|
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.
|
Lecture Notes in Computer Science |
12813, (2021) pp. 199-203 |
|
|
Ferreira, F.
|
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
|
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.
|
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.
|
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.
|
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.
|
Logica Universalis 14 (2020) |
209-242 |
|
|
|
| 2019 |
|---|
Papers in International Journals
|
Araújo, A. B., Serranho, P.
|
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.
|
J. Math. Anal. Appl. 480 (2019), no. 2 |
25–48 |
|||
|
Buescu, J., Serpa, C.
|
Fractal and Hausdorff dimensions for systems of iterative functional equations |
|
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.
|
Journal of Geometry and Physics 146 (2019) |
103511 |
|||
|
Dinis, B.; van den Berg, I.; Van Nam, T.
|
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.
|
Discrete Contin. Dyn. Syst. 39 (2019), no. 8 |
||||
|
Edmundo, M., Prelli, L.
|
Mathematische Zeitschrift 294 (2019) |
109-160 |
|||
|
Faria, T., Oliveira, J. J.
|
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.
|
Disc. Cont. Dyn. Systems Series B 24 (2019), no. 7 |
3089-3114 |
|||
|
Najafi Alishah, H., Duarte, P., Peixe, T.
|
Nonlinearity 33 (2019), no. 1 |
469-510 |
|||
|
Oliveira, C. P., Buescu, J.
|
Positivity 23 (2019), no. 3 |
637-650 |
|||
|
Sernadas, A., Rasga, J., Sernadas, C., Alcácer, L., Henriques, A. B.
|
Logic Journal of the IGPL 27 (2019), no. 3 |
328-379 |
|||
|
Vasconcelos, V. T., Ferreira, G.
|
Logic Journal of the IGPL 27(2019), no. 5 |
625-638 |
|||
|
|
Book
|
Dinis, B.; van den Berg, I. |
Chapman and Hall/CRC (2019), 342 pages |
||
|
Gomes, D., Sernadas, A., Sernadas, C., Rasga, J., Mateus, P.
|
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 |
|
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.
|
|
|
42-85 | ||||
|
Casimiro, A. C.; Rodrigo, C.
|
Variational integrators for reduced field equations |
|
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.
|
|
|
|||||
|
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.
|
|
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 |
|
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 |