Ruth E. Davis

According to our database1, Ruth E. Davis authored at least 10 papers between 1984 and 2001.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2001
The Modeling of Forested Areas for Real and Synthetic Aperture Imaging Radar Simulation when Tree Locations are Known.
Int. J. Comput. Their Appl., 2001

1999
Interactive way-point forward secctor scan imaging radar simulation.
Proceedings of the Computers and Their Applications (CATA-99), 1999

1997
IMMPS: A Multimedia Presentation Design System.
IEEE Multim., 1997

1995
On the Construction of a Prolog-Based Verifier for Systolic Array Designs.
Comput. Intell., 1995

1994
Spec: A Specification Processing Environment with Controls.
J. Inf. Sci. Eng., 1994

1992
Disciplined Exceptions in Logic Programming.
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991
Automatic formal verification of systolic array designs.
Proceedings of the Application Specific Array Processors, 1991

1989
Truth, deduction, and computation - logic and semantics for computer science.
Principles of computer science series, Computer Science Press, ISBN: 978-0-7167-8201-8, 1989

1985
Logic Programming and Prolog: A Tutorial.
IEEE Softw., 1985

1984
Logic Programming is NOT Circuit Design.
Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984


  Loading...