Florian Steinberg

31 papers A* 3B 5C 3Misc 1Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2021 J jnl
Computable analysis and notions of continuity in Coq.
Log. Methods Comput. Sci.
Florian Steinberg, Laurent Théry, Holger Thies
2021 B conf
Computing Measure as a Primitive Operation in Real Number Computation.
CSL
Christine Gaßner, Arno Pauly, Florian Steinberg
2021 B conf
Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations.
CASC
Svetlana Selivanova, Florian Steinberg, Holger Thies, Martin Ziegler
2020 — conf
Computable Analysis for Verified Exact Real Computation.
FSTTCS
Michal Konecný, Florian Steinberg, Holger Thies
2020 B conf
Continuous and Monotone Machines.
MFCS
Michal Konecný, Florian Steinberg, Holger Thies
2020 J jnl
Continuous and monotone machines.
CoRR
Michal Konecný, Florian Steinberg, Holger Thies
2020 J jnl
Parametrised second-order complexity theory with applications to the study of interval computation.
Theor. Comput. Sci.
Eike Neumann, Florian Steinberg
2020 J jnl
Type-two polynomial-time and restricted lookahead.
Theor. Comput. Sci.
Bruce M. Kapron, Florian Steinberg
2019 J jnl
Higher-order Complexity Theory and its Applications (NII Shonan Meeting 151).
NII Shonan Meet. Rep.
Bruce M. Kapron, Akitoshi Kawamura, Florian Steinberg
2019 B conf
Quantitative Continuity and Computable Analysis in Coq.
ITP
Florian Steinberg, Laurent Théry, Holger Thies
2019 J jnl
Quantitative continuity and computable analysis in Coq.
CoRR
Florian Steinberg, Laurent Théry, Holger Thies
2019 C conf
Second-Order Linear-Time Computability with Applications to Computable Analysis.
TAMC
Akitoshi Kawamura, Florian Steinberg, Holger Thies
2019 — conf
Type-two Iteration with Bounded Query Revision.
DICE-FOPARA@ETAPS
Bruce M. Kapron, Florian Steinberg
2018 J jnl
Comparing Representations for Function Spaces in Computable Analysis.
Theory Comput. Syst.
Arno Pauly, Florian Steinberg
2018 C conf
Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving.
WoLLIC
Akitoshi Kawamura, Florian Steinberg, Holger Thies
2018 A* conf
Type-two polynomial-time and restricted lookahead.
LICS
Bruce M. Kapron, Florian Steinberg
2018 J jnl
Type-two polynomial-time and restricted lookahead.
CoRR
Bruce M. Kapron, Florian Steinberg
2017 J jnl
A minimal representation for continuous functions.
CoRR
Franz Brauße, Florian Steinberg
2017 A* conf
Bounded time computation on metric spaces and Banach spaces.
LICS
Matthias Schröder, Florian Steinberg
2017 J jnl
Bounded time computation on metric spaces and Banach spaces.
CoRR
Matthias Schröder, Florian Steinberg
2017 J jnl
Complexity theory for spaces of integrable functions.
Log. Methods Comput. Sci.
Florian Steinberg
2017 J jnl
On the computational complexity of the Dirichlet Problem for Poisson's Equation.
Math. Struct. Comput. Sci.
Akitoshi Kawamura, Florian Steinberg, Martin Ziegler
2017 J jnl
Parametrised second-order complexity theory with applications to the study of interval computation.
CoRR
Eike Neumann, Florian Steinberg
2017 B conf
Polynomial Running Times for Polynomial-Time Oracle Machines.
FSCD
Akitoshi Kawamura, Florian Steinberg
2017 J jnl
Polynomial running times for polynomial-time oracle machines.
CoRR
Akitoshi Kawamura, Florian Steinberg
2016 A* conf
Complexity Theory of (Functions on) Compact Metric Spaces.
LICS
Akitoshi Kawamura, Florian Steinberg, Martin Ziegler
2016 J jnl
Complexity theory for spaces of integrable functions.
CoRR
Florian Steinberg
2016 Misc conf
Representations of Analytic Functions and Weihrauch Degrees.
CSR
Arno Pauly, Florian Steinberg
2016 C conf
Towards Computational Complexity Theory on Advanced Function Spaces in Analysis.
CiE
Akitoshi Kawamura, Florian Steinberg, Martin Ziegler
2015 — conf
Average-Case Bit-Complexity Theory of Real Functions.
MACIS
Matthias Schröder, Florian Steinberg, Martin Ziegler
2015 J jnl
Representations of analytic functions and Weihrauch degrees.
CoRR
Arno Pauly, Florian Steinberg