dblp.uni-trier.dewww.uni-trier.de

Peter Clote

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
43EEIván Dotú, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote: Protein Structure Prediction with Large Neighborhood Constraint Programming Search. CP 2008: 82-96
42EEW. A. Lorenz, Yann Ponty, Peter Clote: Asymptotics of RNA Shapes. Journal of Computational Biology 15(1): 31-63 (2008)
2007
41EEEva Freyhult, Vincent Moulton, Peter Clote: Boltzmann probability of RNA structural neighbors and riboswitch detection. Bioinformatics 23(16): 2054-2062 (2007)
40EEPeter 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)
39EEJé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)
38EEEva Freyhult, Vincent Moulton, Peter Clote: RNAbor: a web server for RNA structural neighbors. Nucleic Acids Research 35(Web-Server-Issue): 305-309 (2007)
37EEFabrizio 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
36EEFabrizio 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)
35EEJé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)
34EEFabrizio 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
33EEFabrizio Ferrè, Peter Clote: Disulfide connectivity prediction using secondary structure information and diresidue frequencies. Bioinformatics 21(10): 2336-2346 (2005)
32EEPeter 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)
31EEPeter 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)
30EEFabrizio Ferrè, Peter Clote: DiANNA: a web server for disulfide connectivity prediction. Nucleic Acids Research 33(Web-Server-Issue): 230-232 (2005)
2003
29EEPeter Clote: Performance Comparison of Generalized PSSM in Signal Peptide Cleavage Site. BIBE 2003: 37-44
2002
28EEPeter 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
25EEPeter Clote: Protein Folding, the Levinthal Paradox and Rapidly Mixing Markov Chains. ICALP 1999: 240-249
24EERolf 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
20EEPeter Clote: Nondeterministic Stack Register Machines. Theor. Comput. Sci. 178(1-2): 37-76 (1997)
1996
19EEPeter 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)

Coauthor Index

1Rolf Backofen [23] [24] [26]
2Behshad Behzadi [32]
3Bonnie Berger [35]
4François Bry (François Bry-Haußer) [24]
5Manuel Cebrián [43] [44]
6Iván Dotú [43] [44]
7Fabrizio Ferrè [30] [33] [34] [36] [37]
8Eva Freyhult [38] [41]
9Pascal Van Hentenryck [43] [44]
10Aleksandar Ignjatovic [14]
11Bruce M. Kapron [14]
12Evangelos Kranakis [9] [40]
13Hans-Peter Kriegel [24]
14Danny Krizanc [40]
15W. A. Lorenz [37] [42]
16Kenneth Mcaloon [1]
17Vincent Moulton [38] [41]
18Gavin J. P. Naylor [28]
19Yann Ponty [37] [42]
20Stefan Schönauer [22]
21Klaus U. Schulz [24]
22Helmut Schwichtenberg [27]
23Thomas Seidl [24]
24Ladislav Stacho [40]
25Jean-Marc Steyaert [32] [35]
26Gaisi Takeuti [5] [11]
27Jérôme Waldispühl [32] [35] [39]
28Sebastian Will [26]
29Ziheng Yang [28]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)