| Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving A Kawamura, F Steinberg, H Thies International Workshop on Logic, Language, Information, and Computation, 223-236, 2018 | 24 | 2018 |
| Average-case polynomial-time computability of Hamiltonian dynamics A Kawamura, H Thies, M Ziegler 43rd International Symposium on Mathematical Foundations of Computer Science …, 2018 | 14 | 2018 |
| Computable analysis and notions of continuity in Coq F Steinberg, L Thery, H Thies Logical Methods in Computer Science 17, 2021 | 13 | 2021 |
| Axiomatic reals and certified efficient exact real computation M Konečnę, S Park, H Thies Logic, Language, Information, and Computation: 27th International Workshop …, 2021 | 12 | 2021 |
| Extracting efficient exact real number computation from proofs in constructive type theory M Konečnę, S Park, H Thies Journal of Logic and Computation, exae066, 2024 | 9 | 2024 |
| Exact real computation of solution operators for linear analytic systems of partial differential equations S Selivanova, F Steinberg, H Thies, M Ziegler Computer Algebra in Scientific Computing: 23rd International Workshop, CASC …, 2021 | 9 | 2021 |
| Certified computation of nondeterministic limits M Konečnę, S Park, H Thies NASA Formal Methods Symposium, 771-789, 2022 | 8 | 2022 |
| Quantitative continuity and computable analysis in Coq F Steinberg, L Théry, H Thies | 8 | 2019 |
| Computable analysis for verified exact real computation M Konečnę, F Steinberg, H Thies Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2020 | 6 | 2020 |
| Second-order linear-time computability with applications to computable analysis A Kawamura, F Steinberg, H Thies Theory and Applications of Models of Computation: 15th Annual Conference …, 2019 | 5 | 2019 |
| Uniform computational complexity of ordinary differential equations with applications to dynamical systems and exact real arithmetic H Thies Graduate School of Arts and Sciences, University of Tokyo, Tokyo, Japan, 2018 | 4 | 2018 |
| Formalizing Hyperspaces for Extracting Efficient Exact Real Computation M Konečnę, S Park, H Thies 48th International Symposium on Mathematical Foundations of Computer Science …, 2023 | 3 | 2023 |
| A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations S Park, H Thies 15th International Conference on Interactive Theorem Proving (ITP 2024), 30 …, 2024 | 2 | 2024 |
| From Coq proofs to certified exact real computation in AERN M Konecnę, S Park, H Thies Proc. 18th Internat. Conf. on Computability and Complexity in Analysis (CCA), 2021 | 1 | 2021 |
| Continuous and monotone machines M Konečnę, F Steinberg, H Thies arXiv preprint arXiv:2005.01624, 2020 | 1 | 2020 |
| Some formal proofs of isomorphy and discontinuity F Steinberg, H Thies MLA 2019-Third Workshop on Mathematical Logic and its Applications, 2019 | 1 | 2019 |
| Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers M Konečnę, S Park, H Thies arXiv preprint arXiv:2410.13508, 2024 | | 2024 |
| cAERN library M Konečnę, S Park, H Thies Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024 | | 2024 |
| Advances in verified set and function calculi in Coq H Thies Continuity, 2023 | | 2023 |
| Towards a verified and computable theory of compositional dynamic systems P Collins, B Laarakker, S Park, S Sindorf, H Thies Dubrovnik, 2023 | | 2023 |
