More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Alexander Maletzky

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/data/MaletzkyHTBK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/data/MaletzkyHTBK23
Alexander Maletzky, Nikolaus Hofer, Stefan Thumfart, Karin Bruckmüller, Johannes Kasper:
Traffic Sign Detection and Classification on the Austrian Highway Traffic Sign Data Set. Data 8(1): 16 (2023)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip12/MaletzkyKMG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip12/MaletzkyKMG23
Alexander Maletzky, Sophie Kaltenleithner, Philipp Moser, Michael Giretzlehner:
CaTabRa: Efficient Analysis and Predictive Modeling of Tabular Data. AIAI (2) 2023: 57-68
2022
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jms/RolandBTMHMK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jms/RolandBTMHMK22
Theresa Roland, Carl Böck, Thomas Tschoellitsch, Alexander Maletzky, Sepp Hochreiter, Jens Meier, Günter Klambauer:
Domain Shifts in Machine Learning Based Covid-19 Diagnosis From Blood Tests. J. Medical Syst. 46(5): 23 (2022)
2021
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Maletzky21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Maletzky21
Alexander Maletzky:
A generic and executable formalization of signature-based Gröbner basis algorithms. J. Symb. Comput. 106: 23-47 (2021)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-02362
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-02362
Alexander Maletzky, Stefan Thumfart, Christoph Wruß:
Comparing the Machine Readability of Traffic Sign Pictograms in Austria and Germany. CoRR abs/2109.02362 (2021)
2020
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-02239
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-02239
Alexander Maletzky:
A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms. CoRR abs/2012.02239 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j5]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Maletzky19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Maletzky19
Alexander Maletzky:
Gröbner Bases, Macaulay Matrices and Dubé's Degree Bounds. Arch. Formal Proofs 2019 (2019)
[j4]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Maletzky19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Maletzky19a
Alexander Maletzky:
Hilbert's Nullstellensatz. Arch. Formal Proofs 2019 (2019)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Maletzky19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Maletzky19
Alexander Maletzky:
Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL. CICM 2019: 155-170
2018
[j3]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Maletzky18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Maletzky18
Alexander Maletzky:
Signature-Based Gröbner Basis Algorithms. Arch. Formal Proofs 2018 (2018)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/MaletzkyI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/MaletzkyI18
Alexander Maletzky, Fabian Immler:
Gröbner Bases of Modules and Faugère's F₄ Algorithm in Isabelle/HOL. CICM 2018: 178-193
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-00304
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-00304
Alexander Maletzky, Fabian Immler:
Gröbner Bases of Modules and Faugère's F₄ Algorithm in Isabelle/HOL. CoRR abs/1805.00304 (2018)
2017
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/MaletzkyW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/MaletzkyW17
Alexander Maletzky, Wolfgang Windsteiger:
The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema. CICM 2017: 25-39
2016
[j2]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/ImmlerM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ImmlerM16
Fabian Immler, Alexander Maletzky:
Gröbner Bases Theory. Arch. Formal Proofs 2016 (2016)
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jfrea/BuchbergerJKMW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfrea/BuchbergerJKMW16
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger:
Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formaliz. Reason. 9(1): 149-185 (2016)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icms/Maletzky16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/Maletzky16
Alexander Maletzky:
Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0. ICMS 2016: 59-66
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Maletzky16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Maletzky16
Alexander Maletzky:
Mathematical Theory Exploration in Theorema: Reduction Rings. CICM 2016: 3-17
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Maletzky16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Maletzky16
Alexander Maletzky:
Mathematical Theory Exploration in Theorema: Reduction Rings. CoRR abs/1602.04339 (2016)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Maletzky16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Maletzky16a
Alexander Maletzky:
Verifying Buchberger's Algorithm in Reduction Rings. CoRR abs/1604.08736 (2016)
2015
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/casc/Maletzky15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/casc/Maletzky15
Alexander Maletzky:
Automated Reasoning in Reduction Rings Using the Theorema System. CASC 2015: 307-321
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/casc/RosenkranzLMB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/casc/RosenkranzLMB15
Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger:
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates. CASC 2015: 406-423
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icms/MaletzkyB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/MaletzkyB14
Alexander Maletzky, Bruno Buchberger:
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. ICMS 2014: 41-48
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icms/BuchbergerM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icms/BuchbergerM14
Bruno Buchberger, Alexander Maletzky:
Groebner Bases in Theorema. ICMS 2014: 374-381

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.