| Publication | Date of Publication | Type |
|---|
| Semantics, specification logic, and Hoare logic of exact real computation | 2024-06-27 | Paper |
| Degrees of Second and Higher-Order Polynomials | 2023-05-05 | Paper |
| Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations | 2023-03-24 | Paper |
| Computing Haar Measures | 2023-02-07 | Paper |
| Computer Science for Continuous Data | 2022-12-21 | Paper |
| Exact real computation of solution operators for linear analytic systems of partial differential equations | 2022-03-24 | Paper |
| Bit-complexity of solving systems of linear evolutionary partial differential equations | 2022-03-21 | Paper |
| Average-case polynomial-time computability of Hamiltonian dynamics | 2021-08-04 | Paper |
| Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines | 2021-06-10 | Paper |
| Real analytic machines and degrees | 2021-02-16 | Paper |
| Computability of the Solutions to Navier-Stokes Equations via Effective Approximation | 2020-07-20 | Paper |
| Quantitative Coding and Complexity Theory of Continuous Data | 2020-02-10 | Paper |
| Computational complexity of real powering and improved solving linear differential equations | 2019-10-22 | Paper |
| Definable relations in finite dimensional subspace lattices with involution. II. Quantifier-free and homogeneous descriptions | 2019-07-10 | Paper |
| Randomized Computation of Continuous Data: Is Brownian Motion Computable? | 2019-06-16 | Paper |
| Definable relations in finite-dimensional subspace lattices with involution | 2018-10-30 | Paper |
| Computational Complexity of Quantum Satisfiability | 2018-08-02 | Paper |
| Computing periods | 2018-06-15 | Paper |
| Complexity theory of (functions on) compact metric spaces | 2018-04-23 | Paper |
| On the computational complexity of the Dirichlet problem for Poisson's equation | 2017-11-22 | Paper |
| On the consistency problem for modular lattices and related structures | 2017-01-25 | Paper |
| Mathematical logic | 2016-11-17 | Paper |
| Towards Computational Complexity Theory on Advanced Function Spaces in Analysis | 2016-08-17 | Paper |
| On the Computational Complexity of Positive Linear Functionals on $$\mathcal{C}[0;1]$$ | 2016-05-25 | Paper |
| Average-case bit-complexity theory of real functions | 2016-05-25 | Paper |
| On computability of Navier-Stokes' equation | 2015-10-20 | Paper |
| Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy | 2015-08-24 | Paper |
| Relative computability and uniform continuity of relations | 2014-11-20 | Paper |
| From Calculus to Algorithms without Errors | 2014-09-08 | Paper |
| Real benefit of promises and advice | 2013-08-05 | Paper |
| Revising type-2 computation and degrees of discontinuity | 2013-05-10 | Paper |
| Kolmogorov Complexity Theory over the Reals | 2013-05-03 | Paper |
| Singular coverings and non-uniform notions of closed set computability | 2013-05-03 | Paper |
| Parameterized Uniform Complexity in Numerics: from Smooth to Analytic, from NP-hard to Polytime | 2012-11-21 | Paper |
| Real computation with least discrete advice: a complexity theory of nonuniform computability | 2012-09-28 | Paper |
| Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra | 2012-06-01 | Paper |
| Real analytic machines and degrees: a topological view on algebraic limiting computation | 2012-04-02 | Paper |
| Fast relative approximation of potential fields. | 2010-04-20 | Paper |
| Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics | 2009-11-13 | Paper |
| Real computational universality: the word problem for a class of groups with infinite presentation | 2009-10-19 | Paper |
| Algorithms and Computation | 2009-08-07 | Paper |
| On the coverings of the \(d\)-cube for \(d\leq 6\) | 2009-03-04 | Paper |
| On Faster Integer Calculations Using Non-arithmetic Primitives | 2008-12-02 | Paper |
| Singular coverings and non‐uniform notions of closed set computability | 2008-10-08 | Paper |
| Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation | 2008-09-17 | Paper |
| An explicit solution to Post's problem over the reals | 2008-03-26 | Paper |
| (Short) Survey of Real Hypercomputation | 2007-11-13 | Paper |
| Real hypercomputation and continuity | 2007-09-06 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Geometric spanners with applications in wireless networks | 2007-02-19 | Paper |
| Effectively open real functions | 2007-02-08 | Paper |
| Fundamentals of Computation Theory | 2006-10-20 | Paper |
| Fundamentals of Computation Theory | 2006-10-20 | Paper |
| Computable Closed Euclidean Subsets with and without Computable Points | 2006-10-13 | Paper |
| Nonlinear reformulation of Heisenberg's dynamics | 2006-09-28 | Paper |
| Computational power of infinite quantum parallelism | 2006-08-14 | Paper |
| Stability versus speed in a computable algebraic model | 2006-03-20 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Algorithms and Computation | 2005-12-22 | Paper |
| Algorithms – ESA 2004 | 2005-08-18 | Paper |
| Computable operators on regular sets | 2005-02-16 | Paper |
| Computability in linear algebra | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472015 | 2004-08-03 | Paper |
| Computability on Regular Subsets of Euclidean Space | 2003-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4331202 | 2002-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532000 | 2002-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753932 | 2001-11-11 | Paper |
| Semantics, Specification Logic, and Hoare Logic of Exact Real Computation | N/A | Paper |
