| Publication | Date of Publication | Type |
|---|
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
(available as arXiv preprint) | N/A | Paper |
The equational theory of the Weihrauch lattice with multiplication
(available as arXiv preprint) | N/A | Paper |
| Termination of real linear loops | 2027-01-01 | Paper |
| Deciding robust instances of an escape problem for dynamical systems in Euclidean space | 2026-08-05 | Paper |
| Decision problems for second-order holonomic recurrences | 2026-05-12 | Paper |
| Computably discrete represented spaces | 2025-11-19 | Paper |
| Represented spaces of represented spaces | 2025-11-19 | Paper |
| On the complexity of robust eventual inequality testing for C-finite functions | 2024-10-23 | Paper |
| Bounding the escape time of a linear dynamical system over a compact semialgebraic set | 2024-08-06 | Paper |
Semantics, specification logic, and Hoare logic of exact real computation
Logical Methods in Computer Science | 2024-06-27 | Paper |
scientific article; zbMATH DE number 7724206 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-08 | Paper |
| On envelopes and backward approximations | 2022-12-07 | Paper |
Uniform envelopes
(available as arXiv preprint) | 2022-08-30 | Paper |
| Uniform envelopes | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7559471 (Why is no real title available?) | 2022-07-18 | Paper |
On the computability of the set of automorphisms of the unit square
Theoretical Computer Science | 2022-02-01 | Paper |
Decision problems for linear recurrences involving arbitrary real numbers
(available as arXiv preprint) | 2021-10-08 | Paper |
| Decision problems for linear recurrences involving arbitrary real numbers | 2021-10-08 | Paper |
Representations and evaluation strategies for feasibly approximable functions
Computability | 2021-06-25 | Paper |
Uniform Envelopes
(available as arXiv preprint) | 2021-03-30 | Paper |
Parametrised second-order complexity theory with applications to the study of interval computation
Theoretical Computer Science | 2020-01-16 | Paper |
Parametrised second-order complexity theory with applications to the study of interval computation
Theoretical Computer Science | 2020-01-16 | Paper |
scientific article; zbMATH DE number 6917933 (Why is no real title available?)
(available as arXiv preprint) | 2018-08-15 | Paper |
A topological view on algebraic computation models
Journal of Complexity | 2017-11-21 | Paper |
A topological view on algebraic computation models
Journal of Complexity | 2017-11-21 | Paper |
Computational problems in metric fixed point theory and their Weihrauch degrees
Logical Methods in Computer Science | 2016-01-07 | Paper |
