DiANNA: a web server for disulfide connectivity prediction F Ferrè, P Clote Nucleic acids research 33 (suppl_2), W230-W232, 2005 | 407 | 2005 |
Computational molecular biology: an introduction P Clote, R Backofen (No Title), 2000 | 360 | 2000 |
DiANNA 1.1: an extension of the DiANNA web server for ternary cysteine classification F Ferrè, P Clote Nucleic acids research 34 (suppl_2), W182-W185, 2006 | 255 | 2006 |
Structural RNA has lower folding energy than random RNA of the same dinucleotide frequency P Clote, F Ferré, E Kranakis, D Krizanc Rna 11 (5), 578-591, 2005 | 249 | 2005 |
Disulfide connectivity prediction using secondary structure information and diresidue frequencies F Ferrè, P Clote Bioinformatics 21 (10), 2336-2346, 2005 | 154 | 2005 |
Boolean functions and computation models P Clote, E Kranakis Springer Science & Business Media, 2013 | 145 | 2013 |
Computation models and function algebras P Clote Studies in Logic and the Foundations of Mathematics 140, 589-681, 1999 | 145* | 1999 |
Integrating chemical footprinting data into RNA secondary structure prediction K Zarringhalam, MM Meyer, I Dotu, JH Chuang, P Clote Public Library of Science 7 (10), e45160, 2012 | 107 | 2012 |
RNAiFOLD: a constraint programming algorithm for RNA inverse folding and molecular design JA Garcia-Martin, P Clote, I Dotu Journal of bioinformatics and computational biology 11 (02), 1350001, 2013 | 98 | 2013 |
On lattice protein structure prediction revisited I Dotu, M Cebrian, P Van Hentenryck, P Clote IEEE/ACM Transactions on Computational Biology and Bioinformatics 8 (6 …, 2011 | 92 | 2011 |
DIAL: a web server for the pairwise alignment of two RNA three-dimensional structures using nucleotide, dihedral angle and base-pairing similarities F Ferrè, Y Ponty, WA Lorenz, P Clote Nucleic acids research 35 (suppl_2), W659-W668, 2007 | 85 | 2007 |
First order bounded arithmetic and small boolean circuit complexity classes P Clote, G Takeuti Feasible Mathematics II, 154-218, 1995 | 77 | 1995 |
Sequential, machine-independent characterizations of the parallel complexity classes ALOGTIME, AC k, NC k and NC PG Clote Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca …, 1990 | 67 | 1990 |
Cutting planes, connectivity, and threshold logic SR Buss, P Clote Archive for Mathematical Logic 35 (1), 33-62, 1996 | 64 | 1996 |
Members of countable Π10 classes D Cenzer, P Clote, RL Smith, RI Soare, SS Wainer Annals of Pure and Applied Logic 31, 145-163, 1986 | 62 | 1986 |
Boolean functions, invariance groups, and parallel complexity P Colte, E Kranakis SIAM Journal on Computing 20 (3), 553-590, 1991 | 60 | 1991 |
Algorithmic approach to quantifying the hydrophobic force contribution in protein folding R Backofen, S Will, P Clote Biocomputing 2000, 95-106, 1999 | 56 | 1999 |
Efficient algorithms for probing the RNA mutation landscape J Waldispühl, S Devadas, B Berger, P Clote PLoS computational biology 4 (8), e1000124, 2008 | 55 | 2008 |
Asymptotics of RNA shapes WA Lorenz, Y Ponty, P Clote Journal of Computational Biology 15 (1), 31-63, 2008 | 52 | 2008 |
An equivalence between second order bounded domain bounded arithmetic and first order bounded arithmetic A Razborov Arithmetic, proof theory and computational complexity 23, 247-277, 1993 | 52 | 1993 |