Seminar mit Bachelorarbeit

Completed Projects

SS 2008

Extension of a Datalog Reasoner with Top-Down Evaluation
student:   Christoph Fuchs
final presentation:   23.09.08

Honeymoon – Ein Werkzeug zur Erstellung von Window-Event-Diagrammen
students:   Christian Baumann, Christian Wörgötter
initial / final presentation:   08.07.08 / 17.02.09

Evaluierung von MDA-Tools
student:   Verena Messner
initial / final presentation:   17.06.08 / 17.02.09

Grid Resource Test Tool Extension
student:   Daniel Bodner
initial / final presentation:   17.06.08 / 13.01.09

Entwicklung eines ortsbezogenen, handybasierten Communityspiels
students:   Minh Tri Do Dinh, Stephan Sossau
initial / final presentation:   22.04.08 / 27.01.09

Geräte-, Kosten- und Personalmanagement an der Sektion für Genetische Epidemiologie
students:   Thomas Waldegger, Peter Zangerl
initial / final presentation:   06.05.08 / 14.10.08

Enhancing Access Control Mechanisms of the Java Virtual Machine
student:   Hannes Mösl
initial / final presentation:   15.04.08 / 27.01.09

Eine Visuelle Query-Schnittstelle für Modelle
student:   Mathias Winder
initial / final presentation:   22.04.08 / 17.02.09
thesis

Threadparallele Implementierung des Apriori Algorithmus
student:   Boban Milanovic
initial / final presentation:   15.04.08 / 27.01.09

Threadparallele Implementierung des Eclat Algorithmus
student:   Florian Sereinig
initial / final presentation:   15.04.08 / 27.01.09

Distributed Game Server Simulator
students:   Minh Tri Do Dinh, Stephan Sossau
initial / final presentation:   01.04.08 / 17.02.09

Zertifizierung von Anwendungen der elektronischen Gesundheitsakte – ein Softwarekonzept
student:   Alexander Hörbst
initial / final presentation:   15.04.08 / 07.10.08

Visualization Diagram Testing
student:   Szabolcs Köllö
initial / final presentation:   01.04.08 / 09.12.08

Minesweeper
student:   Christoph Rungg
initial / final presentation:   01.04.08 / 18.11.08
thesis

Konzeption und Implementierung eines Übungs-Management-Tools
students:   Martin Bürgler, Clemens Müller
initial / final presentation:   08.04.08 / 17.02.09
thesis

Sparse Matrices in OCaml
student:   Stefan Jörer
initial / final presentation:   01.04.08 / 13.01.09
thesis

Implementierung eines Mobilen Campus Informationssystems auf der Android-Plattform
students:   Paul Schmid, Christian Falch
initial / final presentation:   11.03.08 / 13.01.09

"Du holde Kunst" – Datenbank zur medialen Lyrikrezeption in Österreich nach 1945
student:   Boris Wechselberger
initial / final presentation:   11.03.08 / 17.02.09

LTL Tool
student:   Alexander Larcher
initial / final presentation:   01.04.08 / 17.02.09
thesis

JTaskManager – Ein Tool für persönliches Taskmanagement
student:   Cornelia Haisjackl
initial / final presentation:   11.03.08 / 02.12.08

Slitherlink
student:   Lorenz Thuile
initial / final presentation:   01.04.08 / 23.09.08
thesis

Lambda-Interpreter
student:   Michael Brunner
initial / final presentation:   04.03.08 / 17.02.09
thesis

Solver for Rubik's Cube
student:   Daniel Luttinger
initial / final presentation:   04.03.08 / 17.02.09
thesis

Visualisierungsframework für Konzepte der Verteilten Systeme
students:   Christoph Caks, Dominic Psenner
initial / final presentation:   11.03.08 / 17.02.09
thesis

Semantisches CRM für die Gastronomie
student:   Philippe Rödlach
initial / final presentation:   15.04.08 / 08.07.08

WSML Logical Expression Templates
student:   Werner Bliem
initial / final presentation:   01.04.08 / 08.07.08

Semantic Tableaux Prover
student:   Michael Rogger
initial / final presentation:   11.03.08 / 08.07.08

Verteilte Suche nach No-Set Mappings im Spiel „Set!”
student:   Michael Sperk
initial / final presentation:   11.03.08 / 08.07.08
thesis

Implementierung des RSA Algorithmus in VHDL
student:   Philipp Gebhard
final presentation:   31.03.09