| 2021 | CASC | Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations. | Svetlana Selivanova, Florian Steinberg, Holger Thies, Martin Ziegler |
| 2021 | CSL | Computing Measure as a Primitive Operation in Real Number Computation. | Christine Ganer, Arno Pauly, Florian Steinberg |
| 2020 | MFCS | Continuous and Monotone Machines. | Michal Konecn, Florian Steinberg, Holger Thies |
| 2019 | ITP | Quantitative Continuity and Computable Analysis in Coq. | Florian Steinberg, Laurent Thry, Holger Thies |
| 2019 | TAMC | Second-Order Linear-Time Computability with Applications to Computable Analysis. | Akitoshi Kawamura, Florian Steinberg, Holger Thies |
| 2018 | LICS | Type-two polynomial-time and restricted lookahead. | Bruce M. Kapron, Florian Steinberg |
| 2018 | WoLLIC | Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. | Akitoshi Kawamura, Florian Steinberg, Holger Thies |
| 2017 | LICS | Bounded time computation on metric spaces and Banach spaces. | Matthias Schrder, Florian Steinberg |
| 2016 | CiE | Towards Computational Complexity Theory on Advanced Function Spaces in Analysis. | Akitoshi Kawamura, Florian Steinberg, Martin Ziegler |
| 2016 | CSR | Representations of Analytic Functions and Weihrauch Degrees. | Arno Pauly, Florian Steinberg |
| 2016 | LICS | Complexity Theory of (Functions on) Compact Metric Spaces. | Akitoshi Kawamura, Florian Steinberg, Martin Ziegler |