Forschungsseminar Theoretische Informatik

Wir treffen uns immer dienstags, 14 Uhr c.t., für eine gute Stunde im Medienraum
H 406.

Sommersemester 2008

DatumTitelVortragendeR
08.07.2008MinCut - Algorithmen und HeuristikenStefan Näher
01.07.2008Ranking und GraphenzeichnenHenning Fernau
17.06.2008Konstruktion worst-case optimaler Automaten aus regulären Ausdrücken IIStefan Gulan
10.06.2008Konstruktion worst-case optimaler Automaten aus regulären Ausdrücken IStefan Gulan
03.06.2008Rounding of Set Operations on Lattice Polygonal RegionsMartin Taphorn
27.05.2008Analysis of Security Protocols with XORTomasz Truderung
06.05.2008Paralleles PartitionierenDaniel Schmitt
29.04.2008Some notes on computable measure theory and on SATYongcheng Wu
22.04.2008Power Dominating Set in Graphen mit Focus auf CubizitätDaniel Raible
15.04.2008FilialeröffnungsproblemeHenning Fernau
08.04.2008Semestervorbesprechung; anschließend SeminarKatrin Casel/...

Wintersemester 2007/08

DatumTitelVortragendeR
29.01.2008Problem Session
22.01.2008Logics in SecurityRalf Küsters
15.01.2008Kompakte Mengen, Jordan-Kurven und BerechenbarkeitNorbert Müller
18.12.2007Concurrent Implementation of Incremental AlgorithmsDaniel Schmitt
11.12.2007Geometrisches RundenMartin Taphorn
04.12.2007(wegen techn. Probleme ausgefallen)
27.11.2007Alles Gute kommt von oben. Top-Down - Konstruktion von Endlichen Automaten aus Regulären AusdrückenStefan Gulan
20.11.2007(wegen Krankheit ausgefallen)
13.11.2007Maximale Pfadpackungen, Teil IIDaniel Raible
06.11.2007Maximale Pfadpackungen, Teil IDaniel Raible
30.10.2007Engineering DFS-Based Graph AlgorithmsStefan Näher
23.10.2007Summen-Labelling von GraphenHenning Fernau
04.10.2007Correct Effective Real Arithmetic: A monadic approachRussel O'Connor

Sommersemester 2007

DatumTitelVortragendeR
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

DatumTitelVortragendeR
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