Peter Clote

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)

Coauthor Index

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

Colors in the list of coauthors