Ralph Bottesch

13 papers B 3Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2021 J jnl
Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation.
Arch. Formal Proofs
Ralph Bottesch, Jose Divasón, René Thiemann
2020 J jnl
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.
J. Autom. Reason.
René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, Akihisa Yamada
2020 — conf
Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL.
NFM
Ralph Bottesch, Max W. Haslbeck, Alban Reynaud, René Thiemann
2019 B conf
A Hierarchy of Polynomial Kernels.
SOFSEM
Jouke Witteveen, Ralph Bottesch, Leen Torenvliet
2019 J jnl
A Hierarchy of Polynomial Kernels.
CoRR
Jouke Witteveen, Ralph Bottesch, Leen Torenvliet
2019 J jnl
Farkas' Lemma and Motzkin's Transposition Theorem.
Arch. Formal Proofs
Ralph Bottesch, Max W. Haslbeck, René Thiemann
2019 J jnl
Linear Inequalities.
Arch. Formal Proofs
Ralph Bottesch, Alban Reynaud, René Thiemann
2019 — conf
Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL.
FroCos
Ralph Bottesch, Max W. Haslbeck, René Thiemann
2018 B conf
A Verified Efficient Implementation of the LLL Basis Reduction Algorithm.
LPAR
Ralph Bottesch, Max W. Haslbeck, René Thiemann
2017 B conf
Relativization and Interactive Proof Systems in Parameterized Complexity Theory.
IPEC
Ralph Bottesch
2015 — conf
Correlation in Hard Distributions in Communication Complexity.
APPROX-RANDOM
Ralph Bottesch, Dmitry Gavinsky, Hartmut Klauck
2015 J jnl
Correlation in Hard Distributions in Communication Complexity.
CoRR
Ralph Bottesch, Dmitry Gavinsky, Hartmut Klauck
2015 — conf
Equality, Revisited.
MFCS (2)
Ralph Bottesch, Dmitry Gavinsky, Hartmut Klauck