Proseminar Künstliche Intelligenz (SS 2003)
Thema: Logisches Schließen - Eine Einführung in die Prädikatenlogik
Ausarbeitung und Vortragsmaterial biete ich hier lieber nicht zum Download an. Ich schäme mich zu sehr und außerdem musste ich dieses Thema gemeinsam mit einem Kommilitonen bearbeiten, der vielleicht nicht mit einer Veröffentlichung einverstanden ist. ;-)
Lehr- und Forschungsgebiet Informatik V - Wissensbasierte Systeme, RWTH Aachen
Seminar Pervasive Computing (SS 2004)
Thema: Efficient Flooding in Ad Hoc Networks
Ausarbeitung: [pdf]
Vortrag (pdf): [Präsentation] [Druckversion]
Lehrstuhl für Informatik IV - Kommunikation und Verteilte Systeme, RWTH Aachen
Seminar Message Sequence Charts (WS 2004/05)
Thema: Synthese Reaktiver Systeme durch Live Sequence Charts
Ausarbeitung: [ps] [pdf]
Vortrag (pdf): [Präsentation] [Druckversion]
[Folie 1]
[Folie 2]
[Folie 3]
[Folie 4]
[Folie 5]
Lehrstuhl für Informatik II - Programmiersprachen und Programmanalyse, RWTH Aachen
Seminar über Automaten für XML (WS 2005/06)
Thema: Ausdrucksstärke von monadischem Datalog auf Bäumen
Ausarbeitung: [ps] [pdf]
Vortrag (pdf): [Präsentation] [Druckversion]
[Folie 1]
[Folie 2a] [Folie 2b]
[Folie 3]
[Folie 4]
[Folie 5]
Lehrstuhl für Informatik VII - Logik und Theorie diskreter Systeme, RWTH Aachen