1. A Formalization of JML in the Coq Proof System

Kägi, Andreas, Lehner, Hermann and Müller, Peter (2009)

Reports

2. An O(n4) time algorithm to compute the bisection width of solid grid graphs

Feldmann, Andreas Emil and Widmayer, Peter (2011)

Reports

3. Charakterisierung von Osteosyntheseplatten

Peter, Thomas Andreas (2001)

Doctoral and Habilitation Theses

4. Computation of optical modes inside axisymmetric open cavity resonators

Chinellato, Oscar, Arbenz, Peter, Streiff, Matthias and Witzig, Andreas (2003)

Reports

5. Das Projekt PRIMALP der ETH Zürich

Gotsch, Nikolaus Andrea, Flury, Christian and Rieder, Peter (2001)

Reports

6. Das Schwimmbüchsenlager unter instationärer Belastung

Fink, Peter Andreas (1970)

Doctoral and Habilitation Theses

7. Dual purkinje eyetracking with cats

Körding, Konrad, Betsch, Belinda, Benucci, Andrea, Kayser, Christoph and König, Peter

Reports

8. Electron delocalization in through and cross conjugated oligomers and its influence on the molecular properties

Limacher, Peter Andreas (2010)

Doctoral and Habilitation Theses

9. Energy

Heinrich, Andreas, Pleines, Heiko, Grätz, Jonas, Lifan, Li and Rutland, Peter (2012)

Journal Items

10. Entwicklung photoaktivierbarer fluoreszierender Reagenzien zur Markierung hydrophiler intrazellulärer Phasen

Huber, Peter Andreas (1986)

Doctoral and Habilitation Theses

11. Finite element simulation of a carving snow ski

Federolf, Peter Andreas (2005)

Doctoral and Habilitation Theses

12. Growth hormone-dependent expression and regulation of insulin-like growth factor (IGF) I and IGF binding protein mRNA levels in rat tissues in vivo

Peter, Martina Andrea (1993)

Doctoral and Habilitation Theses

13. Information theoretic model selection for pattern analysis

Chehreghani, Morteza Haghir, Frank, Mario, Streich, Andreas Peter and Buhmann, Joachim M. (2011)

Conference Contributions

14. Investigations on Escherichia coli phenylalanyl-tRNA synthetase at the molecular level

Kast, Peter Andreas (1991)

Doctoral and Habilitation Theses

15. Kulturlandschaften im Alpenraum - nachhaltig nutzen und gestalten

Gotsch, Nikolaus Andrea and Rieder, Peter (2000)

Conference Contributions

16. Learning of invariances from natural videos

Körding, Konrad, Einhäuser, Wolfgang, Benucci, Andrea, Betsch, Belinda and König, Peter

Reports

17. Modelling and simulation of boiling channels with a general front tracking approach

Heusser, Peter Andreas (1996)

Doctoral and Habilitation Theses

18. Multi-label classification and clustering for acoustics and computer security

Streich, Andreas Peter (2010)

Doctoral and Habilitation Theses

19. Neuronal processing under naturally correlated input conditions

Englitz, Bernhard, Benucci, Andrea and König, Peter

Reports

20. Polyproject "PRIMALP - sustainable agriculture and forestry in the Alpine region"

Gotsch, Nikolaus Andrea, Flury, Christian and Rieder, Peter (2000)

Conference Contributions

21. Restricted cuts for bisections in solid grids: a proof via polygons

Feldmann, Andreas Emil, Das, Shantanu and Widmayer, Peter (2011)

Reports

22. Robust estimation in the analysis of complex molecular spectra

Stahel, Werner Alfred, Ruckstuhl, Andreas Franz, Senn, Peter and Dressler, Kurt (1991)

Reports

23. Sedimentologische Entwicklung der Schichten an einer Zyklengrenze der helvetischen Unterkreide

Haldimann, Peter Andreas (1977)

Doctoral and Habilitation Theses

24. Sparse graphical Gaussian modeling of the isoprenoid gene network in Arabidopsis thaliana

Wille, Anja, Zimmermann, Philip, Vranovà-Milcakova, Eva, Fürholz, Andreas, Laule, Oliver, Bleuler, Stefan, Hennig, Lars, Prelić, Amela, Rohr, Peter von, Zitzler, Eckart, Gruissem, Wilhelm, Thiele, Lothar and Bühlmann, Peter Lukas (2004)

Reports

25. Spatial effects of alternative direct payment systems on Swiss Alpine regions

Flury, Christian, Gotsch, Nikolaus Andrea and Rieder, Peter (2000)

Reports