| 2026 | IJCAR | Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits. | Clemens Hofstadler, Daniela Kaufmann, Chen Chen |
| 2026 | ISSAC | Refuting Noncommutative Ideal Membership via Matrix Certificates. | Clemens Hofstadler, Peter Krug, Georg Regensburger |
| 2026 | SAT | Definition-Based Dependency Schemes. | David Kattermann, Clemens Hofstadler, Martina Seidl |
| 2025 | CASC | f4ncgb: High Performance Grbner Basis Computations in Free Algebras. | Maximilian Heisinger, Clemens Hofstadler |
| 2025 | CP | Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit Verification. | Clemens Hofstadler, Daniela Kaufmann |
| 2025 | JELIA | Refinement-Based Enumeration of QBF Solutions. | Andreas Plank, Clemens Hofstadler, Maximilian Heisinger, Martina Seidl |
| 2025 | SYNASC | Towards SAT-Based Learning of NNF Networks. | Paul Seip, Florian Beck, Johannes Frnkranz, Clemens Hofstadler, Peter Pfeiffer, Martina Seidl, Robert Peharz, Stefan Szeider |
| 2023 | CASC | How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. | Klara Bernauer, Clemens Hofstadler, Georg Regensburger |
| 2023 | ISSAC | Signature Grbner bases in free algebras over rings. | Clemens Hofstadler, Thibaut Verron |
| 2020 | ISSAC | Compatible rewriting of noncommutative polynomials for proving operator identities. | Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger |