| 2026 | CASC | Pseudo-complex Quantifier Elimination. | Nicolas Faro, Thomas Sturm |
| 2025 | ISSAC | On the Number of Real Types of Univariate Polynomials. | Nicolas Faro, Thomas Sturm |
| 2021 | CASC | Parametric Toricity of Steady State Varieties of Reaction Networks. | Hamid Rahkooy, Thomas Sturm |
| 2021 | CASC | Testing Binomiality of Chemical Reaction Networks Using Comprehensive Grbner Systems. | Hamid Rahkooy, Thomas Sturm |
| 2020 | CASC | A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks. | Hamid Rahkooy, Ovidiu Radulescu, Thomas Sturm |
| 2020 | CASC | First-Order Tests for Toricity. | Hamid Rahkooy, Thomas Sturm |
| 2018 | CASC | Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. | Hoon Hong, Thomas Sturm |
| 2018 | ISSAC | Thirty Years of Virtual Substitution: Foundations, Techniques, Applications. | Thomas Sturm |
| 2017 | CASC | Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. | Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber |
| 2017 | ISSAC | A Case Study on the Parametric Occurrence of Multiple Steady States. | Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber |
| 2016 | LICS | Deciding First-Order Satisfiability when Universal and Existential Variables are Separated. | Thomas Sturm, Marco Voigt, Christoph Weidenbach |
| 2015 | CADE | Linear Integer Arithmetic Revisited. | Martin Bromberger, Thomas Sturm, Christoph Weidenbach |
| 2015 | ISSAC | Subtropical Real Root Finding. | Thomas Sturm |
| 2014 | CASC | Towards Conflict-Driven Learning for Virtual Substitution. | Konstantin Korovin, Marek Kosta, Thomas Sturm |
| 2013 | CASC | Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. | Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber |
| 2013 | CogSci | Cognitive Externalism meets Bounded Rationality. | Eric Arnau, Saray Ayala, Thomas Sturm |
| 2011 | CASC | On Muldowney's Criteria for Polynomial Vector Fields with Constraints. | Hassan Errami, Werner M. Seiler, Thomas Sturm, Andreas Weber |
| 2011 | ISSAC | Verification and synthesis using real quantifier elimination. | Thomas Sturm, Ashish Tiwari |
| 2010 | CASC | Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests. | Winfried Neun, Thomas Sturm, Stefan Vigerske |
| 2010 | CASC | Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk). | Andreas Weber, Thomas Sturm, Werner M. Seiler, Essam O. Abdel-Rahman |
| 2010 | ISSAC | Parametric quantified SAT solving. | Thomas Sturm, Christoph Zengler |
| 2009 | CASC | Effective Quantifier Elimination for Presburger Arithmetic with Infinity. | Aless Lasaruk, Thomas Sturm |
| 2007 | CASC | Weak Integer Quantifier Elimination Beyond the Linear Case. | Aless Lasaruk, Thomas Sturm |
| 2006 | CASC | New Domains for Applied Quantifier Elimination. | Thomas Sturm |
| 2005 | CASC | Quantifier Elimination for Constraint Logic Programming. | Thomas Sturm |
| 2004 | ISSAC | Efficient projection orders for CAD. | Andreas Dolzmann, Andreas Seidl, Thomas Sturm |
| 2003 | ISSAC | A generic projection operator for partial cylindrical algebraic decomposition. | Andreas Seidl, Thomas Sturm |
| 2002 | AISC | Integration of Quantifier Elimination with Constraint Logic Programming. | Thomas Sturm |
| 2001 | CASC | Parametric Systems of Linear Congruences. | Andreas Dolzmann, Thomas Sturm |
| 1999 | ISSAC | P-adic Constraint Solving. | Andreas Dolzmann, Thomas Sturm |
| 1998 | ISSAC | Approaches to Parallel Quantifier Elimination. | Andreas Dolzmann, Oliver Gloor, Thomas Sturm |
| 1997 | ISSAC | Guarded Expressions in Practice. | Andreas Dolzmann, Thomas Sturm |