ETH E-Collection · ETH Institutional Repository

1. Formalizing Java’s Two’s-Complement Integral Type in Isabelle/HOL

Rauch, Nicole and Wolff, Burkhart (2004)

Reports

2. Reverse query processing

Binnig, Carsten, Kossmann, Donald and Lo, Eric

Reports

3. Program development by step-wise refinement

Wirth, Niklaus (1971)

Reports

4. Indexing and search on complex data warehouses and rapidly-changing data

Blunschi, Lukas (2012)

Doctoral and Habilitation Theses

5. Flexible models for programming the Web

Fourny, Ghislain (2011)

Doctoral and Habilitation Theses

6. Eliminating Insecure Uses of C Library Functions

Tawil, Raphael (2012)

Master Theses

7. Statically checking API protocol conformance with mined multi-object specifications

Pradel, Michael, Jaspan, Cierra, Aldrich, Jonathan and Gross, Thomas K.R. (2012)

Reports

8. Fast multiresolution surface meshing

Gross, Markus H., Gatti, R. and Staadt, Oliver G. (1995)

Reports

9. Improving the retrival effectiveness by a similarity thesaurus

Qiu, Yonggang and Frei, Hans-Peter (1995)

Reports

10. Safe loading and efficient runtime confinement

Payer, Mathias J. (2012)

Doctoral and Habilitation Theses

11. Cut and paste of complex, interrelated objects

Känel, Jürg von (1991)

Doctoral and Habilitation Theses

12. Using domain-specific languages for the realization of component composition

Anlauff, Matthias, Kutter, Philipp W., Pierantonio, Alfonso and Sünbül, Asuman (1999)

Reports

13. Predicative scheduling

Brägger, Richard P. and Reimer, Manuel (1983)

Reports

14. A hierarchical visual clustering method using implicit surfaces

Sprenger, Thomas Carl, Brunella, R. and Gross, Markus H. (2000)

Reports

15. Latency-driven programming of computer networks

Strumpen, Volker (1995)

Reports

16. First experiences with high performance Fortran on the Intel Paragon

Sturler, Eric de and Strumpen, Volker (1995)

Reports

17. Using inverse iteration to improve the divide and conquer algorithm

Gates, Kevin (1991)

Reports

18. On the Advice Complexity of the Set Cover Problem

Komm, Dennis, Královič, Richard and Mömke, Tobias (2011)

Reports

19. Implementation of frozen objects into Spec#

Leu, Florian (2009)

Master Theses

20. ELAN-Werkzeuge zur Leistungs- und Verlustanalyse an parallelen Programmen

Moser, Michael (1992)

Doctoral and Habilitation Theses

21. Intervals: data-race-free parallel programming

Matsakis, Nicholas D. (2011)

Doctoral and Habilitation Theses

22. The minimum transfer cost principle for model-order selection

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

Conference Contributions

23. Fairing of non-manifold models

Hubeli, Andreas and Gross, Markus H. (2000)

Reports

24. Structural relations between programs and problems

Engeler, Erwin (1975)

Reports

25. Markov processes involving q-Stirling numbers

Crippa, Davide, Simon, Klaus and Trunz, Paul (1994)

Reports