Charles W. O'Donnell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2005–2012
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SAT | Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. | Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama |
| 2011 | RECOMB | Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models. | Solomon Shenker, Charles W. O'Donnell, Srinivas Devadas, Bonnie Berger, Jrme Waldisphl |
| 2009 | RECOMB | Simultaneous Alignment and Folding of Protein Sequences. | Jrme Waldisphl, Charles W. O'Donnell, Sebastian Will, Srinivas Devadas, Rolf Backofen, Bonnie Berger |
| 2006 | CCS | Virtual monotonic counters and count-limited objects using a TPM without a trusted OS. | Luis F. G. Sarmenta, Marten van Dijk, Charles W. O'Donnell, Jonathan Rhodes, Srinivas Devadas |
| 2005 | ISCA | Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions. | G. Edward Suh, Charles W. O'Donnell, Ishan Sachdev, Srinivas Devadas |