1. Scalability of Routing Methods in Ad Hoc Networks

Naumov, Valery and Gross, Thomas K.R. (2005)

Reports

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

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

Reports

3. The effectiveness of end-to-end congestion control mechanisms

Bolliger, Jürg, Hengartner, Urs and Gross, Thomas K.R. (1999)

Reports

4. The relationship detector

Burns, Alexandra, Balzer, Stephanie and Gross, Thomas K.R. (2006)

Reports

5. Variant-based competitive parallel execution of sequential programs

Trachsel, Oliver and Gross, Thomas K.R. (2010)

Reports