Select Publications

Journal articles

England M, 1993, 'The mechanism for Antarctic Intermediate Water renewal in a World Ocean model', Annales Geophysicae, 11

England MH, 1992, 'On the formation of Antarctic Intermediate and Bottom Water in ocean general circulation models', Journal of Physical Oceanography, 22, pp. 918 - 926, http://dx.doi.org/10.1175/1520-0485(1992)022<0918:OTFOAI>2.0.CO;2

England MH; Tomczak M; Stuart Godfrey J, 1992, 'Water-mass formation and Sverdrup dynamics; a comparison between climatology and a coupled ocean-atmosphere model', Journal of Marine Systems, 3, pp. 279 - 306, http://dx.doi.org/10.1016/0924-7963(92)90006-T

England M, 1991, 'An analysis of the dynamics and circulation in a global coupled ocean-atmosphere model', Ocean Sciences Institute Repository, 44, pp. pp 111 - pp 111

Conference Papers

Flood D; England M; Grawemeyer B, 2025, 'Predicting At-Risk Programming Students in Small Imbalanced Datasets Using Synthetic Data', in Communications in Computer and Information Science, pp. 427 - 432, http://dx.doi.org/10.1007/978-3-031-99261-2_48

Mafaz MA; Horri N; Lu Q; England M, 2024, 'Robust Auto-Tuning Control of a Delivery Quadcopter with Motor Faults, Mass and Inertia Estimation', in IFAC Papersonline, pp. 744 - 749, http://dx.doi.org/10.1016/j.ifacol.2025.01.055

Florescu D; England M, 2024, 'Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 186 - 195, http://dx.doi.org/10.1007/978-3-031-64529-7_19

Michel L; Nalbach J; Mathonet P; Zenaidi N; Brown CW; Abraham E; Davenport JH; England M, 2024, 'On Projective Delineability', in Proceedings 2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Synasc 2024, pp. 9 - 16, http://dx.doi.org/10.1109/SYNASC65383.2024.00015

England M, 2024, 'Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk)', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 1 - 10, http://dx.doi.org/10.1007/978-3-031-69070-9_1

Barket R; England M; Gerhard J, 2024, 'Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 167 - 175, http://dx.doi.org/10.1007/978-3-031-64529-7_18

Barket R; England M; Gerhard J, 2024, 'The Liouville Generator for Producing Integrable Expressions', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 47 - 62, http://dx.doi.org/10.1007/978-3-031-69070-9_4

del Río T; England M, 2023, 'Data Augmentation for Mathematical Objects', in Ceur Workshop Proceedings, pp. 29 - 38

Barket R; England M; Gerhard J, 2023, 'Generating Elementary Integrable Expressions', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 21 - 38, http://dx.doi.org/10.1007/978-3-031-41724-5_2

Davenport JH; England M, 2023, 'Iterated Resultants in CAD', in Ceur Workshop Proceedings, pp. 54 - 60

Uncu AK; Davenport JH; England M, 2023, 'SMT-Solving Induction Proofs of Inequalities', in Ceur Workshop Proceedings, pp. 10 - 24

England M, 2022, 'SC-Square: Future Progress with Machine Learning?', in Ceur Workshop Proceedings, pp. 7 - 16

England M, 2022, 'SC-Square: Overview to 2021', in Ceur Workshop Proceedings, pp. 1 - 6

Alayba AM; Palade V; England M; Iqbal R, 2017, 'Arabic Language Sentiment Analysis on Health Services', in 2017 1ST INTERNATIONAL WORKSHOP ON ARABIC SCRIPT ANALYSIS AND RECOGNITION (ASAR), IEEE, FRANCE, Nancy, pp. 114 - 118, presented at 1st IEEE International Workshop on Arabic Script Analysis and Recognition (ASAR), FRANCE, Nancy, 03 April 2017 - 05 April 2017

Huang Z; England M; Davenport JH; Paulson LC, 2016, 'Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases', in Davenport J; Negru V; Ida T; Jebelean T; Petcu D; Watt S; Zaharie D (eds.), PROCEEDINGS OF 2016 18TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), IEEE, ROMANIA, Timisoara, pp. 45 - 52, presented at 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), ROMANIA, Timisoara, 24 September 2016 - 27 September 2016, http://dx.doi.org/10.1109/SYNASC.2016.14

Taschetto AS; Haarsma R; Sen Gupta AR; Ummenhofer CC; England MH, 2010, 'Teleconnections associated with the intensification of the Australian monsoon during El Nio Modoki events', in IOP Conference Series: Earth and Environmental Sciences, IOP Publishing Ltd, Bristol UK, presented at 17th National Conference of the Australian Meteorological and Oceanographic Society, AMOS, Canberra, ACT, Australia, 27 January 2010 - 29 January 2010, http://dx.doi.org/10.1088/1755-1315/11/1/012031

England MH, 1996, 'Validating ocean climate models - new tools and data sets for ocean model assessment', in Climate Impacts Assessment Workshop, Melbourne, presented at Climate Impacts Assessment Workshop, Melbourne, 04 December 1996 - 05 December 1996

Conference Presentations

Goyal R; Jucker M; Sen Gupta A; England M, 2020, 'Why is there a Zonal Wave 3 pattern in the Southern Hemisphere extratropical circulation?', presented at EGU General Assembly, http://dx.doi.org/10.5194/egusphere-egu2020-12114

Reports

England M; Steffen W; Karoly D, 2012, The science behind southeast Australia's wet, cool summer

England M; Raupach M; Lambeck K; Fairley-Grenot K; Finnigan J; Krull E; Langford J; Lovegrove K; Wright J; Young M, 2010, Challenges at Energy-Water Carbon intersections

England M; Allison I; Bird M; Church J; Enting I; Karoly D; Raupach M; Palutikof J; Sherwood S, 2010, The Science of Climate Change: Questions and Answers, Australian Academy of Science, Canberra, https://www.climatechangeauthority.gov.au/sites/default/files/2020-06/submissions/2015/Australian%20Academy%20of%20Science%20-%20attachment.pdf

England M, 1999, Geochemical tracer modelling in ocean simulations: status, limitations, and future perspectives, WOCE Report 167/99

England M, 1999, Southern Ocean modelling for Climate Studies, WOCE Report No. 165/99

England M, 1999, Two-way model-data interaction, WOCE Report No. 167/99

Rahmstorf S; England MH, 1997, On the influence of Southern Hemisphere winds on North Atlantic Deep Water flow

England M, 1991, Changes in Pacific Ocean sea level related to variations in North Atlantic Deep Water formation, Sydney University, Annex IV, 4-5.

Theses / Dissertations

England M, 1992, The global-scale circulation and water-mass formation in a World Ocean Model, University of Sydney

England M, 1987, Evolution of the near-surface thermal structure in the tropical Pacific Ocean during 1980-1983

Working Papers

Goyal R; Jucker M; Gupta AS; Hendon H; England M, 2021, Zonal Wave 3 Pattern in the Southern Hemisphere generated by tropical convection, http://dx.doi.org10.21203/rs.3.rs-320008/v1

Media

England M, 1999, WOCE chemical tracer measurements aid the assessment of ocean climate models

England M, 1993, A World Ocean model that resolves the global-scale water-masses.

England M; Tomczak M; England MH, 1991, A model of water-mass formation in the World Ocean

Preprints

Schmidt C; Morrison AK; England MH; Silvano A, 2025, Reduced West Antarctic melt rates and winds drive salinity rebound in the Ross Sea via baroclinic waves, http://dx.doi.org/10.22541/essoar.173870875.51711851/v2

Muilwijk M; Hattermann T; Beadling RL; Swart NC; Nummelin A; Guo C; Chandler DM; Langebroek P; Zhou S; Dutrieux P; Chen J-J; Danek C; England MH; Griffies SM; Haumann FA; Jüling A; Jouet O; Li Q; Martin T; Marshall J; Pauling AG; Purich A; Song Z; Smith IJ; Thomas M; Trombini I; van der Linden E; Xu X, 2025, Large Regional Differences in Antarctic Ice Shelf Mass Loss from Southern Ocean Warming and Meltwater Feedbacks, http://dx.doi.org/10.5194/egusphere-2025-3747

Aguiar W; Sohail T; Morrison AK; Ong EQY; Dias FB; Huneke WGC; Spence P; England MH, 2025, Reassessing the role of the Antarctic Slope Current in poleward ocean heat transport, http://dx.doi.org/10.22541/essoar.175700056.62702833/v1

Flood D; England M; Grawemeyer B, 2025, Predicting At-Risk Programming Students in Small Imbalanced Datasets using Synthetic Data, http://arxiv.org/abs/2505.17128v1

Schmidt C; Morrison AK; England MH; Aguiar W; Gibson AH, 2025, Sensitivity of Antarctic Bottom Water formation and export to horizontal model resolution, http://dx.doi.org/10.22541/essoar.172469193.39598080/v2

Schmidt GA; Mankoff KD; Bamber JL; Carroll D; Chandler DM; Coulon V; Davison BJ; England MH; Holland PR; Jourdain NC; Li Q; Marson JM; Mathiot P; McMahon CR; Moon TA; Mottram R; Nowicki S; Olivé Abelló A; Pauling AG; Rackow T; Ringeisen D, 2025, Datasets and protocols for including anomalous freshwater from melting ice sheets in climate simulations, http://dx.doi.org/10.5194/egusphere-2025-1940

Boeira Dias F; England MH; Morrison AK; Galton-Fenzi B, 2025, On the seasonal variability of ocean heat transport and ice shelf melt around Antarctica, http://dx.doi.org/10.5194/egusphere-2024-3905

Schmidt C; Morrison AK; England MH; Silvano A, 2025, West Antarctic melt variability and wind anomalies contribute to Ross Sea salinity rebound, http://dx.doi.org/10.22541/essoar.173870875.51711851/v1

Ong EQY; Doddridge E; Hogg AM; England MH, 2024, Seasonal sea-ice and eddy variability around the Antarctic margin, http://dx.doi.org/10.22541/essoar.173532505.52665007/v1

Ong EQY; England MH; Doddridge E; Constantinou NC, 2024, Transient Antarctic Slope Current Response to Climate Change including Meltwater, http://dx.doi.org/10.22541/essoar.173386140.05935937/v1

Michel L; Nalbach J; Mathonet P; Zénaïdi N; Brown CW; Ábrahám E; Davenport JH; England M, 2024, On Projective Delineability, http://dx.doi.org/10.1109/SYNASC65383.2024.00015

Barket R; Shafiq U; England M; Gerhard J, 2024, Transformers to Predict the Applicability of Symbolic Integration Routines, http://arxiv.org/abs/2410.23948v1

Schmidt C; Morrison AK; England MH; Aguiar W; Gibson AH, 2024, Sensitivity of Antarctic Bottom Water formation and export to horizontal model resolution, http://dx.doi.org/10.22541/essoar.172469193.39598080/v1

England M, 2024, Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition, http://dx.doi.org/10.1007/978-3-031-69070-9_1


Back to profile page