VLDB 2026 Research / reviewers in the wild / expert
Alexander Maletzky
dblp:149/2436
· DBLP profile ↗
7ranked-venue papers
6as first author
1since 2021 · last 2021
0000-0003-4378-7854ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 7 · 6 first-author · 1 since 2021Artificial intelligence and machine learning · 4 · 4 first-authorSoftware engineering, systems software and programming languages · 4 · 4 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | A generic and executable formalization of signature-based Gröbner basis algorithms
Alexander Maletzky |
J. Symb. Comput. | 1 |
| 2019 | Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL
Alexander Maletzky |
CICM | 1 |
| 2018 | Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL
Alexander Maletzky, Fabian Immler |
CICM | 1 |
| 2017 | The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema
Alexander Maletzky, Wolfgang Windsteiger |
CICM | 1 |
| 2016 | Mathematical Theory Exploration in Theorema: Reduction Rings
Alexander Maletzky |
CICM | 1 |
| 2015 | Automated Reasoning in Reduction Rings Using the Theorema System
Alexander Maletzky |
CASC | 1 |
| 2015 | Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates
Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger |
CASC | 3 |