Travelled to:1 × Czech Republic
1 × Denmark
2 × USA
Collaborated with:∅ R.Backofen
Talks about:conjectur (1) constant (1) protein (1) paradox (1) levinth (1) alogtim (1) markov (1) evolut (1) comput (1) rapid (1)
Person: Peter Clote
DBLP: Clote:Peter
Facilitated 1 volumes:
EdContributed to:
19991997
19921990Wrote 4 papers:
- ICALP-1999-Clote #markov
- Protein Folding, the Levinthal Paradox and Rapidly Mixing Markov Chains (PC), pp. 240–249.
- CSL-1997-BackofenC #evolution
- Evolution as a Computational Engine (RB, PC), pp. 35–55.
- LICS-1992-Clote #constant #proving
- Cutting Planes and constant depth Frege proofs (PC), pp. 296–307.
- LICS-1990-Clote
- ALOGTIME and a Conjecture of S. A. Cook (PC), pp. 181–189.