Îçҹ̽»¨

Interessen

• Im Allgemeinen: °­´Ç³¾±è±ô±ð³æ¾±³Ùä³Ù²õ³Ù³ó±ð´Ç°ù¾±±ð
• Im Speziellen: Parallele Komplexität
• Und davon besonders: Matchings

Lehre

• Kryptologie: Algorithmen und Methoden (SS16)
• Grundlagen der Mathematik (WS15/16, HS Aalen)
• Formale Grundlagen der Informatik (WS15/16)
• Algorithmen und Datenstrukturen (WS15/16)
• Einführung in die Informatik / Praktische Informatik (SS15)
• Algorithmen und Datenstrukturen (WS14/15)
• Proseminar Algorithmen (WS14/15)
• Berechenbarkeit und Komplexität (SS14)
• Logik (SS14)
• Formale Grundlagen der Informatik (WS13/14)
• Proseminar Algorithmen (WS13/14)
• Berechenbarkeit und Komplexität (SS13)
• Proseminar Klassiker der Informatik (SS13)
• Formale Grundlagen der Informatik (WS12/13)
• Proseminar Algorithmen (WS12/13)
• Logik (SS12)
• Projekt Implementierung von web-Suchmaschinen (WS11/12)
• Algorithmen und Datenstrukturen (WS11/12)
• Logik (SS11)
• Seminar Algorithmen in der Graphentheorie (SS11)
• Algorithmen und Datenstrukturen (WS10/11)

Publikationen

• S. Straub. Gadgets for Perfect Matching Problems. Dissertation. Universität Ulm, 2015.

• S. Straub, T. Thierauf, and F. Wagner. Counting the Number of Perfect Matchings in $K_5$-free Graphs.  Theory of Computing Systems, 1–24, 2015. First online: 15 July 2015.
  siehe auch: IEEE Conference on Computational Complexity (CCC), 66-77, 2014. 
  siehe auch: Technical Report TR14-079, Electronic Colloquium on Computational Complexity, 2014.

• R. Gurjar, A. Korwar, J. Messner, S. Straub, and T. Thierauf.  Planarizing Gadgets for Perfect Matching Do Not Exist. In  Rovan, B., Sassone, V., and Widmayer, P., editors, Mathematical Foundations of Computer Science 2012,  volume 7464 of Lecture Notes in Computer Science, pages 478-490. Springer Berlin Heidelberg, 2012.
  siehe auch: Technical Report TR11-148, Electronic Colloquium on Computational Complexity, 2011.
  siehe dazu auch: von Lance Fortnow und Bill Gasarch