http://www.tu-ilmenau.de

Logo TU Ilmenau


Ihre Position

INHALTE

Forschungsseminar des Institutes für Theoretische Informatik

Herzlich Willkommen auf der Homepage des Forschungsseminares des Institutes für Theoretische Informatik (ITI) der Technischen Universität Ilmenau.

Im Forschungsseminar finden Vorträge zu Themen statt, die für die Forschung am Institut von Interesse sind. Hierbei tragen sowohl die Mitglieder und Studenten des Institutes als auch unsere Gäste vor. Sowohl Teilnehmer als auch Zuhörer sind jederzeit willkommen.

Mit Hinweisen, Anfragen, Vorschlägen für Vorträge u.ä. wenden Sie sich bitte an Prof. Kuske.

 

Es findet am Donnerstag in den ungeraden Kalenderwochen, 11:00- 13:00 Uhr im Zusebau, Raum 2073 statt. Es bietet ein Forum für

  • Forschungsberichte
  • Diplom-, Bachelor-, Masterverteidigungen
  • Studienarbeitsberichte

Vorträge

Vorträge
2016VortragenderThema

15.12.2016

11:00 Uhr

Z 2073

Prof. Dr. Martin DietzfelbingerQuicksort with two or more pivots: Optimal strategy, exact analysis

24.11.2016

11:00 Uhr

Z 2073

Philipp Schlag

Untere Schranken für Berechnungsprobleme auf der Basis der 3SUM-Vermutung

16.09.2016

10:00 Uhr

Z 2073

Chris Köcher

Einbettungen in das Transformationsmonoid einer vergesslichen Warteschlange

2015
03.12.2015Stefan WalzerKryptographie mit Spielkarten

27.08.2015

9.30 Uhr

Felix WiemuthTheories of automatic structures with elementary complexity

27.08.2015

11 Uhr

Peter LindnerDas 2-Variablen-Fragment der Theorie der Teilwortordnung
03.08.2015Chris KöcherGrößenschranken für Beschreibungen kontextfreier Sprachen

23.07.2015

Z 4005

Phillip SchlagÄquivalenz von Baum-Wort-Übersetzern
16.04.2015Dipl.-Inf. Faried Abu Zaid, Tu IlmenauAdvice Automatic Structures and Uniformly Automatic Classes
20.03.2015Hannes FrankDynamic Optimality
29.01.2015Peter LindnerÜber die omega-automatische Dartstellbarkeit des Körpers der reellen Zahlen
2014
11.12.2014David KnackerTheoretische Betrachtungen zu Routing-Algorithmen
02.10.2014Chris KöcherAnalyse der Entscheidbarkeit diverser Graphprobleme
29.09.2014Phillipp SchlagMittels Antimirows Ableitungen zu gewichteten Baumautomaten
25.09.2014Felix PapeEinfache und Effiziente Algorithmen für Rank und Select auf Bitmaps
10.07.2014Felix WiemuthSeparierbarkeit regulärer Sprachen
26.06.2014Alexej ChemissowEvaluierung effizienter Hashverfahren
17.042014Pascal KlaueOptimale Partitionierungsverfahren für Multi-Pivot-Quicksort
10.04.2014Steffen HirteLoad Balancing Using Iterated Bisection
30.01.2014

Martin Dietzfelbinger (joint work with

Philipp Woelfel)

Tight Lower Bounds for Greedy Routing in Higher-Dimensional

Small-World Grids

2013
19.12.2013Christian CeppaVisibly Pushdown Automata
19.12.2013Karin FliednerErreichbarkeitsprobleme in Mehrkellerautomaten
28.11.2013Christoph HaasePresburger Arithmetik und die schwache Exponentialzeithierarchie
14.11.2013Georg ZetzscheOn Boolean closed full trios and rational Kripke frames
17.10.2013Philipp WernerTheorien baumautomatischer Strukturen
21.03.2013Raed JaberiEffiziente Algorithmen für grundlegende Graphprobleme
24.01.2013Philipp WernerEine kontextfreie lineare Ordnung ...
2012
20.12.2012Martin Huschenbett A Colorful Ramsey Theory
15.11.2012Michael RinkMatching in Random Bipartite Graphs
06.11.2012Andreas SeifertModerne Verfahren der Routenplanung
25.10.2012Ralf Rothenberger Neue effiziente Versionen des Lovasz Local Lemma(LLL)
23.08.2012Roy MennickePropositional Dynamic Logic with Converse and Repeat for...
19.04.2012Antoine Durand-GasselinEhrenfeucht-Fraisse goes elemtarily automatic for structures ..
10.02.2012Stephan BeyerAnalysis of the Linear Probing Variant of Cuckoo Hashing
2011
15.12.2011Wolfgang GummlichExperimenteller Vergleich exakter Algorithmen für ein Angreiferproblem