Average-Case Polynomial-Time Computability of Hamiltonian Dynamics. - Akitoshi Kawamura; Holger Thies; Martin Ziegler 001 (MFCS, 2018)

Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. - Akitoshi Kawamura; Florian Steinberg 001; Holger Thies (WoLLIC, 2018)

Quantitative Continuity and Computable Analysis in Coq. - Florian Steinberg 001; Laurent Théry; Holger Thies (ITP, 2019)

Second-Order Linear-Time Computability with Applications to Computable Analysis. - Akitoshi Kawamura; Florian Steinberg 001; Holger Thies (TAMC, 2019)

Computable Analysis for Verified Exact Real Computation. - Michal Konecný; Florian Steinberg 001; Holger Thies (FSTTCS, 2020)

Continuous and Monotone Machines. - Michal Konecný; Florian Steinberg 001; Holger Thies (MFCS, 2020)

Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations. - Svetlana Selivanova; Florian Steinberg 001; Holger Thies; Martin Ziegler 001 (CASC, 2021)

Axiomatic Reals and Certified Efficient Exact Real Computation. - Michal Konecný; Sewon Park 001; Holger Thies (WoLLIC, 2021)

Computable analysis and notions of continuity in Coq. - Florian Steinberg 001; Laurent Théry; Holger Thies (Log. Methods Comput. Sci., 2021)

Certified Computation of Nondeterministic Limits. - Michal Konecný; Sewon Park 001; Holger Thies (NFM, 2022)

Extracting efficient exact real number computation from proofs in constructive type theory. - Michal Konecný; Sewon Park 001; Holger Thies (CoRR, 2022)

Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. - Michal Konecný; Sewon Park 001; Holger Thies (MFCS, 2023)

A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations. - Sewon Park 001; Holger Thies (ITP, 2024)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers. - Michal Konecný; Sewon Park 001; Holger Thies (CoRR, 2024)

cAERN library. - Michal Konecný; Sewon Park 001; Holger Thies (DROPS Artifacts, 2024)

Computable Analysis for Extraction of Certified Programs and Its Applications. - Holger Thies (CiE, 2025)