| 2021 | ISSAC | Separability Problems in Creative Telescoping. | Shaoshi Chen, Ruyong Feng, Pingchuan Ma, Michael F. Singer |
| 2014 | ISSAC | Parallel telescoping and parameterized Picard-Vessiot theory. | Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer |
| 2013 | ISSAC | Desingularization explains order-degree curves for ore operators. | Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer |
| 2012 | ISSAC | Telescopers for rational and algebraic functions via residues. | Shaoshi Chen, Manuel Kauers, Michael F. Singer |
| 2006 | ISSAC | A recursive method for determining the one-dimensional submodules of Laurent-Ore modules. | Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng |
| 2000 | ISSAC | Computing the Galois group of a polynomial using linear differential equations. | Olivier Cormier, Michael F. Singer, Felix Ulmer |
| 1992 | ISSAC | Liouvillian Solutions of Third Order Linear Differential Equations: New Bounds and Necessary Conditions. | Michael F. Singer, Felix Ulmer |
| 1990 | FOCS | Interpolation of Sparse Rational Functions Without Knowing Bounds on Exponents | Dima Grigoriev, Marek Karpinski, Michael F. Singer |
| 1988 | ISSAC | Liouvillian First Integrals of Differential Equations. | Michael F. Singer |
| 1981 | ISSAC | Elementary first integrals of differential equations. | Myra Jean Prelle, Michael F. Singer |
| 1981 | ISSAC | An extension of Liouville's theorem on integration in finite terms. | Michael F. Singer, B. David Saunders, Bob F. Caviness |