| 10.06.2013 |
Christine Dahn |
Graphdatenbanken: Das Containment-Problem für C2RPQs |
Bachelor-Einführungsvortrag |
| 10.06.2013 |
Yannick Frickenschmidt |
Graphdatenbanken: Reguläre Pfad-Anfragen mit Bezug auf Datenwerten |
Bachelor-Einführungsvortrag |
| 10.06.2013 |
Sven Schrinner |
Umformulierung von Anfragen für 2RPQ-definierte Sichten |
Bachelor-Einführungsvortrag |
| 10.06.2013 |
Heiko Schwedhelm |
Sichten-basierte Anfragebearbeitung für 2RPQs |
Bachelor-Einführungsvortrag |
| 03.06.2013 |
Christopher Pulte |
Visibly Pushdown Automata: Algorithm und Abschlusseigenschaften |
Bachelor-Einführungsvortrag |
| 03.06.2013 |
Kai Sauerwald |
Visibly Pushdown Automata: VPA mit Ausgabe |
Bachelor-Einführungsvortrag |
| 03.06.2013 |
Mark Alexander Schröder |
Visibly Pushdown Automata: Minimierung |
Bachelor-Einführungsvortrag |
| 03.06.2013 |
Pia Wierzoch |
Visibly Pushdown Automata: Integration von XML-Daten |
Bachelor-Einführungsvortrag |
| 27.05.2013 |
Martin Bring |
Entwicklung eines Lösungsverfahrens für das Auftragsdispositionsproblem intralogistischer Förderanlagen mit Methoden der logischen Programmierung unter Berücksichtigung von Energieaspekten |
Master-Einführungsvortrag |
| 27.05.2013 |
Sebastian Homann |
Argumentationsbasierte selektive Revision von erweiterten logischen Programmen |
Master-Einführungsvortrag |
| 13.05.2013 |
Gaetano Geck |
Auf relationalen Sichten beruhende XML-Integritätsbedingungen |
Master-Einführungsvortrag |
| 13.05.2013 |
Fabian Peternek |
Message Sequence Charts |
Master-Einführungsvortrag |
| 13.05.2013 |
Nils Vortmeier |
Komplexitätstheorie verlaufsunabhängiger dynamischer Programme |
Master-Einführungsvortrag |
| 06.05.2013 |
Katharina Diekmann |
Ähnlichkeitsbasierte Inferenzen für kontrafaktische Konditionale |
Master-Einführungsvortrag |
| 29.04.2013 |
Tim Janus |
Resource-bounded planning of communication under confidentiality constraints for BDI agents |
Diplom-Einführungsvortrag |
| 29.04.2013 |
Toni Kraja |
Anwendungen des Bird-Meertens-Formalismus zur Ableitung funktionaler Programme |
Bachelor-Abschlussvortrag |
| 29.04.2013 |
Nurdan Yildiz |
Vergleich zweier Ansätze zur coalgebraischen Spezifikation von Klassendiagrammen |
Bachelor-Einführungsvortrag |
|
08.04.2013
|
Sebastian Broszeit |
Wissensgewinn in verteilten Anwendungen mit Antwortmengenprogrammierung |
Diplom-Abschlussvortrag |
