Ralph Bottesch

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 13

Top Topics

Polynomial Kernels

Linear Inequalities

Top Venues

Arch. Formal Proofs

Publications

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