2001 |
7 | | James M. Henson,
Ruth E. Davis:
The Modeling of Forested Areas for Real and Synthetic Aperture Imaging Radar Simulation when Tree Locations are Known.
I. J. Comput. Appl. 8(3): (2001) |
1999 |
6 | | Paul A. Stuopis,
James M. Henson,
Ruth E. Davis,
Kenneth Hall:
Interactive way-point forward secctor scan imaging radar simulation.
Computers and Their Applications 1999: 95-98 |
1997 |
5 | | Timothy K. Shih,
Ruth E. Davis:
IMMPS: A Multimedia Presentation Design System.
IEEE MultiMedia 4(2): 67-78 (1997) |
1995 |
4 | | Timothy K. Shih,
Nam Ling,
Ruth E. Davis,
Fuyau Lin:
On the Construction of a Prolog-Based Verifier for Systolic Array Designs.
Computational Intelligence 11: 172-221 (1995) |
1994 |
3 | EE | Timothy K. Shih,
Ruth E. Davis:
Spec: A Specification Processing Environment with Controls.
J. Inf. Sci. Eng. 11(4): 495-526 (1994) |
1992 |
2 | | Timothy K. Shih,
Ruth E. Davis,
Fuyau Lin:
Disciplined Exceptions in Logic Programming.
ALPUK 1992: 124-141 |
1984 |
1 | | Ruth E. Davis:
Logic Programming is NOT Circuit Design.
COMPCON 1984: 30-34 |