Ruth Davis

Publication Activity (10 Years)

Years Active: 1974-2014
Publications (10 Years): 0

Top Topics

Engineering Problems

Success Stories

African American

Top Venues

Publications

Leisa D. Thompson, Crystal Eney, Ruth Davis, Tiffany Grady
Recruit and retain women in undergraduate computing: success stories using research-based practices. SIGCSE (2014)
Stefan Schäckeler, Weijia Shang, Ruth Davis
Visualization of Procedural Abstraction. Electron. Notes Theor. Comput. Sci. 224 (2009)
Stefan Schäckeler, Weijia Shang, Ruth Davis
Compiler Optimization Pass Visualization: The Procedural Abstraction Case. ACM Trans. Comput. Educ. 9 (2) (2009)
Jinyun Xue, Ruth Davis
A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program. Softw. Concepts Tools 18 (4) (1997)
Jinyun Xue, Ruth Davis
A Simple Program whose Derivation and Proof is Also. ICFEM (1997)
Henry MacKay Walker, H. Conrad Cunningham, Ruth Davis, Douglas R. Troeger
Formal methods in the undergraduate computer science curriculum (abstract). SIGCSE (1995)
Ruth Davis
Impermanent balance between man and computer. SIGART Newsl. 49 (1974)