| 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 | 20 | 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 | 13 | 2018 |
| Computable analysis and notions of continuity in Coq F Steinberg, L Thery, H Thies Logical Methods in Computer Science 17, 2021 | 9 | 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 | 8 | 2021 |
| 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 | 7 | 2021 |
| Quantitative continuity and computable analysis in Coq F Steinberg, L Théry, H Thies | 7 | 2019 |
| Extracting efficient exact real number computation from proofs in constructive type theory M Konečný, S Park, H Thies arXiv preprint arXiv:2202.00891, 2022 | 6 | 2022 |
| Computable analysis for verified exact real computation M Konečný, F Steinberg, H Thies Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2020 | 5 | 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 |
| Certified computation of nondeterministic limits M Konečný, S Park, H Thies NASA Formal Methods Symposium, 771-789, 2022 | 3 | 2022 |
| 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 | 3 | 2018 |
| 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 for Extracting Efficient Exact Real Computation M Konečný, S Park, H Thies 48th International Symposium on Mathematical Foundations of Computer Science …, 2023 | | 2023 |
| Nondeterministic limits and certified exact real computation M Konecný, S Park, H Thies | | 2022 |
| Lunch break D Hayashi, D Lim, K Nakazawa, K Saotome, D Kimura, S Niki, M Konečný, ... | | 2021 |
| Formal proofs about metric spaces and continuity in coqrep F Steinberg, H Thies SCIENTIFIC PROGRAMME COMMITTEE, 1, 2019 | | 2019 |
| Average-Case Polynomial-Time Computability of Hamiltonian Dynamics H Thies, A Kawamura, MA Ziegler 43rd International Symposium on Mathematical Foundations of Computer Science, 2018 | | 2018 |
| Analytic Functions and Small Complexity Classes A Kawamura, F Steinberg, H Thies Time Table, 7, 2016 | | 2016 |
