| 2020 | CASC | Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk). | Werner M. Seiler, Matthias Sei |
| 2018 | CASC | Computation of Pommaret Bases Using Syzygies. | Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler |
| 2017 | CADE | SC-square: when Satisfiability Checking and Symbolic Computation join forces. | Erika brahm, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler |
| 2017 | ISSAC | Dimension-Dependent Upper Bounds for Grbner Bases. | Amir Hashemi, Werner M. Seiler |
| 2016 | CASC | Resolving Decompositions for Polynomial Modules. | Mario Albert, Werner M. Seiler |
| 2016 | CASC | Improved Computation of Involutive Bases. | Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler |
| 2015 | CASC | Janet Bases and Resolutions in CoCoALib. | Mario Albert, Matthias Fetzer, Werner M. Seiler |
| 2014 | CASC | Deterministically Computing Reduction Numbers of Polynomial Ideals. | Amir Hashemi, Michael Schweinfurter, Werner M. Seiler |
| 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 | CASC | Singularities of Implicit Differential Equations and Static Bifurcations. | Werner M. Seiler |
| 2012 | CASC | Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. | Hassan Errami, Werner M. Seiler, Markus Eiswirth, Andreas Weber |
| 2012 | CASC | Quasi-stability versus Genericity. | Amir Hashemi, Michael Schweinfurter, Werner M. Seiler |
| 2011 | CASC | On Muldowney's Criteria for Polynomial Vector Fields with Constraints. | Hassan Errami, Werner M. Seiler, Thomas Sturm, Andreas Weber |
| 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 |
| 2001 | CASC | A MuPAD Library for Differential Equations. | Jay Belanger, Marcus Hausdorf, Werner M. Seiler |
| 2001 | CASC | Perturbation versus Differentiation Indices. | Marcus Hausdorf, Werner M. Seiler |
| 1999 | CASC | Indices and Solvability for General Systems of Differential Equations. | Werner M. Seiler |