Logic Programming is NOT Circuit Design. - Ruth E. Davis (COMPCON, 1984)

Logic Programming and Prolog: A Tutorial. - Ruth E. Davis (IEEE Softw., 1985)

Truth, deduction, and computation - logic and semantics for computer science. - Ruth E. Davis (Computer Science Press, 1989)

Automatic formal verification of systolic array designs. - Nam Ling; Fuyau Lin; Timothy K. Shih; Ruth E. Davis (ASAP, 1991)

Disciplined Exceptions in Logic Programming. - Timothy K. Shih; Ruth E. Davis; Fuyau Lin (ALPUK, 1992)

LSL + Ada → reusable data structures. - Ruth E. Davis; Ronald L. Danielson (WADAS, 1993)

Spec: A Specification Processing Environment with Controls. - Timothy K. Shih; Ruth E. Davis (J. Inf. Sci. Eng., 1994)

On the Construction of a Prolog-Based Verifier for Systolic Array Designs. - Timothy K. Shih; Nam Ling; Ruth E. Davis; Fuyau Lin (Comput. Intell., 1995)

IMMPS: A Multimedia Presentation Design System. - Timothy K. Shih; Ruth E. Davis (IEEE Multim., 1997)

Interactive way-point forward secctor scan imaging radar simulation. - Paul A. Stuopis; James M. Henson; Ruth E. Davis; Kenneth Hall (CATA, 1999)

The Modeling of Forested Areas for Real and Synthetic Aperture Imaging Radar Simulation when Tree Locations are Known. - James M. Henson; Ruth E. Davis (Int. J. Comput. Their Appl., 2001)