Oberseminar Theoretische Informatik

Sommersemester 2011

DatumTitelVortragende/-r
04.07.2011Where is Waldo? --- Towards a secure, distributed implementationBernard Sanvoisin
27.06.2011Verifiability, Privacy and Coercion-ResistanceAndreas Vogt
06.06.2011Chordale gerichtete GraphenDaniel Meister
30.05.2011One-Sided Crossing MinimizationHenning Fernau
23.05.2011Paralleles GraphzeichnenStefan Näher
16.05.2011INDUCED SUBGRAPH ISOMORPHISM für zwei Klassen perfekter GraphenDaniel Meister
09.05.2011Zu Komplexität der Bestimmung des Differentials eines GraphenHenning Fernau
02.05.2011Lock-free array-based stack algorithmAndrea Jaax
18.04.2011Differential von GraphenSergio Bermudo-Navarrete
11.04.2011Terminplanung

Wintersemester 2010/11

DatumTitelVortragende/-r
14.02.2011Scantegrity IIAndreas Vogt
07.02.2011Interaktive Beweissysteme und Imperative Programmiersprachen, Teil IINorbert Müller
31.01.2011Interaktive Beweissysteme und Imperative Programmiersprachen, Teil INorbert Müller
24.01.2011Map LabelingStefan Näher
17.01.2011SL = LDaniel Meister
20.12.2010Enumerate & Measure: Improving Parameter Budget ManagementHenning Fernau
06.12.2010Fixed-parameter algorithms for Cochromatic Number and Disjoint Rectangle StabbingPinar Heggernes (Kolloquium)
29.11.2010Berechnung von Cliquen-WeiteDaniel Meister
22.11.2010Parallele Programmierung von Max-Flow-AlgorithmenAndrea Jaax
15.11.2010Lock-Free Data StructuresStefan Näher
08.11.2010A Short Introduction to Answer Set ProgrammingYuping Shen
25.10.2010Hölder-Normen auf Kategorialgrammatiken / PlanungstreffenHenning Fernau