| Publication | Date of Publication | Type |
|---|
| Computing measure as a primitive operation in real number computation | 2026-03-23 | Paper |
| Computable analysis for verified exact real computation | 2026-03-23 | Paper |
| Quantitative continuity and Computable Analysis in Coq | 2023-02-03 | Paper |
Continuous and monotone machines
(available as arXiv preprint) | 2022-07-18 | Paper |
| Exact real computation of solution operators for linear analytic systems of partial differential equations | 2022-03-24 | Paper |
Computable analysis and notions of continuity in \textsc{Coq}
(available as arXiv preprint) | 2021-05-25 | Paper |
| Computable analysis and notions of continuity in \textsc{Coq} | 2021-05-25 | Paper |
Type-two polynomial-time and restricted lookahead
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| Bounded time computation on metric spaces and Banach spaces | 2021-01-19 | Paper |
Bounded time computation on metric spaces and Banach spaces
(available as arXiv preprint) | 2021-01-19 | Paper |
Polynomial Running Times for Polynomial-Time Oracle Machines
(available as arXiv preprint) | 2020-05-26 | Paper |
Type-two polynomial-time and restricted lookahead
Theoretical Computer Science | 2020-04-21 | 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 |
| Second-order linear-time computability with applications to computable analysis | 2019-10-15 | Paper |
| Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving | 2018-10-18 | Paper |
Comparing representations for function spaces in computable analysis
Theory of Computing Systems | 2018-06-01 | Paper |
Complexity theory of (functions on) compact metric spaces
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
On the computational complexity of the Dirichlet problem for Poisson's equation
Mathematical Structures in Computer Science | 2017-11-22 | Paper |
Complexity theory for spaces of integrable functions
(available as arXiv preprint) | 2017-10-12 | Paper |
| Computational complexity theory for advanced function spaces in analysis | 2017-06-30 | Paper |
| Computational complexity theory for advanced function spaces in analysis | 2017-06-30 | Paper |
Towards Computational Complexity Theory on Advanced Function Spaces in Analysis
Pursuit of the Universal | 2016-08-17 | Paper |
Representations of analytic functions and Weihrauch degrees
Computer Science – Theory and Applications | 2016-07-25 | Paper |
Average-case bit-complexity theory of real functions
Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
