Charles W. O'Donnell

According to our database, Charles W. O'Donnell authored at least 12 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

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

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

Ensemble modeling of [beta]-sheet proteins.

Charles W. O'Donnell

PhD thesis, 2011

A method for probing the mutational landscape of amyloid structure.

Charles W. O'Donnell, Jérôme Waldispühl, Mieszko Lis, Randal Halfmann, Srinivas Devadas, Susan Lindquist, Bonnie Berger

Bioinform., 2011

Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models.

Solomon Shenker, Charles W. O'Donnell, Srinivas Devadas, Bonnie Berger, Jérôme Waldispühl

Proceedings of the Research in Computational Molecular Biology, 2011

2009

Simultaneous Alignment and Folding of Protein Sequences.

Jérôme Waldispühl, Charles W. O'Donnell, Sebastian Will, Srinivas Devadas, Rolf Backofen, Bonnie Berger

Proceedings of the Research in Computational Molecular Biology, 2009

2007

Aegis: A Single-Chip Secure Processor.

G. Edward Suh, Charles W. O'Donnell, Srinivas Devadas

IEEE Des. Test Comput., 2007

Learning biophysically-motivated parameters for alpha helix prediction.

Blaise Gassend, Charles W. O'Donnell, William Thies, Andrew Lee, Marten van Dijk, Srinivas Devadas

BMC Bioinform., 2007

2006

Predicting Secondary Structure of All-Helical Proteins Using Hidden Markov Support Vector Machines.

Blaise Gassend, Charles W. O'Donnell, William Thies, Andrew Lee, Marten van Dijk, Srinivas Devadas

Proceedings of the Pattern Recognition in Bioinformatics, International Workshop, 2006

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

Proceedings of the 1st ACM Workshop on Scalable Trusted Computing, 2006

2005

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

Proceedings of the 32st International Symposium on Computer Architecture (ISCA 2005), 2005

2004

Information Leak in the Chord Lookup Protocol.

Charles W. O'Donnell, Vinod Vaikuntanathan

Proceedings of the 4th International Conference on Peer-to-Peer Computing (P2P 2004), 2004

2003

On the Existence of Hazard-Free Multi-Level Logic.

Steven M. Nowick, Charles W. O'Donnell

Proceedings of the 9th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2003), 2003