Randomized rounding: a technique for provably good algorithms and algorithmic proofs
Combinatorica - Theory of Computing
A modeling language for mathematical programming
Management Science
SIAM Review
Probabilistic checking of proofs: a new characterization of NP
Journal of the ACM (JACM)
Approximate graph coloring by semidefinite programming
Journal of the ACM (JACM)
Proof verification and the hardness of approximation problems
Journal of the ACM (JACM)
Approximating the independence number via the j -function
Mathematical Programming: Series A and B
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
A combinatorial approach to protein docking with flexible side-chains
RECOMB '00 Proceedings of the fourth annual international conference on Computational molecular biology
Randomized Approximation of the Constraint Satisfaction Problem (Extended Abstract)
SWAT '96 Proceedings of the 5th Scandinavian Workshop on Algorithm Theory
Heuristics for Finding Large Independent Sets, with Applications to Coloring Semi-random Graphs
FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
A Tree-Decomposition Approach to Protein Structure Prediction
CSB '05 Proceedings of the 2005 IEEE Computational Systems Bioinformatics Conference
FOCS '05 Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science
Fast and accurate algorithms for protein side-chain packing
Journal of the ACM (JACM)
Rapid and accurate protein side chain prediction with local backbone information
RECOMB'08 Proceedings of the 12th annual international conference on Research in computational molecular biology
Improved sublinear time algorithm for width-bounded separators
FAW'10 Proceedings of the 4th international conference on Frontiers in algorithmics
Design of protein-protein interactions with a novel ensemble-based scoring algorithm
RECOMB'11 Proceedings of the 15th Annual international conference on Research in computational molecular biology
RECOMB'11 Proceedings of the 15th Annual international conference on Research in computational molecular biology
A cost-aggregating integer linear program for motif finding
Journal of Discrete Algorithms
Residues with Similar Hexagon Neighborhoods Share Similar Side-Chain Conformations
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
AAIM'06 Proceedings of the Second international conference on Algorithmic Aspects in Information and Management
A compact mathematical programming formulation for DNA motif finding
CPM'06 Proceedings of the 17th Annual conference on Combinatorial Pattern Matching
Rapid protein side-chain packing via tree decomposition
RECOMB'05 Proceedings of the 9th Annual international conference on Research in Computational Molecular Biology
Protein structure optimization by side-chain positioning via beta-complex
Journal of Global Optimization
Hi-index | 0.00 |
With the identification of a novel coronavirus associated with the severe acute respiratory syndrome (SARS), computational analysis of its RNA genome sequence is expected to give useful clues to help elucidate the origin, evolution, and pathogenicity ...