Alexander Maletzky

25 papers B 2C 4Misc 2Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2024 Misc conf
An Empirical Analysis of Realistic Noise in Quantum Neural Networks for Medical Classifications of Tabular, Signal and Imaging Data.
QCE
Philipp Moser, Alexander Maletzky, Michael Giretzlehner
2024 Misc conf
HN-PQE: Hardware-Native Parameterized Quantum Embedding for Noise-Resilient Classifications of Medical Signals and Images.
QCE
Philipp Moser, Alexander Maletzky, Michael Giretzlehner
2023 — conf
CaTabRa: Efficient Analysis and Predictive Modeling of Tabular Data.
AIAI (2)
Alexander Maletzky, Sophie Kaltenleithner, Philipp Moser, Michael Giretzlehner
2023 J jnl
Traffic Sign Detection and Classification on the Austrian Highway Traffic Sign Data Set.
Data
Alexander Maletzky, Nikolaus Hofer, Stefan Thumfart, Karin Bruckmüller, Johannes Kasper
2022 J jnl
Domain Shifts in Machine Learning Based Covid-19 Diagnosis From Blood Tests.
J. Medical Syst.
Theresa Roland, Carl Böck, Thomas Tschoellitsch, Alexander Maletzky, Sepp Hochreiter, Jens Meier, Günter Klambauer
2021 J jnl
A generic and executable formalization of signature-based Gröbner basis algorithms.
J. Symb. Comput.
Alexander Maletzky
2021 J jnl
Comparing the Machine Readability of Traffic Sign Pictograms in Austria and Germany.
CoRR
Alexander Maletzky, Stefan Thumfart, Christoph Wruß
2020 J jnl
A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms.
CoRR
Alexander Maletzky
2019 C conf
Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL.
CICM
Alexander Maletzky
2019 J jnl
Gröbner Bases, Macaulay Matrices and Dubé's Degree Bounds.
Arch. Formal Proofs
Alexander Maletzky
2019 J jnl
Hilbert's Nullstellensatz.
Arch. Formal Proofs
Alexander Maletzky
2018 C conf
Gröbner Bases of Modules and Faugère's F
CICM
Alexander Maletzky, Fabian Immler
2018 J jnl
Gröbner Bases of Modules and Faugère's F
CoRR
Alexander Maletzky, Fabian Immler
2018 J jnl
Signature-Based Gröbner Basis Algorithms.
Arch. Formal Proofs
Alexander Maletzky
2017 C conf
The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema.
CICM
Alexander Maletzky, Wolfgang Windsteiger
2016 J jnl
Gröbner Bases Theory.
Arch. Formal Proofs
Fabian Immler, Alexander Maletzky
2016 — conf
Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0.
ICMS
Alexander Maletzky
2016 C conf
Mathematical Theory Exploration in Theorema: Reduction Rings.
CICM
Alexander Maletzky
2016 J jnl
Mathematical Theory Exploration in Theorema: Reduction Rings.
CoRR
Alexander Maletzky
2016 J jnl
Theorema 2.0: Computer-Assisted Natural-Style Mathematics.
J. Formaliz. Reason.
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger
2016 J jnl
Verifying Buchberger's Algorithm in Reduction Rings.
CoRR
Alexander Maletzky
2015 B conf
Automated Reasoning in Reduction Rings Using the Theorema System.
CASC
Alexander Maletzky
2015 B conf
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates.
CASC
Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger
2014 — conf
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema.
ICMS
Alexander Maletzky, Bruno Buchberger
2014 — conf
Groebner Bases in Theorema.
ICMS
Bruno Buchberger, Alexander Maletzky