☰

Walter A. Hunt - Publications

Affiliations: 
National Institute on Alcohol Abuse and Alcoholism, North Bethesda, MD, United States 
Area:
Alcohol
Tree Info Grants Similar researchers PubMed Report error

1/228 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
1973 Hunt WA, Craig CR. Alterations in cation levels and Na-K ATPase activity in rat cerebral cortex during the development of cobalt-induced epilepsy. Journal of Neurochemistry. 20: 559-67. PMID 4266862  0.372
Low-probability matches (unlikely to be authored by this person)
1983 Rabin BM, Hunt WA, Lee J. Acquisition of lithium chloride- and radiation-induced taste aversions in hypophysectomized rats. Pharmacology, Biochemistry, and Behavior. 18: 463-5. PMID 6300938 DOI: 10.1016/0091-3057(83)90470-7  0.199
1991 Kandasamy SB, Hunt WA, Harris AH. Role of neurotensin in radiation-induced hypothermia in rats. Radiation Research. 126: 218-22. PMID 2023992  0.182
1985 Rabin BM, Hunt WA, Lee J. Intragastric copper sulfate produces a more reliable conditioned taste aversion in vagotomized rats than in intact rats. Behavioral and Neural Biology. 44: 364-73. PMID 4084182 DOI: 10.1016/S0163-1047(85)90664-8  0.18
1983 Wixon HN, Hunt WA. Ionizing radiation decreases veratridine-stimulated uptake of sodium in rat brain synaptosomes. Science (New York, N.Y.). 220: 1073-4. PMID 6302846  0.175
1979 Hunt WA, Dalton TK, Darden JH. Transient alterations in neurotransmitter activity in the caudate nucleus of rat brain after a high dose of ionizing radiation. Radiation Research. 80: 556-62. PMID 42108  0.167
1990 Kandasamy SB, Hunt WA. Involvement of prostaglandins and histamine in radiation-induced temperature responses in rats. Radiation Research. 121: 84-90. PMID 2300672  0.158
1983 Rabin BM, Hunt WA, Lee J. Attenuation of radiation- and drug-induced conditioned taste aversions following area postrema lesions in the rat. Radiation Research. 93: 388-94. PMID 6296913  0.153
1986 Mullin MJ, Hunt WA, Harris RA. Ionizing radiation alters the properties of sodium channels in rat brain synaptosomes. Journal of Neurochemistry. 47: 489-95. PMID 2426399  0.153
1973 Hunt WA. Changes in the neuro-excitability of alcohol-dependent rats undergoing withdrawal as measured by the pentylenetetrazole seizure threshold. Neuropharmacology. 12: 1097-102. PMID 4797622 DOI: 10.1016/0028-3908(73)90054-3  0.153
1988 Rabin BM, Hunt WA, Lee J. Attenuation and cross-attenuation in taste aversion learning in the rat: studies with ionizing radiation, lithium chloride and ethanol. Pharmacology, Biochemistry, and Behavior. 31: 909-18. PMID 2855272 DOI: 10.1016/0091-3057(88)90404-2  0.152
1991 Kandasamy SB, Howerton TC, Hunt WA. Reductions in calcium uptake induced in rat brain synaptosomes by ionizing radiation. Radiation Research. 125: 158-62. PMID 1996373  0.151
1986 Rabin BM, Hunt WA, Bakarich AC, Chedester AL, Lee J. Angiotensin II-induced taste aversion learning in cats and rats and the role of the area postrema. Physiology & Behavior. 36: 1173-8. PMID 3725923  0.146
1989 Rabin BM, Hunt WA. Interaction of haloperidol and area postrema lesions in the disruption of amphetamine-induced conditioned taste aversion learning in rats. Pharmacology, Biochemistry, and Behavior. 33: 847-51. PMID 2616604 DOI: 10.1016/0091-3057(89)90481-4  0.143
1976 Majchrowicz E, Hunt WA. Temporal relationship of the induction of tolerance and physical dependence after continuous intoxication with maximum tolerable doses of ethanol in rats. Psychopharmacology. 50: 107-12. PMID 826949 DOI: 10.1007/BF00430477  0.143
1993 Joseph JA, Hunt WA, Rabin BM, Dalton TK, Harris AH. Deficits in the sensitivity of striatal muscarinic receptors induced by 56Fe heavy-particle irradiation: further "age-radiation" parallels. Radiation Research. 135: 257-61. PMID 8367598  0.142
1978 Majchrowicz E, Hunt WA. Effect of ethanol on the disappearance of acutely administered acetate from the blood in rats. Biochemical Pharmacology. 27: 128-30. PMID 619898 DOI: 10.1016/0006-2952(78)90271-X  0.141
1984 Rabin BM, Hunt WA, Lee J. Recall of a previously acquired conditioned taste aversion in rats following lesions of the area postrema. Physiology & Behavior. 32: 503-6. PMID 6463131 DOI: 10.1016/0031-9384(84)90270-1  0.14
1986 Rabin BM, Hunt WA, Lee J. Effects of area postrema lesions on taste aversions produced by treatment with WR-2721 in the rat. Neurobehavioral Toxicology and Teratology. 8: 83-7. PMID 3010144  0.139
1976 Hunt WA, Dalton TK. Regional brain acetylcholine levels in rats acutely treated with ethanol or rendered ethanol-dependent. Brain Research. 109: 628-31. PMID 945115 DOI: 10.1016/0006-8993(76)90043-3  0.135
1992 Joseph JA, Hunt WA, Rabin BM, Dalton TK. Possible "accelerated striatal aging" induced by 56Fe heavy-particle irradiation: implications for manned space flights. Radiation Research. 130: 88-93. PMID 1561322 DOI: 10.2307/3578484  0.132
1984 Rabin BM, Hunt WA, Lee J. Effects of dose and of partial body ionizing radiation on taste aversion learning in rats with lesions of the area postrema. Physiology & Behavior. 32: 119-22. PMID 6718522 DOI: 10.1016/0031-9384(84)90081-7  0.127
1974 Hunt WA, Majchrowicz E. Alterations in the turnover of brain norepinephrine and dopamine in alcohol-dependent rats. Journal of Neurochemistry. 23: 549-52. PMID 4473047  0.127
1988 Joseph JA, Dalton TK, Roth GS, Hunt WA. Alterations in muscarinic control of striatal dopamine autoreceptors in senescence: a deficit at the ligand-muscarinic receptor interface? Brain Research. 454: 149-55. PMID 3136856 DOI: 10.1016/0006-8993(88)90813-X  0.126
1988 Hunt WA, Rabin BM. Attenuation of a radiation-induced conditioned taste aversion after the development of ethanol tolerance. Life Sciences. 43: 59-66. PMID 3386415 DOI: 10.1016/0024-3205(88)90237-8  0.125
1974 Hunt WA, Majchrowicz E. Turnover rates and steady-state levels of brain serotonin in alcohol-dependent rats. Brain Research. 72: 181-4. PMID 4857361 DOI: 10.1016/0006-8993(74)90665-9  0.12
1981 Hunt WA, Dalton TK. Neurotransmitter-receptor binding in various brain regions in ethanol-dependent rats. Pharmacology, Biochemistry, and Behavior. 14: 733-9. PMID 6113608 DOI: 10.1016/0091-3057(81)90140-4  0.119
1988 Kandasamy SB, Hunt WA, Mickley GA. Implication of prostaglandins and histamine H1 and H2 receptors in radiation-induced temperature responses of rats. Radiation Research. 114: 42-53. PMID 3353507  0.116
1990 Kandasamy SB, Hunt WA. Arachidonic acid and prostaglandins enhance potassium-stimulated calcium influx into rat brain synaptosomes. Neuropharmacology. 29: 825-9. PMID 2127302 DOI: 10.1016/0028-3908(90)90156-L  0.115
1991 Rabin BM, Hunt WA, Joseph JA, Dalton TK, Kandasamy SB. Relationship between linear energy transfer and behavioral toxicity in rats following exposure to protons and heavy particles. Radiation Research. 128: 216-21. PMID 1658847 DOI: 10.2307/3578141  0.115
1979 Hunt WA, Harden TK, Thurman RG. beta-adrenergic receptor density in brains of ethanol-dependent rats. Drug and Alcohol Dependence. 4: 327. PMID 230952 DOI: 10.1016/0376-8716(79)90015-2  0.113
1987 Hunt WA, Rabin BM, Lee J. Ethanol-induced taste aversions: lack of involvement of acetaldehyde and the area postrema. Alcohol (Fayetteville, N.Y.). 4: 169-73. PMID 3593531 DOI: 10.1016/0741-8329(87)90039-5  0.111
1976 Majchrowicz E, Hunt WA, Piantadosi C. Suppression by 1,3-butanediol of the ethanol withdrawal syndrome in rats. Science (New York, N.Y.). 194: 1181-2. PMID 1033604 DOI: 10.1126/Science.1033604  0.111
1983 Rabin BM, Hunt WA. Effects of antiemetics on the acquisition and recall of radiation- and lithium chloride-induced conditioned taste aversions. Pharmacology, Biochemistry, and Behavior. 18: 629-35. PMID 6306696 DOI: 10.1016/0091-3057(83)90292-7  0.11
1987 Rabin BM, Hunt WA, Lee J. Interactions between radiation and amphetamine in taste aversion learning and the role of the area postrema in amphetamine-induced conditioned taste aversions. Pharmacology, Biochemistry, and Behavior. 27: 677-83. PMID 2821558 DOI: 10.1016/0091-3057(87)90194-8  0.108
1990 Hunt WA, Dalton TK, Joseph JA, Rabin BM. Reduction of 3-methoxytyramine concentrations in the caudate nucleus of rats after exposure to high-energy iron particles: evidence for deficits in dopaminergic neurons. Radiation Research. 121: 169-74. PMID 2305034 DOI: 10.2307/3577500  0.108
1987 Hunt WA, Rabin BM, Lee J. Effects of subdiaphragmatic vagotomy on the acquisition of a radiation-induced conditioned taste aversion. Neurotoxicology and Teratology. 9: 75-7. PMID 3627080 DOI: 10.1016/0892-0362(87)90073-0  0.106
1988 Kandasamy SB, Kumar KS, Hunt WA, Weiss JF. Opposite effects of WR-2721 and WR-1065 on radiation-induced hypothermia: possible correlation with oxygen uptake. Radiation Research. 114: 240-7. PMID 2836882  0.105
1982 Rabin BM, Hunt WA, Lee J. State-dependent interactions in the antihistamine-induced disruption of a radiation-induced conditioned taste aversion. Radiation Research. 90: 621-7. PMID 7089182  0.103
1988 Joseph JA, Dalton TK, Hunt WA. Age-related decrements in the muscarinic enhancement of K+-evoked release of endogenous striatal dopamine: an indicator of altered cholinergic-dopaminergic reciprocal inhibitory control in senescence. Brain Research. 454: 140-8. PMID 2900662 DOI: 10.1016/0006-8993(88)90812-8  0.103
1988 Joseph JA, Kandasamy SB, Hunt WA, Dalton TK, Stevens S. Radiation-induced increases in sensitivity of cataleptic behavior to haloperidol: possible involvement of prostaglandins. Pharmacology, Biochemistry, and Behavior. 29: 335-41. PMID 3362928  0.102
1982 Wescott SL, Hunt WA, Kaliner M. Histamine H-1 receptors on rat peritoneal mast cells. Life Sciences. 31: 1911-9. PMID 7176803  0.099
1986 Rabin BM, Hunt WA, Chedester AL, Lee J. Role of the area postrema in radiation-induced taste aversion learning and emesis in cats. Physiology & Behavior. 37: 815-8. PMID 3774910 DOI: 10.1016/0031-9384(86)90189-7  0.099
1979 Hunt WA, Majchrowicz E, Dalton TK. Alterations in high-affinity choline uptake in brain after acute and chronic ethanol treatment. The Journal of Pharmacology and Experimental Therapeutics. 210: 259-63. PMID 572419  0.099
1983 Hunt WA, Majchrowicz E. Studies of neurotransmitter interactions after acute and chronic ethanol administration Pharmacology, Biochemistry and Behavior. 18: 361-374. DOI: 10.1016/0091-3057(83)90201-0  0.099
1982 Rabin BM, Hunt WA, Lee J. Studies on the role of central histamine in the acquisition of a radiation-induced conditioned taste aversion. Radiation Research. 90: 609-20. PMID 7089181  0.098
1994 Rabin BM, Joseph JA, Hunt WA, Dalton TB, Kandasamy SB, Harris AH, Ludewigt B. Behavioral endpoints for radiation injury. Advances in Space Research : the Official Journal of the Committee On Space Research (Cospar). 14: 457-66. PMID 11539983 DOI: 10.1016/0273-1177(94)90500-2  0.095
1979 Hunt WA, Majchrowicz E. Regional differences in high-affinity choline uptake in brain after acute and chronic treatment with ethanol. Drug and Alcohol Dependence. 4: 245-8. PMID 527480 DOI: 10.1016/0376-8716(79)90005-X  0.095
1976 Redos JD, Hunt WA, Catravas GN. Lack of alteration in regional brain adenosine-3',5'-cyclic monophosphate levels after acute and chronic treatment with ethanol. Life Sciences. 18: 989-92. PMID 178972  0.092
1992 Rabin BM, Hunt WA. Relationship between vomiting and taste aversion learning in the ferret: studies with ionizing radiation, lithium chloride, and amphetamine. Behavioral and Neural Biology. 58: 83-93. PMID 1333765 DOI: 10.1016/0163-1047(92)90291-B  0.09
1986 Rabin BM, Hunt WA. Mechanisms of radiation-induced conditioned taste aversion learning. Neuroscience and Biobehavioral Reviews. 10: 55-65. PMID 2871536 DOI: 10.1016/0149-7634(86)90033-3  0.089
1977 Hunt WA, Redos JD, Dalton TK, Catravas GN. Alterations in brain cyclic guanosine 3':5'-monophosphate levels after acute and chronic treatment with ethanol. The Journal of Pharmacology and Experimental Therapeutics. 201: 103-9. PMID 15100  0.089
1984 Mullin MJ, Hunt WA. Ethanol inhibits veratridine-stimulated sodium uptake in synaptosomes. Life Sciences. 34: 287-92. PMID 6694523 DOI: 10.1016/0024-3205(84)90601-5  0.089
1989 Hunt WA, Joseph JA, Rabin BM. Behavioral and neurochemical abnormalities after exposure to low doses of high-energy iron particles. Advances in Space Research : the Official Journal of the Committee On Space Research (Cospar). 9: 333-6. PMID 11537313 DOI: 10.1016/0273-1177(89)90456-0  0.085
1980 Hunt WA, Dalton TK. Reduction in cyclic nucleotide levels in the brain after a high dose of ionizing radiation. Radiation Research. 83: 210-5. PMID 6248920  0.084
1983 Hunt WA. Comparative effects of exposure to high-energy electrons and gamma radiation on active avoidance behaviour. International Journal of Radiation Biology and Related Studies in Physics, Chemistry, and Medicine. 44: 257-60. PMID 6604710 DOI: 10.1080/09553008314551121  0.081
1979 Hunt WA, Goldman ME. Lithium antagonism of ethanol-induced depletion of cerebellar guanosine-3',5'-cyclic monophosphate and stimulation of striatal dopamine release. Journal of Studies On Alcohol. 40: 401-7. PMID 224268  0.08
1979 Hunt WA, Majchrowicz E, Dalton TK, Swartzwelder HS, Wixon H. Alterations in neurotransmitter activity after acute and chronic ethanol treatment: studies of transmitter interactions. Alcoholism, Clinical and Experimental Research. 3: 359-63. PMID 42321 DOI: 10.1111/j.1530-0277.1979.tb05336.x  0.079
1985 Mullin MJ, Hunt WA. Actions of ethanol on voltage-sensitive sodium channels: effects on neurotoxin-stimulated sodium uptake in synaptosomes. The Journal of Pharmacology and Experimental Therapeutics. 232: 413-9. PMID 2578565  0.079
1987 Rabin BM, Hunt WA, Lee J. Taste aversion learning produced by combined treatment with subthreshold radiation and lithium chloride. Pharmacology, Biochemistry, and Behavior. 27: 671-5. PMID 2821557 DOI: 10.1016/0091-3057(87)90193-6  0.079
1980 Hunt WA, Wixon H, Dalton TK. Reduction in aminooxyacetic acid-induced accumulation of γ-aminobutyric acid after acute and chronic administration of ethanol Drug and Alcohol Dependence. 6: 71-72. DOI: 10.1016/0376-8716(80)90400-7  0.078
1980 Wixon HN, Hunt WA. Effect of acute and chronic ethanol treatment on gamma-aminobutyric acid levels and on aminooxyacetic acid-induced GABA accumulation. Substance and Alcohol Actions/Misuse. 1: 481-91. PMID 6272436  0.078
1985 Hunt WA, Mullin MJ. Effects of ethanol exposure on brain sodium channels. Alcohol and Drug Research. 6: 419-22. PMID 2425821  0.078
1989 Burghardt WF, Hunt WA. Characteristics of radiation-induced performance changes in bar-press avoidance with and without a preshock warning cue. Pharmacology, Biochemistry, and Behavior. 33: 549-54. PMID 2587596 DOI: 10.1016/0091-3057(89)90385-7  0.077
1987 Mullin MJ, Hunt WA. Effects of ethanol on the functional properties of sodium channels in brain synaptosomes. Recent Developments in Alcoholism : An Official Publication of the American Medical Society On Alcoholism, the Research Society On Alcoholism, and the National Council On Alcoholism. 5: 303-11. PMID 2436257  0.077
1976 Redos JD, Catravas GN, Hunt WA. Ethanol-induced depletion of cerebellar guanosine 3',5' -cyclic monophosphate. Science (New York, N.Y.). 193: 58-9. PMID 180596 DOI: 10.1126/Science.180596  0.077
1985 Burghardt WF, Hunt WA. Characterization of radiation-induced performance decrement using a two-lever shock-avoidance task. Radiation Research. 103: 149-57. PMID 4070559  0.076
1992 Hunt WA, Lands WE. A role for behavioral sensitization in uncontrolled ethanol intake. Alcohol (Fayetteville, N.Y.). 9: 327-8. PMID 1637498 DOI: 10.1016/0741-8329(92)90075-L  0.076
1994 Kandasamy SB, Rabin BM, Hunt WA, Dalton TK, Joseph JA, Harris AH. Exposure to heavy charged particles affects thermoregulation in rats. Radiation Research. 139: 352-6. PMID 8073118 DOI: 10.2307/3578833  0.073
1977 Majchrowicz E, Hunt WA, Lahti RA, Ogata M, Karoum F. The metabolism of biogenic amines in experimental animals and in human subjects during acute and chronic administration of ethanol. Advances in Experimental Medicine and Biology. 85: 539-46. PMID 200120  0.072
1982 Donlon M, Hunt WA, Catravas GN, Kaliner M. A characterization of beta-adrenergic receptors on cellular and perigranular membranes of rat peritoneal mast cells. Life Sciences. 31: 411-6. PMID 6290813 DOI: 10.1016/0024-3205(82)90325-3  0.072
1981 Hunt WA. Neurotransmitter function in the basal ganglia after acute and chronic ethanol treatment. Federation Proceedings. 40: 2077-81. PMID 6262136  0.07
1957 CAMPBELL DT, HUNT WA, LEWIS NA. The effects of assimilation and contrast in judgments of clinical materials. The American Journal of Psychology. 70: 347-60. PMID 13458507 DOI: 10.2307/1419571  0.07
1981 Majchrowicz E, Hunt WA. Neurobiological correlates of intoxication and physical dependence upon ethanol: introductory remarks. Federation Proceedings. 40: 2048-50. PMID 7227560  0.069
1992 Rabin BM, Hunt WA, Wilson ME, Joseph JA. Emesis in ferrets following exposure to different types of radiation: a dose-response study. Aviation, Space, and Environmental Medicine. 63: 702-5. PMID 1510644  0.069
1987 Mullin MJ, Dalton TK, Hunt WA, Harris RA, Majchrowicz E. Actions of ethanol on voltage-sensitive sodium channels: effects of acute and chronic ethanol treatment. The Journal of Pharmacology and Experimental Therapeutics. 242: 541-7. PMID 2441033  0.068
1983 Hunt WA, Majchrowicz E. Studies of neurotransmitter interactions after acute and chronic ethanol administration. Pharmacology, Biochemistry, and Behavior. 18: 371-4. PMID 6138773  0.066
1996 Hunt WA. Role of acetaldehyde in the actions of ethanol on the brain--a review. Alcohol (Fayetteville, N.Y.). 13: 147-51. PMID 8814648 DOI: 10.1016/0741-8329(95)02026-8  0.065
1987 Mullin MJ, Hunt WA. Actions of ethanol on voltage-sensitive sodium channels: effects on neurotoxin binding. The Journal of Pharmacology and Experimental Therapeutics. 242: 536-40. PMID 2441032  0.063
1989 Rabin BM, Hunt WA, Joseph JA. An assessment of the behavioral toxicity of high-energy iron particles compared to other qualities of radiation. Radiation Research. 119: 113-22. PMID 2756102 DOI: 10.2307/3577371  0.062
1980 Hunt WA, Majchrowicz E. Suppression of the ethanol withdrawal syndrome by aliphatic diols. The Journal of Pharmacology and Experimental Therapeutics. 213: 9-12. PMID 7188966  0.062
1951 HUNT WA, WITTSON CL. The neuropsychiatric implications of illiteracy. United States Armed Forces Medical Journal. 2: 365-9. PMID 14809821  0.061
1981 Hunt WA, Dalton TK. Synthesis and degradation of cyclic nucleotides in brain after a high dose of ionizing radiation. Radiation Research. 85: 604-8. PMID 6111104  0.061
1979 Ferris H, Hunt WA. Quantitative Aspects of the Development of Meloidogyne arenaria Larvae in Grapevine Varieties and Rootstocks. Journal of Nematology. 11: 168-74. PMID 19305553  0.06
1993 Hunt WA. Are binge drinkers more at risk of developing brain damage? Alcohol (Fayetteville, N.Y.). 10: 559-61. PMID 8123218 DOI: 10.1016/0741-8329(93)90083-Z  0.058
1948 HUNT WA, FRENCH EG. The clinical possibilities of an abbreviated individual intelligence test. Journal of Consulting Psychology. 12: 171-3. PMID 18867083 DOI: 10.1037/h0058056  0.057
1977 Darden JH, Hunt WA. Reduction of striatal dopamine release during an ethanol withdrawal syndrome. Journal of Neurochemistry. 29: 1143-5. PMID 563898  0.056
1975 Hunt WA. The effects of aliphatic alcohols on the biophysical and biochemical correlates of membrane function. Advances in Experimental Medicine and Biology. 56: 195-210. PMID 167555  0.055
1988 Kandasamy SB, Hunt WA. Involvement of histamine H1 and H2 receptors in hypothermia induced by ionizing radiation in guinea pigs. Life Sciences. 42: 555-63. PMID 3123832 DOI: 10.1016/0024-3205(88)90097-5  0.055
1963 HUNT WA, WALKER RE. MANIFEST ANXIETY AND CLINICAL JUDGMENT--A RE-EXAMINATION. Journal of Clinical Psychology. 19: 494-7. PMID 14055943 DOI: 10.1002/1097-4679(196310)19:4<494::Aid-Jclp2270190433>3.0.Co;2-C  0.055
1972 Hunt WA. The development of psychology at the Psychiatric Institute: an historical survey. The Psychiatric Quarterly. 46: 423-31. PMID 4574617  0.054
1965 HUNT WA, SCHWARTZ ML, WALKER RE. RELIABILITY OF CLINICAL JUDGMENTS AS A FUNCTION OF RANGE OF PATHOLOGY. Journal of Abnormal Psychology. 70: 32-3. PMID 14271289 DOI: 10.1037/h0021671  0.052
1965 QUAY HC, HUNT WA. PSYCHOPATHY, NEUROTICISM, AND VERBAL CONDITIONING: A REPLICATION AND EXTENSION. Journal of Consulting Psychology. 29: 283. PMID 14303520 DOI: 10.1037/H0022141  0.051
1961 HUNT WA, BLUMBERG S. Manifest anxiety and clinical judgment. Journal of Clinical Psychology. 17: 8-11. PMID 13716868 DOI: 10.1002/1097-4679(196101)17:1<8::Aid-Jclp2270170103>3.0.Co;2-L  0.051
2000 Hunt WA. The future of diagnostic testing in clinical psychology. 1946. Journal of Clinical Psychology. 56: 341-7. PMID 10726670 DOI: 10.1002/(Sici)1097-4679(200003)56:3<341::Aid-Jclp10>3.0.Co;2-J  0.05
1983 Hunt WA. The effect of ethanol on GABAergic transmission. Neuroscience and Biobehavioral Reviews. 7: 87-95. PMID 6132358 DOI: 10.1016/0149-7634(83)90009-X  0.05
1946 HUNT WA. The future of diagnostic testing in clinical psychology. Journal of Clinical Psychology. 2: 311-7. PMID 21002770  0.05
1965 Walker RE, Hunt WA, Schwartz ML. The difficulty of WAIS comprehension scoring. Journal of Clinical Psychology. 21: 427-9. PMID 5828773  0.05
1946 HUNT WA, STEVENSON I. Psychological testing in military clinical psychology; intelligence testing. Psychological Review. 53: 25-35. PMID 21012632 DOI: 10.1037/h0061628  0.049
1956 HUNT WA, ARNHOFF FN. The repeat reliability of clinical judgments of test responses. Journal of Clinical Psychology. 12: 289-90. PMID 13332100 DOI: 10.1002/1097-4679(195607)12:3<289::Aid-Jclp2270120318>3.0.Co;2-Z  0.049
1966 Hunt WA, Quay HC, Walker RE. The validity of clinical judgments of asocial tendency. Journal of Clinical Psychology. 22: 116-8. PMID 5970251 DOI: 10.1002/1097-4679(196601)22:1<116::Aid-Jclp2270220134>3.0.Co;2-3  0.049
1958 HUNT WA, JONES NF. The reliability of clinical judgments of asocial tendency. Journal of Clinical Psychology. 14: 233-5. PMID 13549605 DOI: 10.1002/1097-4679(195807)14:3<233::Aid-Jclp2270140304>3.0.Co;2-K  0.048
1986 Hunt WA. Alcohol and the Brain: Chronic Effects Journal of Studies On Alcohol. 47: 352-353. DOI: 10.15288/jsa.1986.47.352  0.048
1962 HUNT WA, WALKER RE. A comparison of global and specific clinical judgments across several diagnostic categories. Journal of Clinical Psychology. 18: 188-94. PMID 14450037 DOI: 10.1002/1097-4679(196204)18:2<188::Aid-Jclp2270180226>3.0.Co;2-K  0.048
1955 HUNT WA, WITTSON CL, HUNT EB. The relationship between amount of presenting symptomatology and severity of disability. Journal of Clinical Psychology. 11: 305-6. PMID 14381536 DOI: 10.1002/1097-4679(195507)11:3<305::Aid-Jclp2270110315>3.0.Co;2-V  0.048
1952 HUNT WA, WITTSON CL, HUNT EB. The relationship between definiteness of psychiatric diagnosis and severity of disability. Journal of Clinical Psychology. 8: 314-5. PMID 12981188 DOI: 10.1002/1097-4679(195207)8:3<314::Aid-Jclp2270080319>3.0.Co;2-9  0.048
1983 Hunt WA, Dalton TK. An automated method for the determination of biogenic amines and their metabolites by high-performance liquid chromatography. Analytical Biochemistry. 135: 269-74. PMID 6660502 DOI: 10.1016/0003-2697(83)90682-6  0.048
2017 Hunt WA, Kaufmann M, Moore JS, Slobodova A. Industrial hardware and software verification with ACL2. Philosophical Transactions. Series a, Mathematical, Physical, and Engineering Sciences. 375. PMID 28871049 DOI: 10.1098/Rsta.2015.0399  0.047
2012 Liu H, Bowman M, Hunt WA, Duffy AM. Enabling behavior reuse in development of virtual environment applications Proceedings - Winter Simulation Conference. DOI: 10.1109/WSC.2012.6465246  0.047
1946 HUNT WA, STEVENSON I. Psychological testing in military clinical psychology; personality testing. Psychological Review. 53: 107-15. PMID 21023322 DOI: 10.1037/h0058362  0.047
1957 HUNT WA, JONES NF, HUNT EB. Reliability of clinical judgment as a function of clinical experience. Journal of Clinical Psychology. 13: 377-8. PMID 13463142 DOI: 10.1002/1097-4679(195710)13:4<377::Aid-Jclp2270130415>3.0.Co;2-2  0.047
1936 Land EH, Hunt WA. THE USE OF POLARIZED LIGHT IN THE SIMULTANEOUS COMPARISON OF RETINALLY AND CORTICALLY FUSED COLORS. Science (New York, N.Y.). 83: 309. PMID 17749392 DOI: 10.1126/science.83.2152.309  0.045
2000 Hunt WA. The future of diagnostic jesting in clinical psychology Journal of Clinical Psychology. 56: 341-347.  0.044
2008 Ray S, Hunt WA, Matthews J, Moore JS. A mechanical analysis of program verification strategies Journal of Automated Reasoning. 40: 245-269. DOI: 10.1007/S10817-008-9098-1  0.043
1958 HUNT WA, JONES NF. Clinical judgment of some aspects of schizophrenic thinking. Journal of Clinical Psychology. 14: 235-9. PMID 13549606 DOI: 10.1002/1097-4679(195807)14:3<235::Aid-Jclp2270140305>3.0.Co;2-B  0.043
1951 FRENCH EG, HUNT WA. The relationship of scatter in test performance to intelligence level. Journal of Clinical Psychology. 7: 95-8. PMID 14794822 DOI: 10.1002/1097-4679(195101)7:1<95::Aid-Jclp2270070103>3.0.Co;2-9  0.043
1979 Hunt WA, Matarazzo JD, Weiss SM, Gentry WD. Associative learning, habit, and health behavior. Journal of Behavioral Medicine. 2: 111-24. PMID 555484 DOI: 10.1007/Bf00846661  0.043
1968 Pribyl MK, Hunt WA, Walker RE. Some learning variables in clinical judgment. Journal of Clinical Psychology. 24: 32-6. PMID 5639454  0.042
2014 Heule MJH, Hunt WA, Wetzler N. Bridging the gap between easy generation and efficient verification of unsatisfiability proofs Software Testing Verification and Reliability. 24: 593-607. DOI: 10.1002/Stvr.1549  0.042
1949 HUNT WA, FRENCH EG. A second 15-word vocabulary test for use with abbreviated intelligence scales. Journal of Consulting Psychology. 13: 124-6. PMID 18118266 DOI: 10.1037/H0062624  0.041
1965 Walker RE, Hunt WA, Schwartz ML. Manifest anxiety and clinical judgment in a group setting. Journal of Personality and Social Psychology. 2: 762-5. PMID 5838780 DOI: 10.1037/h0022629  0.041
1948 HUNT WA, FRENCH EG, MENSH IN. An abbreviated form of the McGill verbal situation test. Journal of Clinical Psychology. 4: 406-11. PMID 18099719 DOI: 10.1002/1097-4679(194810)4:4<406::Aid-Jclp2270040404>3.0.Co;2-1  0.04
1948 HUNT WA, KLEBANOFF SG. The validity of some abbreviated individual intelligence scales. Journal of Consulting Psychology. 12: 48-52. PMID 18905839 DOI: 10.1037/h0062379  0.038
1993 Hunt WA, Witt ED. Behavioral effects of alcohol ingestion: Implications for drug testing Toxic Substances Journal. 13: 41-49.  0.036
1949 HUNT WA, FRENCH EG. Some abbreviated individual intelligence scales containing nonverbal items. Journal of Consulting Psychology. 13: 119-23. PMID 18118265 DOI: 10.1037/H0061085  0.035
1973 Hunt WA, Matarazzo JD. Three years later: recent developments in the experimental modification of smoking behavior. Journal of Abnormal Psychology. 81: 107-14. PMID 4697793 DOI: 10.1037/h0034553  0.034
2002 Hunt WA. Introduction: Special issue on microprocessor verification Formal Methods in System Design. 20: 135-137. DOI: 10.1023/A:1014175712530  0.033
1952 HUNT WA, FRENCH EG. The CVS abbreviated individual intelligence scale. Journal of Consulting Psychology. 16: 181-6. PMID 14946282 DOI: 10.1037/H0057933  0.033
1989 Bevier WR, Hunt WA, Moore JS, Young WD. An approach to systems verification Journal of Automated Reasoning. 5: 411-428. DOI: 10.1007/Bf00243131  0.033
2008 Bosserman BE, Hunt WA, Glover RC, Kroon JR, Merrill MS, Watters GZ. Fundamentals of Hydraulic Transients Pumping Station Design. 6.1-6.13. DOI: 10.1016/B978-185617513-5.50013-5  0.032
1956 HUNT WA, WITTSON CL. Concurrence in psychiatric diagnosis. United States Armed Forces Medical Journal. 7: 1605-8. PMID 13392161  0.031
1948 HUNT WA, FRENCH EG. Further standardization of the CVS individual intelligence scale. Journal of Consulting Psychology. 12: 355-9. PMID 18889463 DOI: 10.1037/h0059315  0.031
2011 Hunt WA, Johnson GS. The area perspective transform: A homogeneous transformor efficient in-volume queries Acm Transactions On Graphics. 30. DOI: 10.1145/1944846.1944848  0.03
1998 Sawada J, Hunt WA. Processor verification with precise exceptions and speculative execution Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1427: 135-146.  0.03
1999 Epler GF, Hunt W(. The Pipeline Industry-Planning and Exercising: Is Industry Deriving Full Benefit from Lessons Learned?1 International Oil Spill Conference Proceedings. 1999: 561-566. DOI: 10.7901/2169-3358-1999-1-561  0.029
2004 Hunt WA. Mechanical mathematical methods for microprocessor verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114: 523-533.  0.028
1966 Hunt WA, Walker RE. Validity of diagnostic judgment as a function of amount of test information. Journal of Clinical Psychology. 22: 154-5. PMID 5937037 DOI: 10.1002/1097-4679(196604)22:2<154::Aid-Jclp2270220207>3.0.Co;2-R  0.028
1966 Hunt WA, Walker RE. Schizophrenics' judgments of schizophrenic test responses. Journal of Clinical Psychology. 22: 118-20. PMID 5970252 DOI: 10.1002/1097-4679(196601)22:1<118::Aid-Jclp2270220135>3.0.Co;2-V  0.027
1999 Hunt WA, Sawada J. Verifying the FM9801 microarchitecture Ieee Micro. 19: 47-55. DOI: 10.1109/40.768503  0.027
2005 Hunt WA, Reeber E. Formalization of the DE2 language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3725: 20-34. DOI: 10.1007/11560548_5  0.027
2013 Wetzler N, Heule MJH, Hunt WA. Mechanical verification of SAT refutations with extended resolution Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7998: 229-244. DOI: 10.1007/978-3-642-39634-2_18  0.027
2013 Heule MJH, Hunt WA, Wetzler N. Trimming while checking clausal proofs 2013 Formal Methods in Computer-Aided Design, Fmcad 2013. 181-188.  0.027
2006 Boyer RS, Hunt WA. Function memoization and unique object representation for ACL2 functions Acm International Conference Proceeding Series. 205: 81-89. DOI: 10.1145/1217975.1217992  0.027
1997 Brock BC, Hunt WA. The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor Formal Methods in System Design. 11: 71-104.  0.026
2002 Sawada J, Hunt WA. Verification of FM9801: An out-of-order microprocessor model with speculative execution, exceptions, and program-modifying capability Formal Methods in System Design. 20: 187-222. DOI: 10.1023/A:1014122630277  0.026
1978 McCreery MJ, Hunt WA. Physico-chemical correlates of alcohol intoxication. Neuropharmacology. 17: 451-61. PMID 567755 DOI: 10.1016/0028-3908(78)90050-3  0.026
1955 CAVENY EL, WITTSON CL, HUNT WA, HERRMAN RS. Psychiatric diagnosis, its nature and function. The Journal of Nervous and Mental Disease. 121: 367-73. PMID 13243137  0.025
2001 Davis BD, Hunt W(, Yoshioka G, Holler E. Response Plans for Animal Fat and Vegetable Oil Facilities International Oil Spill Conference Proceedings. 2001: 257-262. DOI: 10.7901/2169-3358-2001-1-257  0.025
1999 Hunt WA. Cooler injector synchrotron control hardware at Indiana University Cyclotron Facility Proceedings of the Ieee Particle Accelerator Conference. 2: 676-678.  0.025
1955 HUNT WA, ARNHOFF FN. Some standardized scales for disorganization in schizophrenic thinking. Journal of Consulting Psychology. 19: 171-4. PMID 14381549 DOI: 10.1037/H0046165  0.025
1965 Pribyl JF, Walker RE, Hunt WA. Judgment as a function of manifest anxiety and social conditions. Perceptual and Motor Skills. 21: 759-65. PMID 5855914 DOI: 10.2466/Pms.1965.21.3.759  0.024
1947 HUNT WA. Negro-white differences in intelligence in World War II; a note of caution. Journal of Abnormal Psychology. 42: 254. PMID 20295552 DOI: 10.1037/h0061312  0.024
1997 Sawada J, Hunt WA. Trace table based approach for pipelined microprocessor verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1254: 364-375.  0.024
1963 SCHWARTZ ML, HUNT WA, WALKER RE. CLINICAL JUDGMENT OF VOCABULARY RESPONSES IN PROCESS AND REACTIVE SCHIZOPHRENIA. Journal of Clinical Psychology. 19: 488-94. PMID 14055942 DOI: 10.1002/1097-4679(196310)19:4<488::Aid-Jclp2270190432>3.0.Co;2-4  0.023
1937 Landis C, Hunt WA. MAGNIFICATION OF TIME AS A RESEARCH TECHNIQUE IN THE STUDY OF BEHAVIOR. Science (New York, N.Y.). 85: 384-5. PMID 17777203 DOI: 10.1126/science.85.2207.384  0.023
1989 Hunt WA. Microprocessor design verification Journal of Automated Reasoning. 5: 429-460. DOI: 10.1007/BF00243132  0.023
2000 Sawada J, Hunt WA. Hardware modeling using function encapsulation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1954: 234-245.  0.022
1960 HUNT WA, WALKER RE, JONES NF. The validity of clinical ratings for estimating severtiy of schizophrenia. Journal of Clinical Psychology. 16: 391-3. PMID 13716869 DOI: 10.1002/1097-4679(196010)16:4<391::Aid-Jclp2270160413>3.0.Co;2-A  0.022
1993 Hunt WA. Neuroscience research: how has it contributed to our understanding of alcohol abuse and alcoholism? A review. Alcoholism, Clinical and Experimental Research. 17: 1055-65. PMID 7506499  0.022
1988 Hura CM, Caron NO, Kanik JA, Hunt WA. Statistical tolerance analysis using solid modeling Sae Technical Papers. DOI: 10.4271/881245  0.021
1948 HUNT WA. Diagnosis and non-directive therapy. Journal of Clinical Psychology. 4: 232-6. PMID 18876671 DOI: 10.1002/1097-4679(194807)4:3<232::Aid-Jclp2270040304>3.0.Co;2-2  0.021
2000 Lowman C, Hunt WA, Litten RZ, Drummond DC. Research perspectives on alcohol craving: an overview. Addiction (Abingdon, England). 95: S45-54. PMID 11002901  0.021
1949 HUNT WA, WITTSON CL. Some sources of error in the neuropsychiatric statistics of World War II. Journal of Clinical Psychology. 5: 350-8. PMID 15391955 DOI: 10.1002/1097-4679(194910)5:4<350::Aid-Jclp2270050403>3.0.Co;2-B  0.021
1954 HUNT WA, WITTSON CL, HUNT EB. The serviceability of military personnel of low intelligence. Journal of Clinical Psychology. 10: 286-7. PMID 13163225 DOI: 10.1002/1097-4679(195407)10:3<286::Aid-Jclp2270100323>3.0.Co;2-Z  0.021
2006 Gordon MJC, Hunt WA, Kaufmann M, Reynolds J. An embedding of the ACL2 logic in HOL Acm International Conference Proceeding Series. 205: 40-46. DOI: 10.1145/1217975.1217984  0.021
2008 Bosserman BE, Glover RC, Hunt WA, Kroon JR, Merrill MS, Vuncannon J, Watters GZ. Control of Hydraulic Transients Pumping Station Design. 7.1-7.26. DOI: 10.1016/B978-185617513-5.50014-7  0.021
2013 Rager DL, Hunt WA, Kaufmann M. A parallelized theorem prover for a logic with parallel execution Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7998: 435-450. DOI: 10.1007/978-3-642-39634-2_31  0.02
1957 HERRMANN RS, HUNT WA, NOBLE H. The specificity of the psychiatric interview. Journal of Clinical Psychology. 13: 49-53. PMID 13385353 DOI: 10.1002/1097-4679(195701)13:1<49::Aid-Jclp2270130111>3.0.Co;2-3  0.02
2013 Heule MJH, Hunt WA, Wetzler N. Verifying refutations with extended resolution Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7898: 345-359. DOI: 10.1007/978-3-642-38574-2_24  0.02
2000 Hunt WA, Johnson SD. Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1954: V-VI.  0.02
2008 Hunt WA. Corrections to the surface area metric with respect to mail-boxing Rt'08 - Ieee/Eg Symposium On Interactive Ray Tracing 2008, Proceedings. 77-80. DOI: 10.1109/RT.2008.4634625  0.02
1952 HUNT WA, FRENCH EG. The Navy-Northwestern matrices test. Journal of Clinical Psychology. 8: 65-74. PMID 14897941 DOI: 10.1002/1097-4679(195201)8:1<65::Aid-Jclp2270080114>3.0.Co;2-3  0.02
1954 HUNT WA, ARNHOFF FN, COTTON JW. Reliability, chance, and fantasy in inter-judge agreement among clinicians. Journal of Clinical Psychology. 10: 294-6. PMID 13163230 DOI: 10.1002/1097-4679(195407)10:3<294::Aid-Jclp2270100328>3.0.Co;2-P  0.02
2012 Hunt WA, Kaufmann M. A formal model of a large memory that supports efficient execution 2012 Formal Methods in Computer-Aided Design, Fmcad 2012. 60-67.  0.019
1951 WITTSON CL, HUNT WA. The predictive value of the brief psychiatric interview. The American Journal of Psychiatry. 107: 582-5. PMID 14819344 DOI: 10.1176/Ajp.107.8.582  0.019
1998 Fogel MA, Nussbaum PB, Feintzeig ID, Hunt WA, Gavin JP, Kim RC. Cefazolin in chronic hemodialysis patients: a safe, effective alternative to vancomycin. American Journal of Kidney Diseases : the Official Journal of the National Kidney Foundation. 32: 401-9. PMID 9740155  0.019
2014 Wetzler N, Heule MJH, Hunt WA. DRAT-trim: Efficient checking and trimming using expressive clausal proofs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8561: 422-429. DOI: 10.1007/978-3-319-09284-3-31  0.019
1958 CAMPBELL DT, LEWIS NA, HUNT WA. Context effects with judgmental language that is absolute, extensive, and extra-experimentally anchored. Journal of Experimental Psychology. 55: 220-8. PMID 13513940 DOI: 10.1037/h0045310  0.019
1966 Bryan JH, Hunt WA, Walker RE. Reliability of estimating intellectual ability from transcribed interviews. Journal of Clinical Psychology. 22: 360. PMID 5917904 DOI: 10.1002/1097-4679(196607)22:3<360::Aid-Jclp2270220335>3.0.Co;2-Q  0.018
2003 Adams W, Hunt WA, Jamsek D. Verisym: Verifying circuits by symbolic simulation Formal Methods in System Design. 22: 163-173. DOI: 10.1023/A:1022977607142  0.018
1989 Hunt WA. Mechanisms Underlying Drug Stimuli Contemporary Psychology: a Journal of Reviews. 34: 1146-1146. DOI: 10.1037/030863  0.017
2010 Hunt WA, Swords S, Davis J, Slobodova A. Use of formal verification at centaur technology Design and Verification of Microprocessor Systems For High-Assurance Applications. 65-88. DOI: 10.1007/978-1-4419-1539-9_3  0.017
1971 Hunt WA, Barnett LW, Branch LG. Relapse rates in addiction programs. Journal of Clinical Psychology. 27: 455-6. PMID 5115648 DOI: 10.1002/1097-4679(197110)27:4<455::AID-JCLP2270270412>3.0.CO;2-R  0.016
1950 HUNT WA, WITTSON CL, BURTON HW. A validation study of naval neuropsychiatric screening. Journal of Consulting Psychology. 14: 35-9. PMID 15405509 DOI: 10.1037/H0062383  0.016
1974 Hunt WA, Bespalec DA. An evaluation of current methods of modifying smoking behavior. Journal of Clinical Psychology. 30: 431-8. PMID 4609346  0.015
1964 HUNT WA, SCHWARTZ ML, WALKER RE. THE OCRRECTNESS OF DIAGNOSTIC JUDGMENT AS A FUNCTION OF DIAGNOSTIC BIAS AND POPULATION BASE RATE. Journal of Clinical Psychology. 20: 143-5. PMID 14103527 DOI: 10.1002/1097-4679(196401)20:1<143::Aid-Jclp2270200124>3.0.Co;2-O  0.015
2008 Hunt WA, Krug RB, Ray S, Young WD. Mechanized information flow analysis through inductive assertions Proceedings of the 2008 International Conference On Formal Methods in Computer-Aided Design, Fmcad. DOI: 10.1109/FMCAD.2008.ECP.33  0.015
2008 Ray S, Hunt WA. Mechanized certification of secure hardware designs Proceedings - International Workshop On Microprocessor Test and Verification. 25-32. DOI: 10.1109/MTV.2007.16  0.014
2009 Johnson GS, Hunt WA, Hux A, Mark WR, Burns CA, Junkins S. Soft irregular shadow mapping: Fast, high-quality, and robust soft shadows Proceedings of I3d 2009: the 2009 Acm Siggraph Symposium On Interactive 3d Graphics and Games. 57-66. DOI: 10.1145/1507149.1507159  0.014
1970 Hunt WA. Human behavior and its control. Science (New York, N.Y.). 169: 901-2. PMID 5432589  0.014
1969 Hunt WA. Calculations of pulsatile flow across bifurcations in distensible tubes. Biophysical Journal. 9: 993-1005. PMID 5822429 DOI: 10.1016/S0006-3495(69)86432-5  0.014
1954 RAINES GN, WITTSON CL, HUNT WA, HERRMANN RS. Psychiatric selection for military service. Journal of the American Medical Association. 156: 817-21. PMID 13201409 DOI: 10.1001/jama.1954.02950090013004  0.014
2006 Gordon MJC, Reynolds J, Hunt WA, Kaufmann M. An integration of HOL and ACL2 Proceedings of Formal Methods in Computer Aided Design, Fmcad 2006. 153-160. DOI: 10.1109/FMCAD.2006.6  0.014
2010 Swords S, Hunt WA. A mechanically verified AIG-to-BDD conversion algorithm Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6172: 435-449. DOI: 10.1007/978-3-642-14052-5_30  0.013
1947 HUNT WA. The relative incidence of psychoneurosis among Negroes. Journal of Consulting Psychology. 11: 133-6. PMID 20254711 DOI: 10.1037/h0062350  0.013
1950 HUNT WA, WITTSON CL, BURTON HW. A further validation of naval neuropsychiatric screening. Journal of Consulting Psychology. 14: 485-8. PMID 14803583 DOI: 10.1037/H0060610  0.013
1946 HUNT WA. New evalative methods and future prospects. Mental Hygiene. 30: 21-32. PMID 21012614  0.012
2009 Hunt WA, Swords S. Centaur technology media unit verification case study: Floating-point addition Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5643: 353-367. DOI: 10.1007/978-3-642-02658-4_28  0.012
1996 Liou CP, Hunt WA. Filling of pipelines with undulating elevation profiles Journal of Hydraulic Engineering. 122: 534-539.  0.012
2006 Viswanath V, Abraham JA, Hunt WA. Automatic insertion of low power annotations in RTL for pipelined microprocessors Proceedings -Design, Automation and Test in Europe, Date. 1.  0.012
2014 Goel S, Hunt WA. Automated code proofs on a formal model of the X86 Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8164: 222-241.  0.012
1973 Hunt WA. New approaches to behavioral research on smoking: epilogue. Journal of Abnormal Psychology. 81: 196-8. PMID 4697800 DOI: 10.1037/h0020139  0.011
2014 Goel S, Hunt WA, Kaufmann M, Ghosh S. Simulation and formal verification of x86 machine-code programs that make system calls 2014 Formal Methods in Computer-Aided Design, Fmcad 2014. 91-98. DOI: 10.1109/FMCAD.2014.6987600  0.011
2000 Drummond DC, Litten RZ, Lowman C, Hunt WA. Craving research: future directions. Addiction (Abingdon, England). 95: S247-55. PMID 11002919  0.011
2010 Hunt WA. Verifying VIA Nano microprocessor components Formal Methods in Computer Aided Design, Fmcad 2010. 3-10.  0.01
1951 HUNT WA, WITTSON CL, HUNT EB. A theoretical and practical analysis of the diagnostic process. Proceedings of the Annual Meeting of the American Psychopathological Association. 53-65. PMID 13047242  0.01
2010 Hunt WA. ACL2: Eating one's own dogfood Acm Sigplan Commercial Users of Functional Programming, Cufp'10. DOI: 10.1145/1900160.1900178  0.01
2009 Boyer RS, Hunt WA. Symbolic simulation in ACL2 Acm International Conference Proceeding Series. 20-24. DOI: 10.1145/1637837.1637840  0.01
2009 Ray S, Hunt WA. Connecting pre-silicon and post-silicon verification 9th International Conference Formal Methods in Computer Aided Design, Fmcad 2009. 160-163. DOI: 10.1109/FMCAD.2009.5351128  0.01
2006 Hunt WA, Reeber E. A SAT-based procedure for verifying finite state machines in ACL2 Acm International Conference Proceeding Series. 205: 127-135. DOI: 10.1145/1217975.1218001  0.01
2006 Hunt WA, Nelesen SM. Phylogenetic trees in ACL2 Acm International Conference Proceeding Series. 205: 99-102. DOI: 10.1145/1217975.1217996  0.01
2006 Reeber E, Hunt WA. A SAT-based decision procedure for the Subclass of Unreliable List Formulas in ACL2 (SULFA) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4130: 453-467.  0.01
2005 Boyer RS, Hunt WA, Nelesen SM. A compressed format for collections of phylogenetic trees and improved consensus performance Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3692: 353-364. DOI: 10.1007/11557067_29  0.01
2005 Hunt WA, Kaufmann M, Krug RB, Moore JS, Smith EW. Meta reasoning in ACL2 Lecture Notes in Computer Science. 3603: 163-178.  0.01
2004 Ray S, Hunt WA. Deductive verification of pipelined machines using first-order quantification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114: 31-43.  0.01
2003 Hunt WA, Krug RB, Moore J. Linear and nonlinear arithmetic in ACL2 Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2860: 319-333.  0.01
1989 Stein PP, Hunt WA, Johnson CM, DeFronzo RA, Smith JD. Insulin resistance in uremia: an in vivo and in vitro study. Metabolism: Clinical and Experimental. 38: 562-7. PMID 2657327 DOI: 10.1016/0026-0495(89)90217-5  0.01
1979 Hunt WA. Rapporteur's report Drug and Alcohol Dependence. 4: 329-330. DOI: 10.1016/0376-8716(79)90016-4  0.01
1971 Hunt WA, Walker RE. Cue utilization in diagnostic judgment. Journal of Clinical Psychology. 27: 62-4. PMID 5539329  0.01
1968 Lopez L, Duck IM, Hunt WA. On the shape of the erythrocyte. Biophysical Journal. 8: 1228-35. PMID 5696209  0.01
1966 Barnard AC, Hunt WA, Timlake WP, Varley E. Peaking of the pressure pulse in fluid-filled tubes of spatially varying compliance. Biophysical Journal. 6: 735-46. PMID 5972375 DOI: 10.1016/S0006-3495(66)86692-4  0.01
1966 Akers WW, Barnard AC, Bourland HM, Hunt WA, Timlake WP, Varley E. Numerical hydrodynamic calculations of catheter characteristics. Biophysical Journal. 6: 725-33. PMID 5972374 DOI: 10.1016/S0006-3495(66)86691-2  0.01
1966 Barnard AC, Hunt WA, Timlake WP, Varley E. A theory of fluid flow in compliant tubes. Biophysical Journal. 6: 717-24. PMID 5972373 DOI: 10.1016/S0006-3495(66)86690-0  0.01
1965 HUNT WA, SCHWARTZ ML, WALKER RE. JUDGMENTAL BIAS IN THE DIFFERENTIATION OF PROCESS AND REACTIVE SCHIZOPHRENIA. Journal of Clinical Psychology. 21: 172. PMID 14333724  0.01
1954 HUNT WA, WITTSON CL, HUNT EB. Hidden costs in the utilization of the psychiatrically marginal man. Journal of Clinical Psychology. 10: 91-2. PMID 13117992 DOI: 10.1002/1097-4679(195401)10:1<91::Aid-Jclp2270100122>3.0.Co;2-2  0.01
1952 HUNT WA, WITTSON CL, HUNT EB. Military performance of a group of marginal neuropsychiatric cases. The American Journal of Psychiatry. 109: 168-71. PMID 14943889  0.01
1946 HUNT WA. The detection of malingering; a further study. United States Naval Medical Bulletin. 46: 249-54. PMID 21066621  0.01
1946 WITTSON CL, HUNT WA, STEVENSON I. A followup study of neuropsychiatric screening. Journal of Abnormal Psychology. 41: 79-82. PMID 21010597 DOI: 10.1037/h0054282  0.01
Hide low-probability matches.