Charles W. O'Donnell

Publication Activity (10 Years)

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

Top Venues

J. Comput. Biol.

SAT

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Jérôme Waldispühl, Charles W. O'Donnell, Sebastian Will, Srinivas Devadas, Rolf Backofen, Bonnie Berger
Simultaneous Alignment and Folding of Protein Sequences. J. Comput. Biol. 21 (7) (2014)
Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama
Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. SAT (2012)
Solomon Shenker, Charles W. O'Donnell, Srinivas Devadas, Bonnie Berger, Jérôme Waldispühl
Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models. J. Comput. Biol. 18 (11) (2011)
Charles W. O'Donnell, Jérôme Waldispühl, Mieszko Lis, Randal Halfmann, Srinivas Devadas, Susan Lindquist, Bonnie Berger
A method for probing the mutational landscape of amyloid structure. Bioinform. 27 (13) (2011)
Solomon Shenker, Charles W. O'Donnell, Srinivas Devadas, Bonnie Berger, Jérôme Waldispühl
Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models. RECOMB (2011)
Jérôme Waldispühl, Charles W. O'Donnell, Sebastian Will, Srinivas Devadas, Rolf Backofen, Bonnie Berger
Simultaneous Alignment and Folding of Protein Sequences. RECOMB (2009)
G. Edward Suh, Charles W. O'Donnell, Srinivas Devadas
Aegis: A Single-Chip Secure Processor. IEEE Des. Test Comput. 24 (6) (2007)
Blaise Gassend, Charles W. O'Donnell, William Thies, Andrew Lee, Marten van Dijk, Srinivas Devadas
Learning biophysically-motivated parameters for alpha helix prediction. BMC Bioinform. 8 (S-5) (2007)
Luis F. G. Sarmenta, Marten van Dijk, Charles W. O'Donnell, Jonathan Rhodes, Srinivas Devadas
Virtual monotonic counters and count-limited objects using a TPM without a trusted OS. STC (2006)
Blaise Gassend, Charles W. O'Donnell, William Thies, Andrew Lee, Marten van Dijk, Srinivas Devadas
Predicting Secondary Structure of All-Helical Proteins Using Hidden Markov Support Vector Machines. PRIB (2006)
G. Edward Suh, Charles W. O'Donnell, Srinivas Devadas
AEGIS: A single-chip secure processor. Inf. Secur. Tech. Rep. 10 (2) (2005)
G. Edward Suh, Charles W. O'Donnell, Ishan Sachdev, Srinivas Devadas
Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions. ISCA (2005)
Charles W. O'Donnell, Vinod Vaikuntanathan
Information Leak in the Chord Lookup Protocol. Peer-to-Peer Computing (2004)
Steven M. Nowick, Charles W. O'Donnell
On the Existence of Hazard-Free Multi-Level Logic. ASYNC (2003)

Charles W. O'Donnell.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Charles W. O'Donnell