| 2025 | EDUCON | Postgraduate Cybersecurity Education for Non-Specialist Professionals. | James H. Davenport, Tim French |
| 2025 | EDUCON | Towards a Framework for Mapping Authentic Assessment to Competency in University Computing Education in the Uk. | Tom Prickett, Ian R. McChesney, Emma Norling, Alan Hayes, Alexandros Chrysikos, Steve Riddle, James H. Davenport, Alastair Irons, Tom Crick |
| 2024 | ITiCSE | Embedding Technical, Personal and Professional Competencies in Computing Degree Programmes. | Tom Prickett, Tom Crick, James H. Davenport, David S. Bowers, Alan Hayes, Alastair Irons |
| 2024 | SIGCSE | A Global Survey of Introductory Programming Courses. | Raina Mason, Simon, Brett A. Becker, Tom Crick, James H. Davenport |
| 2024 | SYNASC | First Steps Towards Computational Polynomials in Lean. | James H. Davenport |
| 2024 | SYNASC | Towards Verified Polynomial Factorisation. | James H. Davenport |
| 2024 | SYNASC | On Projective Delineability. | Lucas Michel, Jasper Nalbach, Pierre Mathonet, Nam Znadi, Christopher W. Brown, Erika brahm, James H. Davenport, Matthew England |
| 2023 | SYNASC | So the problem has poor complexity: what next? | James H. Davenport |
| 2023 | SYNASC | A Poly-algorithmic Approach to Quantifier Elimination. | James H. Davenport, Zak P. Tonks, Ali Kemal Uncu |
| 2022 | ITiCSE | A National Mentoring and Buddying Pilot Scheme for UK Early Career CS Academics. | Tom Crick, James H. Davenport, Alan Hayes, Alastair Irons, Tom Prickett, Simon Payne |
| 2022 | SYNASC | Artificial Conflict Sampling for Real Satisfiability Problems. | James H. Davenport, Ali Kemal Uncu |
| 2021 | EDUCON | Towards a 21st Century Personalised Learning Skills Taxonomy. | Rupert Ward, Oliver Phillips, David Bowers, Tom Crick, James H. Davenport, Paul Hanna, Alan Hayes, Alastair Irons, Tom Prickett |
| 2021 | ITiCSE | Developing a Computer Science Education Community of Practice for Early-Career Academics in the UK. | Tom Crick, James H. Davenport, Alan Hayes, Alastair Irons, Tom Prickett |
| 2021 | SIGCSE | Increasing the Value of Professional Body Computer Science Degree Accreditation. | Alastair Irons, Tom Crick, James H. Davenport, Tom Prickett |
| 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 | EDUCON | The Institute of Coding: A University-Industry Collaboration to Address the UK's Digital Skills Crisis. | James H. Davenport, Tom Crick, Rachid Hourizi |
| 2020 | FIE | Overcoming the Challenges of Teaching Cybersecurity in UK Computer Science Degree Programmes. | Tom Crick, James H. Davenport, Paul Hanna, Alastair Irons, Tom Prickett |
| 2020 | ITiCSE | Assessing the Value of Professional Body Accreditation of Computer Science Degree Programmes: A UK Case Study. | Tom Crick, Tom Prickett, James H. Davenport, Alastair Irons |
| 2020 | SYNASC | The CAD Conundrum: Lex-Least vs Order. | Scott McCallum, Akshar Nair, James H. Davenport, Gregory Sankaran |
| 2019 | FIE | A UK Case Study on Cybersecurity Education and Accreditation. | Tom Crick, James H. Davenport, Alastair Irons, Tom Prickett |
| 2019 | SIGCSE | The Institute of Coding: A University-Industry Collaboration to Address the UK Digital Skills Crisis. | James H. Davenport, Rachid Hourizi |
| 2018 | AISC | Methodologies of Symbolic Computation. | James H. Davenport |
| 2018 | SIGCSE | Language Choice in Introductory Programming Courses at Australasian and UK Universities. | Simon, Raina Mason, Tom Crick, James H. Davenport, Ellen Murphy |
| 2018 | SYNASC | The Rle of Benchmarking in Symbolic Computation (Position Paper). | James H. Davenport |
| 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 | 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 | Benchmarking Solvers, SAT-style. | Martin Brain, James H. Davenport, Alberto Griggio |
| 2017 | SYNASC | Fast Matrix Operations in Computer Algebra. | Zak Tonks, Gregory Sankaran, James H. Davenport |
| 2016 | CASC | The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree. | Matthew England, James H. Davenport |
| 2016 | SYNASC | What Does "Without Loss of Generality" Mean (And How Do We Detect It). | 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 |
| 2016 | WAIFI | A Generalised Successive Resultants Algorithm. | James H. Davenport, Christophe Petit, Benjamin Pring |
| 2015 | ISSAC | Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition. | Matthew England, Russell J. Bradford, James H. Davenport |
| 2014 | CANS | Attribute-Based Signatures with User-Controlled Linkability. | Ali El Kaafarani, Liqun Chen, Essam Ghadafi, 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 | AISC | Speeding Up Cylindrical Algebraic Decomposition by Grbner Bases. | David J. Wilson, Russell J. Bradford, James H. Davenport |
| 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 |
| 2011 | ISSAC | Computing with semi-algebraic sets represented by triangular decomposition. | Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao |
| 2011 | SYNASC | On Kahan's Rules for Determining Branch Cuts. | Frdric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy |
| 2010 | AISC | The Challenges of Multivalued "Functions". | James H. Davenport |
| 2010 | ISSAC | Triangular decomposition of semi-algebraic systems. | Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao |
| 2008 | AISC | AISC Meets Natural Typography. | James H. Davenport |
| 2008 | AISC | Effective Set Membership in Computer Algebra and Beyond. | James H. Davenport |
| 2008 | AISC | Unit Knowledge Management. | Jonathan Stratford, James H. Davenport |
| 2007 | ISSAC | The complexity of quantifier elimination and cylindrical algebraic decomposition. | Christopher W. Brown, James H. Davenport |
| 2005 | ISSAC | Adherence is better than adjacency: computing the Riemann index using CAD. | James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut |
| 2004 | ISSAC | A poly-algorithmic approach to simplifying elementary functions. | James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut |
| 2003 | ISSAC | Better simplification of elementary functions through power series. | James C. Beaumont, Russell J. Bradford, James H. Davenport |
| 2002 | ISSAC | Towards better simplification of elementary functions. | Russell J. Bradford, James H. Davenport |
| 2000 | AISC | Reasoning about the Elementary Functions of Complex Analysis. | Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt |
| 2000 | CCA | A Generic Root Operation for Exact Real Arithmetic. | Namhyun Hur, James H. Davenport |
| 2000 | ISSAC | An exact real algebraic arithmetic with equality determination. | Namhyun Hur, James H. Davenport |
| 2000 | MFCS | Abstract Data Types in Computer Algebra. | James H. Davenport |
| 1999 | CASC | An Automatic Symbolic-Numeric Taylor Series ODE Solver. | Brian J. Dupe, James H. Davenport |
| 1992 | ISSAC | Primality Testing Revisited. | James H. Davenport |
| 1991 | ISSAC | Scratchpad's View of Algebra II: A Categorical View of Factorization. | James H. Davenport, Patrizia M. Gianni, Barry M. Trager |
| 1988 | ISSAC | Effective Tests for Cyclotonic Polynomials. | Russell J. Bradford, James H. Davenport |
| 1986 | ISSAC | The Bath algebraic number package. | John A. Abbott, Russell J. Bradford, James H. Davenport |
| 1986 | ISSAC | PowerMath: a system for the Macintosh. | James H. Davenport, C. E. Roth |
| 1981 | ISSAC | Factorization over finitely generated fields. | James H. Davenport, Barry M. Trager |