ORCID as entered in ROS

Select Publications
Bradford R; Davenport JH; England M; Sadeghimanesh A; Uncu A, 2021, The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition, http://dx.doi.org/10.1145/3511528.3511538
Florescu D; England M, 2020, A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs, http://dx.doi.org/10.1007/978-3-030-52200-1_30
brahám EÁ; Davenport J; England M; Kremer G; Tonks Z, 2020, New Opportunities for the Formal Proof of Computational Real Geometry?, http://arxiv.org/abs/2004.04034v1
Sadeghimanesh A; England M, 2020, Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks, http://dx.doi.org/10.1186/s12859-022-04921-6
Ábrahám E; Davenport JH; England M; Kremer G, 2020, Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings, http://dx.doi.org/10.1016/j.jlamp.2020.100633
Florescu D; England M, 2019, Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness, http://dx.doi.org/10.1007/978-3-030-43120-4_27
Croft D; England M, 2019, Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code, http://dx.doi.org/10.1145/3372356.3372357
Billings S; England M, 2019, First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment, http://dx.doi.org/10.1145/3372356.3372358
Florescu D; England M, 2019, Algorithmically generating new algebraic features of polynomial systems for machine learning, http://arxiv.org/abs/1906.01455v1
Kiss AE; Hogg AM; Hannah N; Boeira Dias F; Brassington GB; Chamberlain MA; Chapman C; Dobrohotoff P; Domingues CM; Duran ER; England MH; Fiedler R; Griffies SM; Heerdegen A; Heil P; Holmes RM; Klocker A; Marsland SJ; Morrison AK; Munroe J; Oke PR; Nikurashin M; Pilo GS; Richet O; Savita A; Spence P; Stewart KD; Ward ML; Wu F; Zhang X, 2019, ACCESS-OM2: A Global Ocean-Sea Ice Model at Three Resolutions, http://dx.doi.org/10.5194/gmd-2019-106
England M; Florescu D, 2019, Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition, http://dx.doi.org/10.1007/978-3-030-23250-4_7
England M; Bradford R; Davenport JH, 2019, Cylindrical Algebraic Decomposition with Equational Constraints, http://dx.doi.org/10.1016/j.jsc.2019.07.019
Bradford R; Davenport JH; England M; Errami H; Gerdt V; Grigoriev D; Hoyt C; Kosta M; Radulescu O; Sturm T; Weber A, 2019, Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks, http://dx.doi.org/10.1016/j.jsc.2019.07.008
Deshpande S; Shuttleworth J; Yang J; Taramonli S; England M, 2019, PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets, http://dx.doi.org/10.1016/j.compbiomed.2018.12.014
Croft D; England M, 2018, Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback, http://dx.doi.org/10.1145/3294016.3294018
Alayba AM; Palade V; England M; Iqbal R, 2018, A Combined CNN and LSTM Model for Arabic Sentiment Analysis, http://dx.doi.org/10.1007/978-3-319-99740-7_12
England M, 2018, Machine Learning for Mathematical Software, http://dx.doi.org/10.1007/978-3-319-96418-8_20
Mulligan C; Bradford R; Davenport JH; England M; Tonks Z, 2018, Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics, http://arxiv.org/abs/1806.11447v1
Mulligan C; Davenport JH; England M, 2018, TheoryGuru: A Mathematica Package to apply Quantifier Elimination, http://dx.doi.org/10.1007/978-3-319-96418-8_44
Cowen-Rivers AI; England M, 2018, Towards Incremental Cylindrical Algebraic Decomposition in Maple, http://arxiv.org/abs/1805.10136v1
Mulligan CB; Bradford R; Davenport JH; England M; Tonks Z, 2018, Quantifier Elimination for Reasoning in Economics, http://arxiv.org/abs/1804.10037v2
Huang Z; England M; Wilson D; Davenport JH; Paulson LC, 2018, Using Machine Learning to Improve Cylindrical Algebraic Decomposition, http://dx.doi.org/10.1007/s11786-019-00394-8
Cowen-Rivers AI; England M, 2018, Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition, http://arxiv.org/abs/1804.08564v1
Davenport JH; England M; Sebastiani R; Trentin P, 2018, OpenMath and SMT-LIB, http://arxiv.org/abs/1803.01592v1
Alayba AM; Palade V; England M; Iqbal R, 2018, Improving Sentiment Analysis in Arabic Using Word Representation, http://dx.doi.org/10.1109/ASAR.2018.8480191
Naughten KA; Meissner KJ; Galton-Fenzi BK; England MH; Timmermann R; Hellmer HH; Hattermann T; Debernard JB, 2017, Intercomparison of Antarctic ice shelf, ocean, and sea ice interactions simulated by two models, http://dx.doi.org/10.5194/gmd-2017-268
Davenport JH; England M, 2017, The Potential and Challenges of CAD with Equational Constraints for SC-Square, http://dx.doi.org/10.1007/978-3-319-72453-9_22
England M; Errami H; Grigoriev D; Radulescu O; Sturm T; Weber A, 2017, Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks, http://dx.doi.org/10.1007/978-3-319-66320-3_8
Bradford R; Davenport JH; England M; Errami H; Gerdt V; Grigoriev D; Hoyt C; Kosta M; Radulescu O; Sturm T; Weber A, 2017, A Case Study on the Parametric Occurrence of Multiple Steady States, http://dx.doi.org/10.1145/3087604.3087622
Alayba AM; Palade V; England M; Iqbal R, 2017, Arabic Language Sentiment Analysis on Health Services, http://dx.doi.org/10.1109/ASAR.2017.8067771
England M; Davenport JH, 2016, Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition, http://arxiv.org/abs/1609.09269v1
Huang Z; England M; Davenport JH; Paulson LC, 2016, Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases, http://dx.doi.org/10.1109/SYNASC.2016.020
Abraham E; Abbott J; Becker B; Bigatti AM; Brain M; Buchberger B; Cimatti A; Davenport JH; England M; Fontaine P; Forrest S; Griggio A; Kroening D; Seiler WM; Sturm T, 2016, Satisfiability Checking meets Symbolic Computation (Project Paper), http://dx.doi.org/10.1007/978-3-319-42547-4_3
Abraham E; Abbott J; Becker B; Bigatti AM; Brain M; Buchberger B; Cimatti A; Davenport JH; England M; Fontaine P; Forrest S; Griggio A; Kroening D; Seiler WM; Sturm T, 2016, Satisfiability Checking and Symbolic Computation, http://dx.doi.org/10.1145/3055282.3055285
Davenport JH; England M, 2016, Need Polynomial Systems be Doubly-exponential?, http://dx.doi.org/10.1007/978-3-319-42432-3_20
England M; Davenport JH, 2016, The complexity of cylindrical algebraic decomposition with respect to polynomial degree, http://dx.doi.org/10.1007/978-3-319-45641-6_12
Sijp WP; England MH, 2015, The effect of low ancient greenhouse climate temperature gradients on the ocean's overturning circulation, http://dx.doi.org/10.5194/cpd-11-4787-2015
Davenport JH; England M, 2015, Recent Advances in Real Geometric Reasoning, http://dx.doi.org/10.1007/978-3-319-21362-0_3
England M; Wilson D, 2015, An implementation of Sub-CAD in Maple, http://arxiv.org/abs/1503.06599v1
England M; Bradford R; Davenport JH, 2015, Improving the use of equational constraints in cylindrical algebraic decomposition, http://dx.doi.org/10.1145/2755996.2756678
Wilson D; England M; Bradford R; Davenport JH, 2014, Using the distribution of cells by dimension in a cylindrical algebraic decomposition, http://dx.doi.org/10.1109/SYNASC.2014.15
Huang Z; England M; Wilson D; Davenport JH; Paulson LC, 2014, A comparison of three heuristics to choose the variable ordering for CAD, http://dx.doi.org/10.1145/2733693.2733706
England M; Bradford R; Davenport JH; Wilson D, 2014, Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition, http://dx.doi.org/10.1007/978-3-662-44199-2_68
England M; Wilson D; Bradford R; Davenport JH, 2014, Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting, http://dx.doi.org/10.1007/978-3-662-44199-2_69
England M, 2014, Formulating problems for real algebraic geometry, http://arxiv.org/abs/1405.3461v1
Huang Z; England M; Wilson D; Davenport JH; Paulson LC; Bridge J, 2014, Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition, http://dx.doi.org/10.1007/978-3-319-08434-3_8
England M; Bradford R; Chen C; Davenport JH; Maza MM; Wilson D, 2014, Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition, http://dx.doi.org/10.1007/978-3-319-08434-3_5
Bradford R; Chen C; Davenport JH; England M; Maza MM; Wilson D, 2014, Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains, http://dx.doi.org/10.1007/978-3-319-10515-4_4
Wilson DJ; Bradford RJ; Davenport JH; England M, 2014, Cylindrical Algebraic Sub-Decompositions, http://dx.doi.org/10.1007/s11786-014-0191-z
Bradford R; Davenport JH; England M; McCallum S; Wilson D, 2014, Truth Table Invariant Cylindrical Algebraic Decomposition, http://dx.doi.org/10.1016/j.jsc.2015.11.002