Sebastian Bock

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 13

Top Topics

Convergence Proof

Top Venues

Publications

Raphael Seidel, Sebastian Bock, René Zander, Matic Petric, Niklas Steinmann, Nikolay Tcholtchev, Manfred Hauswirth
Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers. CoRR (2024)
Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock, Manfred Hauswirth
Uncomputation in the Qrisp High-Level Quantum Programming Framework. RC (2023)
Colin Kai-Uwe Becker, Nikolay Tcholtchev, Ilie-Daniel Gheorghe-Pop, Sebastian Bock, Raphael Seidel, Manfred Hauswirth
Towards a Quantum Benchmark Suite with Standardized KPIs. ICSA Companion (2022)
Sebastian Bock, Raphael Seidel, Colin Kai-Uwe Becker
Towards a Standardised Quantum Software Stack. ERCIM News 2022 (128) (2022)
Sebastian Bock, Martin Georg Weiß
Non-Convergence and Limit Cycles in the Adam optimizer. CoRR (2022)
Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock, Colin Kai-Uwe Becker, Manfred Hauswirth
Efficient Floating Point Arithmetic for Quantum Computers. IEEE Access 10 (2022)
Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock, Colin Kai-Uwe Becker, Manfred Hauswirth
Efficient Floating Point Arithmetic for Quantum Computers. CoRR (2021)
Raphael Seidel, Colin Kai-Uwe Becker, Sebastian Bock, Nikolay Tcholtchev, Ilie-Daniel Gheorghe-Pop, Manfred Hauswirth
Automatic Generation of Grover Quantum Oracles for Arbitrary Data Structures. CoRR (2021)
Sebastian Bock, Martin Georg Weiß
Local Convergence of Adaptive Gradient Descent Optimizers. CoRR (2021)
Sebastian Bock, Martin Georg Weiß
Non-convergence and Limit Cycles in the Adam Optimizer. ICANN (2) (2019)
Sebastian Bock, Martin Georg Weiß
A Proof of Local Convergence for the Adam Optimizer. IJCNN (2019)
Tobias Schwindl, Klaus Volbert, Sebastian Bock
Fast and Reliable Update Protocols in WSNs During Software Development, Testing and Deployment. SENSORNETS (2018)
Sebastian Bock, Josef Goppold, Martin Georg Weiß
An improvement of the convergence proof of the ADAM-Optimizer. CoRR (2018)