Bild mit Unilogo
homeicon university sucheicon search kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

Division of Theoretical Computer Science

englishicon
 
Benjamin Hoffmann
Scientific Assistant
Mitarbeiterbild
Phone +49-(0)711-7816 405
Fax +49-(0)711-7816 310
Room 1.116
Email Benjamin.Hoffmann@fmi.uni-stuttgart.de
Address Universität Stuttgart, FMI
Universitätsstr. 38
D-70569 Stuttgart

Teaching

  • Winter term 2008/2009: Logic
  • Winter term 2007/2008: Logic

Publications

  • Maximal Intersection Queries in Randomized Graph Models (with Yury Lifshits and Dirk Nowotka)
    [Abstract] [PDF][PS][Presentation] Proceedings of CSR 2007, LNCS, Vol. 4649, pp. 227--236, Springer (© Springer).

  • Maximal Intersection Queries in Randomized Input Models (with Mikhail Lifshits, Yury Lifshits, and Dirk Nowotka)
    [Abstract] [PDF][PS] To appear in Theory of Computing Systems: Special Issue CSR 2007, Springer (© Springer).

Miscellaneous

  • DLT 2009 will take place in Stuttgart.