Lehre

• Sommersemester 2010: Übungen zu Datenstrukturen und Algorithmen

• Wintersemester 2009/2010: Ergänzungen zu Grundlagen der Theoretischen Informatik: Logik & Diskrete Strukturen

• Wintersemester 2009/2010: Ergänzungen zu Theoretische Informatik 2

• Sommersemester 2009: Ergänzungen zu Diskrete Mathematik

• Sommersemester 2009: Ergänzungen zu Theoretische Informatik 3

• Wintersemester 2008/2009: Ergänzungen zu Logik

• Wintersemester 2008/2009: Ergänzungen zu Theoretische Informatik 2

• Wintersemester 2008/2009: Hauptseminar Spiele in der Informatik

• Sommersemester 2008: Prüfungsvorbereitung

• Sommersemester 2008: Ergänzungen zu Diskrete Mathematik

• Sommersemester 2008: Ergänzungen zu Theoretische Informatik 3

• Wintersemester 2007/2008: Ergänzungen zu Logik

• Wintersemester 2007/2008: Ergänzungen zu Theoretische Informatik 2

• Sommersemester 2007: Übungen zu Diskrete Mathematik

• Wintersemester 2006/2007: Übungen zu Formale Semantik

• Wintersemester 2006/2007: Übungen zu Theoretische Informatik 2

Veröffentlichungen

• Similarity Search with Set Intersection as a Distance Measure
  [PDF] Dissertation, Institut für Formale Methoden der Informatik, Universität Stuttgart, 2010 (OPUS).


• Maximal Intersection Queries in Randomized Graph Models (mit Yury Lifshits und Dirk Nowotka)
  [Zusammenfassung] [PDF][PS][Vortrag] Proceedings of CSR 2007, LNCS, Vol. 4649, pp. 227--236, Springer-Verlag (© Springer-Verlag).


• Maximal Intersection Queries in Randomized Input Models (mit Mikhail Lifshits, Yury Lifshits und Dirk Nowotka)
  [Zusammenfassung] [PDF][PS] Theory of Computing System, Vol. 46, No. 1, Springer-Verlag (© Springer-Verlag).


• Comparison of Standard and Zipf-Based Document Retrieval Heuristics
  [PDF] Technischer Bericht Nr. 2010/06, Institut für Formale Methoden der Informatik, Universität Stuttgart, September 2010 (OPUS).

Links

• DLT 2009