ETH E-Collection · ETH Institutional Repository

1. An essay on programming

Wirth, Niklaus (1999)

Reports

2. Metaprogramming in Oberon

Templ, Josef (1994)

Doctoral and Habilitation Theses

3. Type safety of C# and .Net CLR

Fruja, Nicu Georgian (2007)

Doctoral and Habilitation Theses

4. Tunable universe type inference

Dietl, Werner, Ernst, Michael and Müller, Peter (2009)

Reports

5. Verification Condition Generation for Permission Logics with Abstraction Functions

Heule, Stefan, Kassios, Ioannis T., Müller, Peter and Summers, Alexander J. (2012)

Reports

6. A Discipline for Program Verification based on Backpointers and its Use in Observational Disjointness

Kassios, Ioannis T. and Kritikos, Eleftherios (2012)

Reports

7. Montages/Gem-Mex: a meta visual programming generator

Anlauff, Matthias, Kutter, Philipp W. and Pierantonio, Alfonso (1998)

Reports

8. Syntax and semantics of graphs

Janneck, Jörn Wilhelm (2000)

Doctoral and Habilitation Theses

9. An interactive proof environment for object-oriented specifications

Brucker, Achim D. (2007)

Doctoral and Habilitation Theses

10. Montages

Kutter, Philipp W. (2004)

Doctoral and Habilitation Theses

11. Encoding scala programs for the Boogie verifier

Wüstholz, Valentin (2009)

Master Theses

12. Many-objective optimization and hypervolume based search

Brockhoff, Dimo (2009)

Doctoral and Habilitation Theses

13. Random walk algorithms for SAT

Giurgiu, Andrei (2009)

Master Theses

14. Abstract objective function graphs on the 3-cube

Gärtner, Bernd and Kaibel, Volker (1998)

Reports

15. Balanced partitioning of grids and related graphs

Feldmann, Andreas Emil (2012)

Doctoral and Habilitation Theses

16. On the linearization of graphs and writing symbol files

Griesemer, Robert, Heeb, Beat, Templ, Josef and Pfister, Cuno (1991)

Reports

17. Ein Einblick in die Theorie der Berechnungen

Wiedmer, Edwin, Zachos, Efstathios and Engeler, Erwin (1974)

Reports

18. Proofs and proof transformations for object-oriented programs

Nordio, Darío Martín (2009)

Doctoral and Habilitation Theses

19. Making classes provable trough contracts, models and frames

Schoeller, Bernd (2007)

Doctoral and Habilitation Theses

20. Types and consistency in combinatory algebras

Otth, Daniel (1992)

Doctoral and Habilitation Theses

21. Two linear time algorithms for MST on minor closed graph classes

Mareš, Martin (2002)

Reports

22. Programmierung von Prozessrechnern erläutert am Beispiel der Regelung einer Gleichstrommaschine

Lalive d'Epinay, Thierry, Lalive d'Epinay, Thierry and Lalive d'Epinay, Thierry (1975)

Doctoral and Habilitation Theses

23. Planung von Turnieren

Weisner, Ulrich (1974)

Doctoral and Habilitation Theses

24. Mechanizing proofs of program properties

Gitsels, Martin (1998)

Doctoral and Habilitation Theses

25. Low-cost fault-tolerant spanning graphs for point sets in the Euclidean plane

Nardelli, Enrico, Stege, Ulrike and Widmayer, Peter (1997)

Reports