ETH E-Collection · ETH Institutional Repository

1. Toward massively parallel multi-objective optimization with application to particle accelerators

Ineichen, Yves (2013)

Doctoral and Habilitation Theses

2. Relating European temperature extremes to trends in mean temperature

Lustenberger, Andreas (2012)

Doctoral and Habilitation Theses

3. Plio-pleistocene nutrient consumption in the Polar oceans reconstructed from diatom-bound nitrogen isotopes

Studer, Anja (2013)

Doctoral and Habilitation Theses

4. Verification and synthesis of optimal decision strategies for complex systems

Summers, Sean Joey (2013)

Doctoral and Habilitation Theses

5. Contributions towards optimized antennas for on-body operation

Li, Chung-Huan (2013)

Doctoral and Habilitation Theses

6. Virtual experiment platform

Bloch, Daniel, Hector, Andrew, Niklaus, Pascal, Paschke, Melanie, Schmid, Bernhard and Stoll, Peter (2013)

Reports

7. Microcarriers for controlled transport and release made by microfluidic double emulsification

Sander, Jonathan Samuel (2013)

Doctoral and Habilitation Theses

8. On phenotypic heterogeneity in colonal bacterial populations with a special focus on variation in metabolic functions

Nikolic, Nela (2013)

Doctoral and Habilitation Theses

9. Assembly of a salmonella phage cocktail with broad, strictly virulent activity and detailed characterization of the phages used

Marti, Roger (2013)

Doctoral and Habilitation Theses

10. The Distributed Flight Array

Oung, Raymond (2013)

Doctoral and Habilitation Theses

11. Post-traumatic intervertebral disc degeneration - an in vitro study on the etiopathogenesis

Dudli, Stefan (2013)

Doctoral and Habilitation Theses

12. Algorithms and interfaces for real-time deformation of 2D and 3D shapes

Jacobson, Alec (2013)

Doctoral and Habilitation Theses

13. Advancing automated security protocol verification

Meier, Simon (2013)

Doctoral and Habilitation Theses

14. Control of the oil upstream sector. Explaining policy choices across oil producing countries

Sarbu, Georgeta Bianca (2013)

Doctoral and Habilitation Theses

15. Structural studies of amyloid fibrils by solid-state NMR

Schütz, Anne Kathrin (2013)

Doctoral and Habilitation Theses

16. Non-Viral Strategies for Nucleic Acid Delivery

Felber, Arnaud Éleuthère (2013)

Doctoral and Habilitation Theses

17. A process for the complete valorization of lignin into aromatic chemicals based on acidic oxidation

Werhan, Holger (2013)

Doctoral and Habilitation Theses

18. The lepton+jets Selection and Determination of the Lepton Fake Rate with the Full RunIIb Data Set

Meister, Daniel (2013)

Master Theses

19. EDM process analysis using high-speed imaging

Maradia, U., Knaak, R., Boos, J., Boccadoro, Marco, Stirnimann, Josef and Wegener, K. (2013)

Conference Contributions

20. Do immigrants take or create residents’ jobs?

Basten, Christoph and Siegenthaler, Michael (2013)

Reports

21. Technological Diversification and Innovation Performance

Bolli, Thomas and Wörter, Martin (2013)

Reports

22. Using Head Tracking Data for Robust Short Term Path Prediction of Human Locomotion

Nescher, Thomas and Kunz, Andreas (2013)

Journal Items

23. Applying Search in an Automatic Contract-Based Testing Tool

Kolesnichenko, Alexey, Poskitt, Christopher M. and Meyer, Bertrand (2013)

Conference Contributions

24. Using Contracts to Guide the Search-Based Verification of Concurrent Programs

Poskitt, Christopher M. and Poulding, Simon (2013)

Conference Contributions

25. Verifying Total Correctness of Graph Programs

Poskitt, Christopher M. and Plump, Detlef (2013)

Journal Items