Holger Thies

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 14

Top Topics

Parameterized Complexity

Partial Differential Equations

Uniform Distribution

Top Venues

Publications

Michal Konecný, Sewon Park, Holger Thies
Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. MFCS (2023)
Michal Konecný, Sewon Park, Holger Thies
Certified Computation of Nondeterministic Limits. NFM (2022)
Michal Konecný, Sewon Park, Holger Thies
Extracting efficient exact real number computation from proofs in constructive type theory. CoRR (2022)
Michal Konecný, Sewon Park, Holger Thies
Axiomatic Reals and Certified Efficient Exact Real Computation. WoLLIC (2021)
Florian Steinberg, Laurent Théry, Holger Thies
Computable analysis and notions of continuity in Coq. Log. Methods Comput. Sci. 17 (2) (2021)
Svetlana Selivanova, Florian Steinberg, Holger Thies, Martin Ziegler
Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations. CASC (2021)
Michal Konecný, Florian Steinberg, Holger Thies
Continuous and Monotone Machines. MFCS (2020)
Michal Konecný, Florian Steinberg, Holger Thies
Computable Analysis for Verified Exact Real Computation. FSTTCS (2020)
Michal Konecný, Florian Steinberg, Holger Thies
Continuous and monotone machines. CoRR (2020)
Florian Steinberg, Laurent Théry, Holger Thies
Quantitative Continuity and Computable Analysis in Coq. ITP (2019)
Akitoshi Kawamura, Florian Steinberg, Holger Thies
Second-Order Linear-Time Computability with Applications to Computable Analysis. TAMC (2019)
Florian Steinberg, Laurent Théry, Holger Thies
Quantitative continuity and computable analysis in Coq. CoRR (2019)
Akitoshi Kawamura, Holger Thies, Martin Ziegler
Average-Case Polynomial-Time Computability of Hamiltonian Dynamics. MFCS (2018)
Akitoshi Kawamura, Florian Steinberg, Holger Thies
Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. WoLLIC (2018)