Michael Lowry

2.1k total citations
79 papers, 1.1k citations indexed

About

Michael Lowry is a scholar working on Artificial Intelligence, Computer Networks and Communications and Hardware and Architecture. According to data from OpenAlex, Michael Lowry has authored 79 papers receiving a total of 1.1k indexed citations (citations by other indexed papers that have themselves been cited), including 27 papers in Artificial Intelligence, 17 papers in Computer Networks and Communications and 12 papers in Hardware and Architecture. Recurrent topics in Michael Lowry's work include Logic, programming, and type systems (11 papers), Formal Methods in Verification (11 papers) and Distributed systems and fault tolerance (9 papers). Michael Lowry is often cited by papers focused on Logic, programming, and type systems (11 papers), Formal Methods in Verification (11 papers) and Distributed systems and fault tolerance (9 papers). Michael Lowry collaborates with scholars based in United States, United Kingdom and Jamaica. Michael Lowry's co-authors include George Winokur, David Béhar, CHARLES VANVALKENBURG, Corina S. Păsăreanu, Suzette Person, Peter Mehlitz, Karen Gundy-Burlet, David Bushnell, Douglas R. Smith and Charles Van Valkenburg and has published in prestigious journals such as American Journal of Psychiatry, Geophysical Research Letters and Cement and Concrete Research.

In The Last Decade

Michael Lowry

76 papers receiving 928 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Michael Lowry United States	19	280	220	200	150	142	79	1.1k
John Clements Canada	22	196 0.7×	296 1.3×	228 1.1×	141 0.9×	269 1.9×	83	1.6k
José F. Quesada United States	11	114 0.4×	527 2.4×	140 0.7×	25 0.2×	83 0.6×	24	1.2k
John P. Gallagher Denmark	17	140 0.5×	376 1.7×	70 0.3×	30 0.2×	78 0.5×	86	1.1k
Erik Linstead United States	24	238 0.8×	368 1.7×	746 3.7×	139 0.9×	149 1.0×	82	1.9k
Josep Silva Spain	14	296 1.1×	154 0.7×	294 1.5×	27 0.2×	17 0.1×	93	956
Miguel García Spain	15	44 0.2×	125 0.6×	102 0.5×	470 3.1×	390 2.7×	55	1.5k
Richard Lipton United States	17	125 0.4×	288 1.3×	146 0.7×	673 4.5×	23 0.2×	59	1.5k
Maurizio Tucci Italy	15	103 0.4×	164 0.7×	73 0.4×	24 0.2×	98 0.7×	54	560
Lasse Bergroth Finland	8	36 0.1×	225 1.0×	96 0.5×	23 0.2×	194 1.4×	10	613
G. Schneider United States	22	95 0.3×	92 0.4×	218 1.1×	76 0.5×	14 0.1×	81	1.5k

Countries citing papers authored by Michael Lowry

Since Specialization

Citations

This map shows the geographic impact of Michael Lowry's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Michael Lowry with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Michael Lowry more than expected).

Fields of papers citing papers by Michael Lowry

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Michael Lowry. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Michael Lowry. The network helps show where Michael Lowry may publish in the future.

Co-authorship network of co-authors of Michael Lowry

This figure shows the co-authorship network connecting the top 25 collaborators of Michael Lowry. A scholar is included among the top collaborators of Michael Lowry based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Michael Lowry. Michael Lowry is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Klotzbach, Philip J., Kimberly M. Wood, Carl J. Schreck, et al.. (2025). The Remarkable 2024 North Atlantic Mid‐Season Hurricane Lull. Geophysical Research Letters. 52(19). 1 indexed citations

Behravan, Amir, et al.. (2023). Effect of pretreatment on reclaimed asphalt pavement aggregates for minimizing the impact of leachate on cement hydration. Cement and Concrete Research. 173. 107305–107305. 5 indexed citations

Schumann, Johann, et al.. (2014). A Tool Chain for the V&V of NASA Cryogenic Fuel Loading Health Management. Annual Conference of the PHM Society. 6(1). 1 indexed citations

Doyle, Richard J., et al.. (2013). Human and Robotic Space Mission Use Cases for High-Performance Spaceflight Computing. 2 indexed citations

Lowry, Michael, et al.. (2010). N-version programming in WCET analysis. 157–160. 1 indexed citations

Camp, Nicola J., Michael Lowry, Ruth Richards, et al.. (2005). Genome‐wide linkage analyses of extended Utah pedigrees identifies loci that influence recurrent, early‐onset major depression and anxiety disorders. American Journal of Medical Genetics Part B Neuropsychiatric Genetics. 135B(1). 85–93. 80 indexed citations

Whittle, Jon, J. Schümann, Peter Robinson, et al.. (2005). Amphion/NAV: deductive synthesis of state estimation software. 18. 395–399. 9 indexed citations

Lowry, Michael. (2003). Automatic programming. 119–122. 1 indexed citations

Lowry, Michael. (1998). Component-Based Reconfigurable Systems. Computer. 31(4). 44–45. 5 indexed citations

10.

Lowry, Michael & Daniel Dvorak. (1998). Analytic verification of flight software. IEEE Intelligent Systems and their Applications. 13(5). 45–49. 8 indexed citations

11.

Lowry, Michael & Theodore A. Linden. (1997). Generation and exploitation of aggregation abstractions for scheduling and resource allocation. Expert Systems with Applications. 12(3). V–V.

12.

Lowry, Michael, Andrew Philpot, Thomas Pressburger, et al.. (1994). AMPHION: Specification-based programming for scientific subroutine libraries. 2 indexed citations

13.

Lowry, Michael. (1992). Software engineering in the twenty-first century. AI Magazine. 13(3). 71–87. 23 indexed citations

14.

Lowry, Michael. (1992). Symmetry as bias: rediscovering special relativity. NASA Technical Reports Server (NASA). 56–62.

15.

Linden, Theodore A. & Michael Lowry. (1992). Generation and Exploitation of Aggregation Abstractions for Scheduling and Resource Allocation. NASA Technical Reports Server (NASA). 1 indexed citations

16.

Smith, Douglas R. & Michael Lowry. (1990). Algorithm theories and design tactics. Science of Computer Programming. 14(2-3). 305–321. 41 indexed citations

17.

Lowry, Michael. (1988). Invariant logic: a calculus for problem reformulation. National Conference on Artificial Intelligence. 14–18. 4 indexed citations

18.

Lowry, Michael. (1987). Algorithm synthesis through problem reformulation. National Conference on Artificial Intelligence. 432–436. 19 indexed citations

19.

Lowry, Michael. (1987). The abstraction/implementation model of problem reformulation. International Joint Conference on Artificial Intelligence. 56. 1004–1010. 10 indexed citations

20.

Fischler, Martin A., et al.. (1982). Modeling and using physical constraints in scene analysis. National Conference on Artificial Intelligence. 30–35. 7 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact