Groebner Bases in Theorema. - Bruno Buchberger; Alexander Maletzky (ICMS, 2014)

Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. - Alexander Maletzky; Bruno Buchberger (ICMS, 2014)

Automated Reasoning in Reduction Rings Using the Theorema System. - Alexander Maletzky (CASC, 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, 2015)

Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0. - Alexander Maletzky (ICMS, 2016)

Mathematical Theory Exploration in Theorema: Reduction Rings. - Alexander Maletzky (CICM, 2016)

Gröbner Bases Theory. - Fabian Immler; Alexander Maletzky (Arch. Formal Proofs, 2016)

Verifying Buchberger's Algorithm in Reduction Rings. - Alexander Maletzky (CoRR, 2016)

Theorema 2.0: Computer-Assisted Natural-Style Mathematics. - Bruno Buchberger; Tudor Jebelean; Temur Kutsia; Alexander Maletzky; Wolfgang Windsteiger (J. Formaliz. Reason., 2016)

The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema. - Alexander Maletzky; Wolfgang Windsteiger (CICM, 2017)

Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL. - Alexander Maletzky; Fabian Immler (CICM, 2018)

Signature-Based Gröbner Basis Algorithms. - Alexander Maletzky (Arch. Formal Proofs, 2018)

Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL. - Alexander Maletzky (CICM, 2019)

Gröbner Bases, Macaulay Matrices and Dubé's Degree Bounds. - Alexander Maletzky (Arch. Formal Proofs, 2019)

Hilbert's Nullstellensatz. - Alexander Maletzky (Arch. Formal Proofs, 2019)

Comparing the Machine Readability of Traffic Sign Pictograms in Austria and Germany. - Alexander Maletzky; Stefan Thumfart; Christoph Wruß (CoRR, 2021)

A generic and executable formalization of signature-based Gröbner basis algorithms. - Alexander Maletzky (J. Symb. Comput., 2021)

Domain Shifts in Machine Learning Based Covid-19 Diagnosis From Blood Tests. - Theresa Roland; Carl Böck; Thomas Tschoellitsch; Alexander Maletzky; Sepp Hochreiter; Jens Meier; Günter Klambauer (J. Medical Syst., 2022)

CaTabRa: Efficient Analysis and Predictive Modeling of Tabular Data. - Alexander Maletzky; Sophie Kaltenleithner; Philipp Moser; Michael Giretzlehner (AIAI (2), 2023)

Traffic Sign Detection and Classification on the Austrian Highway Traffic Sign Data Set. - Alexander Maletzky; Nikolaus Hofer; Stefan Thumfart; Karin Bruckmüller; Johannes Kasper (Data, 2023)

HN-PQE: Hardware-Native Parameterized Quantum Embedding for Noise-Resilient Classifications of Medical Signals and Images. - Philipp Moser; Alexander Maletzky; Michael Giretzlehner (QCE, 2024)

An Empirical Analysis of Realistic Noise in Quantum Neural Networks for Medical Classifications of Tabular, Signal and Imaging Data. - Philipp Moser; Alexander Maletzky; Michael Giretzlehner (QCE, 2024)