1. Local rules for protein folding on a triangular lattice and generalized hydrophobicity in the HP model;Agarwala,1997
2. Proof verification and hardness of approximation algorithms;Arora,1992
3. A method to identify protein sequences that fold into a known three-dimensional structures;Bowie;Science,1991
4. Introduction to Protein Structure;Branden,1991
5. An empirical energy function for threading protein sequence through the folding motif;Bryant;PROTEINS: Structure, Function, and Genetics,1993