J. Davenport

Most-cited papers

1. An Analysis of Introductory Programming Courses at UK Universities

   Ellen Murphy, Tom Crick, J. Davenport

   2016The Art, Science, and Engineering of Programming69 citations Open access

   Semantic Scholar

   Save

2. Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition

   Zongyan Huang, M. England, D. Wilson, J. Davenport +2 more

   2014International Conference on Intelligent Computer Mathematics63 citations Open access

   Semantic Scholar

   Save

3. Language Choice in Introductory Programming Courses at Australasian and UK Universities

   Simon, Raina Mason, Tom Crick, J. Davenport +1 more

   2018Technical Symposium on Computer Science Education61 citations

   Semantic Scholar

   Save

4. Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings

   Erika Ábrahám, J. Davenport, M. England, Gereon Kremer

   2020J. Log. Algebraic Methods Program.54 citations Open access

   Semantic Scholar

   Save

5. A UK Case Study on Cybersecurity Education and Accreditation

   Tom Crick, J. Davenport, A. Irons, Tom Prickett

   2019Frontiers in Education Conference49 citations Open access

   Semantic Scholar

   Save

6. Towards a 21st Century Personalised Learning Skills Taxonomy

   Rupert R. Ward, O. Phillips, D. Bowers, T. Crick +5 more

   2021IEEE Global Engineering Education Conference40 citations Open access

   Semantic Scholar

   Save

7. Satisfiability Checking meets Symbolic Computation (Project Paper)

   E. Ábrahám, J. Abbott, B. Becker, Anna Maria Bigatti +11 more

   2016International Conference on Intelligent Computer Mathematics38 citations Open access

   Semantic Scholar

   Save

8. Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks

   R. Bradford, J. Davenport, M. England, Hassan Errami +7 more

   2019Journal of symbolic computation37 citations Open access

   Semantic Scholar

   Save

9. Cylindrical Algebraic Decomposition with Equational Constraints

   M. England, R. Bradford, J. Davenport

   2019Journal of symbolic computation37 citations Open access

   Semantic Scholar

   Save

10. Innovative Pedagogical Practices in the Craft of Computing

    J. Davenport, Alan Hayes, R. Hourizi, Tom Crick

    2016Learning and Teaching in Computing and Engineering34 citations Open access

    Semantic Scholar

    Save

11. Overcoming the Challenges of Teaching Cybersecurity in UK Computer Science Degree Programmes

    T. Crick, J. Davenport, Paulette Hanna, A. Irons +1 more

    2020Frontiers in Education Conference31 citations

    Semantic Scholar

    Save

12. Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition

    M. England, R. Bradford, J. Davenport

    2015International Symposium on Symbolic and Algebraic Computation31 citations Open access

    Semantic Scholar

    Save

13. A Case Study on the Parametric Occurrence of Multiple Steady States

    R. Bradford, J. Davenport, M. England, Hassan Errami +7 more

    2017International Symposium on Symbolic and Algebraic Computation30 citations Open access

    Semantic Scholar

    Save

14. Using Skills Profiling to Enable Badges and Micro-Credentials to be Incorporated into Higher Education Courses

    Rupert R. Ward, T. Crick, J. Davenport, Paulette Hanna +6 more

    2023Journal of Interactive Media in Education29 citations Open access

    Semantic Scholar

    Save

15. The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree

    M. England, J. Davenport

    2016Computer Algebra in Scientific Computing29 citations Open access

    Semantic Scholar

    Save

16. Using Machine Learning to Improve Cylindrical Algebraic Decomposition

    Zongyan Huang, M. England, D. Wilson, J. P. Bridge +2 more

    2018Mathematics and Computer Science28 citations Open access

    Semantic Scholar

    Save

17. Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases

    Zongyan Huang, M. England, J. Davenport, Lawrence Charles Paulson

    2016Symposium on Symbolic and Numeric Algorithms for Scientific Computing28 citations Open access

    Semantic Scholar

    Save

18. The Institute of Coding: A University-Industry Collaboration to Address the UK’s Digital Skills Crisis

    J. Davenport, T. Crick, R. Hourizi

    2019IEEE Global Engineering Education Conference26 citations

    Semantic Scholar

    Save

19. The Institute of Coding: Addressing the UK Digital Skills Crisis

    J. Davenport, Tom Crick, Alan Hayes, R. Hourizi

    2019Conference on Computing Education Practice24 citations Open access

    Semantic Scholar

    Save

20. TheoryGuru: A Mathematica Package to apply Quantifier Elimination

    C. Mulligan, J. Davenport, M. England

    2018International Congress on Mathematical Software23 citations Open access

    Semantic Scholar

    Save

21. Benchmarking Solvers, SAT-style

    Martin Brain, J. Davenport, A. Griggio

    2017SC²@ISSAC23 citations

    Semantic Scholar

    Save

22. Computer Science Degree Accreditation in the UK: A Post-Shadbolt Review Update

    Tom Crick, J. Davenport, Paulette Hanna, A. Irons +1 more

    2020Conference on Computing Education Practice20 citations Open access

    Semantic Scholar

    Save

23. Improvements to Quantum Search Techniques for Block-Ciphers, with Applications to AES

    J. Davenport, Benjamin Pring

    2020ACM Symposium on Applied Computing18 citations Open access

    Semantic Scholar

    Save

24. Levelwise construction of a single cylindrical algebraic cell

    Jasper Nalbach, Erika Ábrahám, P. Specht, Christopher W. Brown +2 more

    2022Journal of symbolic computation16 citations Open access

    Semantic Scholar

    Save

25. Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics

    C. Mulligan, R. Bradford, J. Davenport, M. England +1 more

    2018SC-Square@FLOC15 citations Open access

    Semantic Scholar

    Save

26. Data Without Software Are Just Numbers

    J. Davenport, James Grant, C. Jones

    2020Data Science Journal13 citations Open access

    Semantic Scholar

    Save

27. Mathematical Software – ICMS 2018

    J. Davenport, M. Kauers, G. Labahn, J. Urban

    2018Lecture Notes in Computer Science13 citations Open access

    Semantic Scholar

    Save

28. Increasing the Value of Professional Body Computer Science Degree Accreditation

    A. Irons, T. Crick, J. Davenport, Tom Prickett

    2021Technical Symposium on Computer Science Education11 citations

    Semantic Scholar

    Save

29. New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)

    Erika Ábrahám, J. Davenport, M. England, Gereon Kremer +1 more

    2020PAAR+SC²@IJCAI11 citations

    Semantic Scholar

    Save

30. Repositioning BCS Degree Accreditation

    Tom Crick, J. Davenport, Paulette Hanna, A. Irons +2 more

    202011 citations Open access

    Semantic Scholar

    Save

31. Symbolic computation and satisfiability checking

    J. Davenport, M. England, A. Griggio, T. Sturm +1 more

    2020Journal of symbolic computation11 citations Open access

    Semantic Scholar

    Save

32. On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving

    Gereon Kremer, E. Ábrahám, M. England, J. Davenport

    2021Symposium on Symbolic and Numeric Algorithms for Scientific Computing9 citations Open access

    Semantic Scholar

    Save

33. Need Polynomial Systems Be Doubly-Exponential?

    J. Davenport, M. England

    2016International Congress on Mathematical Software9 citations Open access

    Semantic Scholar

    Save

34. Regular cylindrical algebraic decomposition

    J. Davenport, Acyr F. Locatelli, G. Sankaran

    2018Journal of the London Mathematical Society8 citations Open access

    Semantic Scholar

    Save

35. Maintaining the Focus on Cybersecurity in UK Higher Education

    Tom Crick, J. Davenport, A. Irons, Sally Pearce +1 more

    2019ITNOW7 citations Open access

    Semantic Scholar

    Save

36. Satisfiability checking and symbolic computation

    E. Ábrahám, J. Abbott, B. Becker, Anna Maria Bigatti +11 more

    2016ACCA7 citations Open access

    Semantic Scholar

    Save

37. Machine-Assisted Proofs (ICM 2018 Panel)

    J. Davenport, B. Poonen, J. Maynard, H. Helfgott +2 more

    2018arXiv.org6 citations

    Semantic Scholar

    Save

38. Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition

    M. England, J. Davenport

    2016SC²@SYNASC6 citations

    Semantic Scholar

    Save

39. Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic

    E. Ábrahám, J. Davenport, M. England, Gereon Kremer

    2021ARCADE@CADE5 citations

    Semantic Scholar

    Save

40. Teaching of Computing to Mathematics Students: Programming and Discrete Mathematics

    Jack D. Betteridge, J. Davenport, M. Freitag, Willem Heijtljes +3 more

    2019Conference on Computing Education Practice5 citations

    Semantic Scholar

    Save

41. Teaching Programming Competencies: A Role for Craft Computing?

    Tom Crick, J. Davenport, Alan Hayes, Tom Prickett

    2023UK & Ireland Computing Education Research Conference4 citations Open access

    Semantic Scholar

    Save

42. A Practical Overview of Quantum Computing: Is Exascale Possible?

    J. Davenport, Jessica R. Jones, M. Thomason

    2023arXiv.org4 citations Open access

    Semantic Scholar

    Save

43. The DEWCAD project

    R. Bradford, J. Davenport, M. England, AmirHosein Sadeghimanesh +1 more

    2021ACM Communications in Computer Algebra4 citations Open access

    Semantic Scholar

    Save

44. Assessing the Value of Professional Body Accreditation of Computer Science Degree Programmes: A UK Case Study

    Tom Crick, Tom Prickett, J. Davenport, A. Irons

    2020Annual Conference on Innovation and Technology in Computer Science Education4 citations Open access

    Semantic Scholar

    Save

45. MACHINE-ASSISTED PROOFS

    J. Davenport, B. Poonen, J. Maynard, H. Helfgott +2 more

    2019International Congress of Mathematicans4 citations Open access

    Semantic Scholar

    Save

46. Fast Matrix Operations in Computer Algebra

    Zak P. Tonks, G. Sankaran, J. Davenport

    2017Symposium on Symbolic and Numeric Algorithms for Scientific Computing4 citations

    Semantic Scholar

    Save

47. A Generalised Successive Resultants Algorithm

    J. Davenport, Christophe Petit, Benjamin Pring

    2016International Workshop on Arithmetic of Finite Fields4 citations Open access

    Semantic Scholar

    Save

48. Interdisciplinary teaching of computing to mathematics students: Programming and discrete mathematics

    J. Davenport, David J. D. Wilson, I. Graham, G. Sankaran +3 more

    20144 citations Open access

    Semantic Scholar

    Save

49. SMT-Solving Induction Proofs of Inequalities

    A. Uncu, J. Davenport, M. England

    2023SC-Square@FLoC3 citations Open access

    Semantic Scholar

    Save

50. A Poly-algorithmic Approach to Quantifier Elimination

    J. Davenport, Zak P. Tonks, A. Uncu

    2023Symposium on Symbolic and Numeric Algorithms for Scientific Computing3 citations Open access

    Semantic Scholar

    Save