2008 |
44 | | Manuel Cebrián,
Iván Dotú,
Pascal Van Hentenryck,
Peter Clote:
Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search.
AAAI 2008: 241-246 |
43 | EE | Iván Dotú,
Manuel Cebrián,
Pascal Van Hentenryck,
Peter Clote:
Protein Structure Prediction with Large Neighborhood Constraint Programming Search.
CP 2008: 82-96 |
42 | EE | W. A. Lorenz,
Yann Ponty,
Peter Clote:
Asymptotics of RNA Shapes.
Journal of Computational Biology 15(1): 31-63 (2008) |
2007 |
41 | EE | Eva Freyhult,
Vincent Moulton,
Peter Clote:
Boltzmann probability of RNA structural neighbors and riboswitch detection.
Bioinformatics 23(16): 2054-2062 (2007) |
40 | EE | Peter Clote,
Evangelos Kranakis,
Danny Krizanc,
Ladislav Stacho:
Asymptotic expected number of base pairs in optimal secondary structure for random RNA using the Nussinov-Jacobson energy model.
Discrete Applied Mathematics 155(6-7): 759-787 (2007) |
39 | EE | Jérôme Waldispühl,
Peter Clote:
Computing the Partition Function and Sampling for Saturated Secondary Structures of RNA, with Respect to the Turner Energy Model.
Journal of Computational Biology 14(2): 190-215 (2007) |
38 | EE | Eva Freyhult,
Vincent Moulton,
Peter Clote:
RNAbor: a web server for RNA structural neighbors.
Nucleic Acids Research 35(Web-Server-Issue): 305-309 (2007) |
37 | EE | Fabrizio Ferrè,
Yann Ponty,
W. A. Lorenz,
Peter Clote:
DIAL: a web server for the pairwise alignment of two RNA three-dimensional structures using nucleotide, dihedral angle and base-pairing similarities.
Nucleic Acids Research 35(Web-Server-Issue): 659-668 (2007) |
2006 |
36 | EE | Fabrizio Ferrè,
Peter Clote:
DiANNA 1.1: an extension of the DiANNA web server for ternary cysteine classification.
Nucleic Acids Research 34(Web-Server-Issue): 182-185 (2006) |
35 | EE | Jérôme Waldispühl,
Bonnie Berger,
Peter Clote,
Jean-Marc Steyaert:
transFold: a web server for predicting the structure and residue contacts of transmembrane beta-barrels.
Nucleic Acids Research 34(Web-Server-Issue): 189-193 (2006) |
34 | EE | Fabrizio Ferrè,
Peter Clote:
BTW: a web server for Boltzmann time warping of gene expression time series.
Nucleic Acids Research 34(Web-Server-Issue): 482-485 (2006) |
2005 |
33 | EE | Fabrizio Ferrè,
Peter Clote:
Disulfide connectivity prediction using secondary structure information and diresidue frequencies.
Bioinformatics 21(10): 2336-2346 (2005) |
32 | EE | Peter Clote,
Jérôme Waldispühl,
Behshad Behzadi,
Jean-Marc Steyaert:
Energy landscape of k-point mutants of an RNA molecule.
Bioinformatics 21(22): 4140-4147 (2005) |
31 | EE | Peter Clote:
An Efficient Algorithm to Compute the Landscape of Locally Optimal RNA Secondary Structures with Respect to the NussinovJacobson Energy Model.
Journal of Computational Biology 12(1): 83-101 (2005) |
30 | EE | Fabrizio Ferrè,
Peter Clote:
DiANNA: a web server for disulfide connectivity prediction.
Nucleic Acids Research 33(Web-Server-Issue): 230-232 (2005) |
2003 |
29 | EE | Peter Clote:
Performance Comparison of Generalized PSSM in Signal Peptide Cleavage Site.
BIBE 2003: 37-44 |
2002 |
28 | EE | Peter Clote,
Gavin J. P. Naylor,
Ziheng Yang:
Proteins: Structure, Function and Evolution - Session Introduction.
Pacific Symposium on Biocomputing 2002: 548-551 |
2000 |
27 | | Peter Clote,
Helmut Schwichtenberg:
Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings
Springer 2000 |
1999 |
26 | | Rolf Backofen,
Sebastian Will,
Peter Clote:
Algorithmic approach to quantifying the hydrophobic force contribution in protein folding.
German Conference on Bioinformatics 1999: 93-106 |
25 | EE | Peter Clote:
Protein Folding, the Levinthal Paradox and Rapidly Mixing Markov Chains.
ICALP 1999: 240-249 |
24 | EE | Rolf Backofen,
François Bry,
Peter Clote,
Hans-Peter Kriegel,
Thomas Seidl,
Klaus U. Schulz:
Bioinformatik - Aktuelles Schlagwort.
Informatik Spektrum 22(5): 376-378 (1999) |
1997 |
23 | | Rolf Backofen,
Peter Clote:
Evolution as a Computational Engine.
CSL 1997: 35-55 |
22 | | Stefan Schönauer,
Peter Clote:
How optimal is the genetic code?
German Conference on Bioinformatics 1997: 65-67 |
21 | | Peter Clote:
A Safe Recursion Scheme for Exponential Time.
LFCS 1997: 44-52 |
20 | EE | Peter Clote:
Nondeterministic Stack Register Machines.
Theor. Comput. Sci. 178(1-2): 37-76 (1997) |
1996 |
19 | EE | Peter Clote:
A Note on the Monotone Complexity of 2-REF.
Inf. Process. Lett. 57(3): 117-123 (1996) |
1995 |
18 | | Peter Clote:
A Note on the Relation Between Polynomial Time Functionals and Constable's Class K.
CSL 1995: 145-160 |
17 | | Peter Clote:
Cutting plane and Frege proofs
Inf. Comput. 121(1): 103-122 (1995) |
16 | | Peter Clote:
Editor's Introduction.
Notre Dame Journal of Formal Logic 36(4): 499-501 (1995) |
1994 |
15 | | Peter Clote:
Computational Models and Function Algebras.
LCC 1994: 98-130 |
1993 |
14 | | Peter Clote,
Aleksandar Ignjatovic,
Bruce M. Kapron:
Parallel computable higher type functionals (Extended Abstract)
FOCS 1993: 72-81 |
1992 |
13 | | Peter Clote:
Cutting Planes and constant depth Frege proofs
LICS 1992: 296-307 |
12 | | Peter Clote:
ALOGTIME and a Conjecture of S. A. Cook.
Ann. Math. Artif. Intell. 6(1-3): 57-106 (1992) |
11 | | Peter Clote,
Gaisi Takeuti:
Bounded Arithmetic for NC, ALogTIME, L and NL.
Ann. Pure Appl. Logic 56(1-3): 73-117 (1992) |
10 | | Peter Clote:
A Time-Space Hierarchy Between Polynomial Time and Polynomial Space.
Mathematical Systems Theory 25(2): 77-92 (1992) |
1991 |
9 | | Peter Clote,
Evangelos Kranakis:
Boolean Functions, Invariance Groups, and Parallel Complexity.
SIAM J. Comput. 20(3): 553-590 (1991) |
1990 |
8 | | Peter Clote:
ALOGTIME and a Conjecture of S. A. Cook (Extended Abstract)
LICS 1990: 181-189 |
7 | | Peter Clote:
Bounded Arithmetic and Computational Complexity.
Structure in Complexity Theory Conference 1990: 186-199 |
1989 |
6 | | Peter Clote:
Boolean Functions, Invariance Groups and Parallel Complexity.
Structure in Complexity Theory Conference 1989: 55-66 |
1986 |
5 | | Peter Clote,
Gaisi Takeuti:
Exponential Time and Bounded Arithmetic.
Structure in Complexity Theory Conference 1986: 125-143 |
4 | | Peter Clote:
A Generalization of the Limit Lemma and Clopen Games.
J. Symb. Log. 51(2): 273-291 (1986) |
3 | | Peter Clote:
On the Finite Containment Problem for Petri Nets.
Theor. Comput. Sci. 43: 99-105 (1986) |
1984 |
2 | | Peter Clote:
A Recursion Theoretic Analysis of the Clopen Ramsey Theorem.
J. Symb. Log. 49(2): 376-400 (1984) |
1983 |
1 | | Peter Clote,
Kenneth Mcaloon:
Two Further Combinatorial Theorems Equivalent to the 1-Consistency of Peano Arithmetic.
J. Symb. Log. 48(4): 1090-1104 (1983) |