The unit preference strategy in theorem proving. - Larry Wos; Daniel F. Carson; George A. Robinson (AFIPS Fall Joint Computing Conference (1), 1964)

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving. - Larry Wos; George A. Robinson; Daniel F. Carson (J. ACM, 1965)

Intrinsic multiprocessing. - Richard A. Aschenbrenner; Michael J. Flynn; George A. Robinson (AFIPS Spring Joint Computing Conference, 1967)

The Concept of Demodulation in Theorem Proving. - Larry Wos; George A. Robinson; Daniel F. Carson; Leon Shalla (J. ACM, 1967)

Challenges in Exchanging Medication Information: Identifying Gaps in Clinical Document Exchange and Terminology Standards. - Shobha Phansalkar; George A. Robinson; George Getty; James Shalaby; David Tao; Carol A. Broverman (AMIA, 2009)

Evaluating standard terminologies for encoding allergy information. - Foster R. Goss; Li Zhou 007; Joseph M. Plasek; Carol A. Broverman; George A. Robinson; Blackford Middleton; Roberto A. Rocha (J. Am. Medical Informatics Assoc., 2013)

Expert Recommendations on Redesigning Drug Allergy Alerts in Electronic Health Record Systems. - Maxim Topaz; Foster R. Goss; Kimberly G. Blumenthal; Kenneth H. Lai; Diane L. Seger; Sarah P. Slight; Paige G. Wickner; George A. Robinson; Kin Wah Fung; Robert C. McClure; Shelly Spiro; Warren W. Acker; et al. (AMIA, 2016)

Towards improved drug allergy alerts: Multidisciplinary expert recommendations. - Maxim Topaz; Foster R. Goss; Kimberly G. Blumenthal; Kenneth H. Lai; Diane L. Seger; Sarah P. Slight; Paige G. Wickner; George A. Robinson; Kin Wah Fung; Robert C. McClure; Shelly Spiro; Warren W. Acker; et al. (Int. J. Medical Informatics, 2017)