| 2026 | CASC | Letting Homogeneity Entropy Select S-Pairs in Buchberger's Algorithm. | Uzma Shafiq, Matthew England, AmirHosein Sadeghimanesh, Nayyar Zaidi |
| 2025 | AIED | Predicting At-Risk Programming Students in Small Imbalanced Datasets Using Synthetic Data. | Daniel Flood, Matthew England, Beate Grawemeyer |
| 2024 | CASC | The Liouville Generator for Producing Integrable Expressions. | Rashid Barket, Matthew England, Jrgen Gerhard |
| 2024 | CASC | Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk). | Matthew England |
| 2024 | SYNASC | On Projective Delineability. | Lucas Michel, Jasper Nalbach, Pierre Mathonet, Nam Znadi, Christopher W. Brown, Erika brahm, James H. Davenport, Matthew England |
| 2023 | CASC | Generating Elementary Integrable Expressions. | Rashid Barket, Matthew England, Jrgen Gerhard |
| 2022 | CASC | New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. | Tereso del Ro, Matthew England |
| 2021 | SYNASC | On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. | Gereon Kremer, Erika brahm, Matthew England, James H. Davenport |
| 2020 | CADE | New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). | Erika brahm, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks |
| 2020 | ISSAC | Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning. | Matthew England |
| 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 | 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 |
| 2017 | ISSAC | Preface. | Matthew England, Vijay Ganesh |
| 2016 | CASC | The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree. | Matthew England, James H. Davenport |
| 2016 | SYNASC | Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition. | Matthew England, James H. Davenport |
| 2016 | SYNASC | Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases. | Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson |
| 2015 | ISSAC | Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition. | Matthew England, Russell J. Bradford, James H. Davenport |
| 2014 | CASC | Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. | Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson |
| 2014 | SYNASC | Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. | David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport |
| 2013 | ISSAC | Cylindrical algebraic decompositions for boolean combinations. | Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson |
| 2013 | SYNASC | A "Piano Movers" Problem Reformulated. | David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford |
| 2012 | SYNASC | Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. | James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson |