Michael Lowry
About
Michael Lowry has authored 50 papers that have received a total of 655 indexed citations.
This includes 18 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 6 papers in Aerospace Engineering. The topics of these papers are Formal Methods in Verification (6 papers), Logic, programming, and type systems (5 papers) and Dialysis and Renal Disease Management (5 papers). Michael Lowry is often cited by papers focused on Formal Methods in Verification (6 papers), Logic, programming, and type systems (5 papers) and Dialysis and Renal Disease Management (5 papers) and collaborates with scholars based in United States, United Kingdom and Australia. Michael Lowry's co-authors include George Winokur, David Béhar, CHARLES VANVALKENBURG, Johann Schumann and David Brown and has published in prestigious journals such as American Journal of Psychiatry, Cement and Concrete Research and Expert Systems with Applications
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Ya‐Yun Cheng Top authors papers by Anuj Kumar Sharma are co-authored with Top authors papers by James Cooley are co-authored with Top authors papers by Qi Yong H. Ai are co-authored with Top fields papers by Lingyu Li are about Top countries impacted by papers by Lin Jiang Top journals papers by John R. Hodgson are published in Top authors papers by Xiaohan Yu are co-authored with