Matthew England
About
Matthew England has authored 43 papers that have received a total of 221 indexed citations.
This includes 20 papers in Computational Theory and Mathematics, 6 papers in Artificial Intelligence and 6 papers in Statistical and Nonlinear Physics. The topics of these papers are Polynomial and algebraic computation (18 papers), Formal Methods in Verification (9 papers) and Logic, programming, and type systems (6 papers). Matthew England is often cited by papers focused on Polynomial and algebraic computation (18 papers), Formal Methods in Verification (9 papers) and Logic, programming, and type systems (6 papers) and collaborates with scholars based in United Kingdom, Germany and France. Matthew England's co-authors include Thomas Sturm, James H. Davenport, David J. D. Wilson, Russell Bradford and Werner M. Seiler and has published in prestigious journals such as BMC Bioinformatics, Infection Control and Hospital Epidemiology and Computers in Biology and Medicine
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Jium-Ming Lin are about Top journals papers by G. Mazzitelli are published in Top fields papers by Sintayehu Asnakew are about Top journals papers by Gail Hansen are published in Top journals papers by Rina Susilowati are published in Top authors papers by Hindra Irawan Satari are co-authored with Top journals papers by Luciano Cavalcante de Jesus França are published in Top journals papers by Hannah Choe are published in