Michael Lowry

Combining unit-level symbolic execution and system-level concrete execution for testing nasa software

Corina S. Păsăreanu, Peter Mehlitz, David Bushnell et al. · 2008 · 282 citations

Computing, Computer Engineering, Computer Science +15

Predisposition Locus for Major Depression at Chromosome 12q22-12q23.2

Victor Abkevich, Nicola J. Camp, Charles H. Hensel et al. · The American Journal of Human Genetics · 2003 · 197 citations · Full text

Life Sciences, Genetics, Molecular Genetics +14

IS A FAMILIAL DEFINITION OF DEPRESSION BOTH FEASIBLE AND VALID?

George Winokur, David Béhar, CHARLES VANVALKENBURG et al. · The Journal of Nervous and Mental Disease · 1978 · 110 citations

Medicine, Geriatric Medicine, Psychiatry +15

Genome‐wide linkage analyses of extended Utah pedigrees identifies loci that influence recurrent, early‐onset major depression and anxiety disorders

Nicola J. Camp, Michael Lowry, Ruth Richards et al. · American Journal of Medical Genetics Part B Neuropsychiatric Genetics · 2005 · 109 citations

Life Sciences, Genetics, Psychiatry +15

Algorithm theories and design tactics

Douglas R. Smith, Michael Lowry · Science of Computer Programming · 1990 · 87 citations

Computing, Computer Science, Algorithms +8