| 2026 | ISSAC | Refuting Noncommutative Ideal Membership via Matrix Certificates. | Clemens Hofstadler, Peter Krug, Georg Regensburger |
| 2023 | CASC | How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. | Klara Bernauer, Clemens Hofstadler, Georg Regensburger |
| 2020 | ISSAC | Compatible rewriting of noncommutative polynomials for proving operator identities. | Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger |
| 2016 | ISSAC | Algorithmic Operator Algebras via Normal Forms for Tensors. | Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger |
| 2016 | ISSAC | Symbolic Computation with Integro-Differential Operators. | Georg Regensburger |
| 2015 | SYNASC | Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. | Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram |
| 2014 | CASC | Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents (Invited Talk). | Stefan Mller, Georg Regensburger |
| 2013 | ISSAC | On the integration of differential fractions. | Franois Boulier, Franois Lemaire, Georg Regensburger, Markus Rosenkranz |
| 2011 | CASC | Regular and Singular Boundary Problems in Maple. | Anja Korporal, Georg Regensburger, Markus Rosenkranz |
| 2009 | CASC | A Symbolic Framework for Operations on Linear Boundary Problems. | Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger |
| 2009 | ISSAC | A skew polynomial approach to integro-differential operators. | Georg Regensburger, Markus Rosenkranz, Johannes Middeke |
| 2008 | ISSAC | Integro-differential polynomials and operators. | Markus Rosenkranz, Georg Regensburger |