Oberseminar Theoretische Informatik

Sommersemester 2007

DatumTitelVortragende/-r
25.09.07Model Size and Complexity of Quantified Boolean FormulasXishun Zhao
23.07.07 Zwei äquivalente Regularisierungen für Tree Adjoining GrammarsAnna Kasprzik
17.07.07Zwei Themen aus der Algorithmischen Geometrie: Edge-Sliding und Lake-ShoreKlaus Reinhardt
03.07.07Komplexität von Operatoren auf kompakten MengenNorbert Müller
26.06.07DiplomarbeitsvortragGuoqiang Bai
12.06.07Petrinetze und gesteuerte ErsetzungKlaus Reinhardt
05.06.07CTW-VorträgeHenning Fernau
22.05.07Reguläre AusdrückeStefan Gulan
15.05.07Parallele konvexe Hülle AlgorithmenDaniel Schmitt
08.05.07Maximum Acyclic SubgraphDaniel Raible
24.04.07Geometrische FilterNäher/Taphorn
17.04.07MIM/MAX2SATDaniel Raible

Wintersemester 2006/07

DatumTitelVortragende/-r
13.02.07Ein Framework zum Testen und Auswerten von Algorithmen für drahtlose SensornetzwerkeDaniel Schmitt
06.02.07Exakte rationale GeometrieStefan Näher
30.01.07Transformation diskreter Probleme in reelle FunktionenNorbert Müller
23.01.07Konversion endlicher Automaten in kanonische reguläre AusdrückeStefan Gulan
16.01.07Allianzen in GraphenDaniel Raible
09.01.07Total Vertex CoverHenning Fernau
19.12.06Fernau/Näher/Raible
12.12.06Iterated Snap RoundingMartin Taphorn
05.12.06Color coding and packing problemsDaniel Raible