Ruth Davis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1995–2014
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SIGCSE | Recruit and retain women in undergraduate computing: success stories using research-based practices. | Leisa D. Thompson, Crystal Eney, Ruth Davis, Tiffany Grady |
| 1997 | ICFEM | A Simple Program whose Derivation and Proof is Also. | Jinyun Xue, Ruth Davis |
| 1995 | SIGCSE | Formal methods in the undergraduate computer science curriculum (abstract). | Henry MacKay Walker, H. Conrad Cunningham, Ruth Davis, Douglas R. Troeger |