Oberseminar Theoretische Informatik

Sommersemester 2008

Datum Titel Vortragende/-r
08.07.2008 MinCut - Algorithmen und Heuristiken Stefan Näher
01.07.2008 Ranking und Graphenzeichnen Henning Fernau
17.06.2008 Konstruktion worst-case optimaler Automaten aus regulären Ausdrücken II Stefan Gulan
10.06.2008 Konstruktion worst-case optimaler Automaten aus regulären Ausdrücken I Stefan Gulan
03.06.2008 Rounding of Set Operations on Lattice Polygonal Regions Martin Taphorn
27.05.2008 Analysis of Security Protocols with XOR Tomasz Truderung
06.05.2008 Paralleles Partitionieren Daniel Schmitt
29.04.2008 Some notes on computable measure theory and on SAT Yongcheng Wu
22.04.2008 Power Dominating Set in Graphen mit Focus auf Cubizität Daniel Raible
15.04.2008 Filialeröffnungsprobleme Henning Fernau
08.04.2008 Semestervorbesprechung; anschließend Seminar Katrin Casel/...

Wintersemester 2007/08

Datum Titel Vortragende/-r
29.01.2008 Problem Session  
22.01.2008 Logics in Security Ralf Küsters
15.01.2008 Kompakte Mengen, Jordan-Kurven und Berechenbarkeit Norbert Müller
18.12.2007 Concurrent Implementation of Incremental Algorithms Daniel Schmitt
11.12.2007 Geometrisches Runden Martin Taphorn
04.12.2007 (wegen techn. Probleme ausgefallen)  
27.11.2007 Alles Gute kommt von oben. Top-Down - Konstruktion von Endlichen Automaten aus Regulären Ausdrücken Stefan Gulan
20.11.2007 (wegen Krankheit ausgefallen)  
13.11.2007 Maximale Pfadpackungen, Teil II Daniel Raible
06.11.2007 Maximale Pfadpackungen, Teil I Daniel Raible
30.10.2007 Engineering DFS-Based Graph Algorithms Stefan Näher
23.10.2007 Summen-Labelling von Graphen Henning Fernau
04.10.2007 Correct Effective Real Arithmetic: A monadic approach Russel O'Connor