| Publication | Date of Publication | Type |
|---|
Doubly intermittent maps with critical points, unbounded derivatives and regularly varying tail Discrete and Continuous Dynamical Systems | 2024-09-05 | Paper |
| Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT | 2024-04-26 | Paper |
Regularity properties of \(k\)-Brjuno and Wilton functions Aequationes Mathematicae | 2024-03-01 | Paper |
Correction to: ``Regularity properties of \(k\)-Brjuno and Wilton functions Aequationes Mathematicae | 2024-03-01 | Paper |
Prime numbers in typical continued fraction expansions Bollettino dell'Unione Matematica Italiana | 2023-06-28 | Paper |
| Almost sure limit theorems with applications to non-regular continued fraction algorithms | 2023-04-03 | Paper |
| Limit Theorems for a class of unbounded observables with an application to "Sampling the Lindel\"of hypothesis" | 2023-02-27 | Paper |
| Doubly Intermittent Maps with Critical Points, Unbounded Derivatives and Regularly Varying Tail | 2022-11-28 | Paper |
Almost sure asymptotic behaviour of Birkhoff sums for infinite measure-preserving dynamical systems Discrete and Continuous Dynamical Systems | 2022-09-28 | Paper |
A convergence criterion for the unstable manifolds of the MacKay approximate renormalisation Physica D | 2022-05-20 | Paper |
| Scaling properties of the Thue-Morse measure: a summary | 2021-12-10 | Paper |
| Incremental search for conflict and unit instances of quantified formulas with E-matching | 2021-10-18 | Paper |
A central limit theorem for the Birkhoff sum of the Riemann zeta-function over a Boolean type transformation Dynamical Systems | 2021-05-19 | Paper |
Corrigendum to: ``Strong laws of large numbers for intermediately trimmed Birkhoff sums of observables with infinite mean Stochastic Processes and their Applications | 2021-02-18 | Paper |
Mean convergence for intermediately trimmed Birkhoff sums of observables with regularly varying tails Nonlinearity | 2020-11-26 | Paper |
Limit theorems for counting large continued fraction digits Lithuanian Mathematical Journal | 2020-07-14 | Paper |
Intermediately trimmed strong laws for Birkhoff sums on subshifts of finite type Dynamical Systems | 2020-07-14 | Paper |
Selfless interpolation for infinite-state model checking Lecture Notes in Computer Science | 2020-07-07 | Paper |
| Solving and interpolating constant arrays based on weak equivalences | 2020-01-23 | Paper |
Small time convergence of subordinators with regularly or slowly varying canonical measure Stochastic Processes and their Applications | 2019-09-19 | Paper |
Strong laws of large numbers for intermediately trimmed Birkhoff sums of observables with infinite mean Stochastic Processes and their Applications | 2019-09-19 | Paper |
Scaling properties of the Thue-Morse measure Discrete and Continuous Dynamical Systems | 2019-06-20 | Paper |
Strong laws of large numbers for intermediately trimmed sums of i.i.d. random variables with infinite mean Journal of Theoretical Probability | 2019-05-07 | Paper |
Efficient interpolation for the theory of arrays (available as arXiv preprint) | 2018-10-18 | Paper |
| Trimmed sums for observables on the doubling map | 2018-10-07 | Paper |