| 2026 | ISSAC | Symbolic Integration in Weierstrass-like Extensions. | Shaoshi Chen, Manuel Kauers, Wenqiao Li, Xiuyun Li, David Masser |
| 2025 | ISSAC | Non-minimality of minimal telescopers explained by residues. | Shaoshi Chen, Manuel Kauers, Christoph Koutschan, Xiuyun Li, Rong-Hua Wang, Yisen Wang |
| 2025 | ISSAC | D-Finiteness: A Success Story. | Manuel Kauers |
| 2025 | ISSAC | Bounds for D-Algebraic Closure Properties. | Manuel Kauers, Raphael Pages |
| 2025 | SAC | Solution Counts of Some Prominent Quantified Boolean Formulas Families. | Andreas Plank, Martina Seidl, Manuel Kauers |
| 2024 | ISSAC | On the Problem of Separating Variables in Multivariate Polynomial Ideals. | Manfred Buchacher, Manuel Kauers |
| 2024 | ISSAC | Parallel Summation in P-Recursive Extensions. | Shaoshi Chen, Ruyong Feng, Manuel Kauers, Xiuyun Li |
| 2023 | ISSAC | Hermite Reduction for D-finite Functions via Integral Bases. | Shaoshi Chen, Lixin Du, Manuel Kauers |
| 2023 | ISSAC | Transcendence Certificates for D-finite Functions. | Manuel Kauers, Christoph Koutschan, Thibaut Verron |
| 2023 | ISSAC | Flip Graphs for Matrix Multiplication. | Manuel Kauers, Jakob Moosbauer |
| 2023 | ISSAC | Order bounds for C2-finite sequences. | Manuel Kauers, Philipp Nuspl, Veronika Pillwein |
| 2022 | ISSAC | Order-Degree-Height Surfaces for Linear Operators. | Hui Huang, Manuel Kauers, Gargi Mukherjee |
| 2022 | ISSAC | Guessing with Little Data. | Manuel Kauers, Christoph Koutschan |
| 2021 | ISSAC | Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions. | Shaoshi Chen, Lixin Du, Manuel Kauers |
| 2020 | CASC | Good Pivots for Small Sparse Matrices. | Manuel Kauers, Jakob Moosbauer |
| 2020 | DATE | From DRUP to PAC and Back. | Daniela Kaufmann, Armin Biere, Manuel Kauers |
| 2020 | ISSAC | Separating variables in bivariate polynomial ideals. | Manfred Buchacher, Manuel Kauers, Gleb Pogudin |
| 2020 | ISSAC | Integral bases for p-recursive sequences. | Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron |
| 2019 | FMCAD | Verifying Large Multipliers by Combining SAT and Computer Algebra. | Daniela Kaufmann, Armin Biere, Manuel Kauers |
| 2019 | SAT | Local Search for Fast Matrix Multiplication. | Marijn J. H. Heule, Manuel Kauers, Martina Seidl |
| 2018 | DATE | Improving and extending the algebraic approach for verifying gate-level multipliers. | Daniela Ritirc, Armin Biere, Manuel Kauers |
| 2018 | SAT | Symmetries of Quantified Boolean Formulas. | Manuel Kauers, Martina Seidl |
| 2017 | FMCAD | Column-wise verification of multipliers using computer algebra. | Daniela Ritirc, Armin Biere, Manuel Kauers |
| 2017 | ISSAC | Bounds for Substituting Algebraic Functions into D-finite Functions. | Manuel Kauers, Gleb Pogudin |
| 2017 | SYNASC | Challenges in Verifying Arithmetic Circuits Using Computer Algebra. | Armin Biere, Manuel Kauers, Daniela Ritirc |
| 2016 | ISSAC | Reduction-Based Creative Telescoping for Algebraic Functions. | Shaoshi Chen, Manuel Kauers, Christoph Koutschan |
| 2015 | ISSAC | A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. | Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li |
| 2015 | ISSAC | Integral D-Finite Functions. | Manuel Kauers, Christoph Koutschan |
| 2015 | SYNASC | Creative Telescoping via Hermite Reduction. | Manuel Kauers |
| 2014 | ISSAC | A generalized Apagodu-Zeilberger algorithm. | Shaoshi Chen, Manuel Kauers, Christoph Koutschan |
| 2014 | ISSAC | Bounds for D-finite closure properties. | Manuel Kauers |
| 2014 | SODA | Hypercontractive inequalities via SOS, and the Frankl-Rdl graph. | Manuel Kauers, Ryan O'Donnell, Li-Yang Tan, Yuan Zhou |
| 2013 | ISSAC | Desingularization explains order-degree curves for ore operators. | Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer |
| 2013 | ISSAC | Finding hyperexponential solutions of linear ODEs by numerical evaluation. | Fredrik Johansson, Manuel Kauers, Marc Mezzarobba |
| 2012 | ISSAC | Order-degree curves for hypergeometric creative telescoping. | Shaoshi Chen, Manuel Kauers |
| 2012 | ISSAC | Telescopers for rational and algebraic functions via residues. | Shaoshi Chen, Manuel Kauers, Michael F. Singer |
| 2011 | ISSAC | The concrete tetrahedron. | Manuel Kauers |
| 2011 | ISSAC | A refined denominator bounding algorithm for multivariate linear difference equations. | Manuel Kauers, Carsten Schneider |
| 2010 | ISSAC | When can we detect that a P-finite sequence is positive? | Manuel Kauers, Veronika Pillwein |
| 2010 | ISSAC | Partial denominator bounds for partial linear difference equations. | Manuel Kauers, Carsten Schneider |
| 2009 | ISSAC | A non-holonomic systems approach to special function identities. | Frdric Chyzak, Manuel Kauers, Bruno Salvy |
| 2008 | ISSAC | Integration of algebraic functions: a simple heuristic for finding the logarithmic part. | Manuel Kauers |
| 2007 | ISSAC | Symbolic summation with radical expressions. | Manuel Kauers, Carsten Schneider |
| 2006 | ISSAC | Application of unspecified sequences in symbolic summation. | Manuel Kauers, Carsten Schneider |
| 2005 | ISSAC | A procedure for proving special function inequalities involving a discrete parameter. | Stefan Gerhold, Manuel Kauers |
| 2004 | ISSAC | Computer proofs for polynomial identities in arbitrary many variables. | Manuel Kauers |
| 2002 | Interspeech | Interlingua based statistical machine translation. | Manuel Kauers, Stephan Vogel, Christian Fgen, Alex Waibel |