Seminar mit Bachelorarbeit

Completed Projects

WS 2016 / 2017

Harvesting Threat Intelligence from Information Security Mailing Lists
student:   Sara Bauer
initial / final presentation:   22.11.16 / 04.04.17
thesis

SS 2016

Entwicklung eines Social Analytics Tools für ein neu eingesetztes Enterprise-Social-Network
students:   Daniel Hörl, Alexander Pfohl
initial / final presentation:   31.05.16 / 31.01.17
thesis

Assessing Assets Risk Exposures in Complex IT Infrastructures
student:   Bernhard Behr
initial / final presentation:   03.05.16 / 02.05.17
thesis

Analysing the Complexity of Monotone Prolog
student:   Philipp Wirtenberger
initial / final presentation:   26.04.16 / 22.11.16
thesis

Surveying the state of auto-vectorization
student:   Andreas Treichl
initial / final presentation:   26.04.16 / 25.04.17
thesis

Functional Online Raytracer
student:   Alexander Lochmann
initial / final presentation:   03.05.16 / 28.06.16
thesis

Deep Neuronal Networks applied to the game of Go
student:   Peter Kirk
initial / final presentation:   12.04.16 / 31.01.17
thesis

Automatisiertes Clustering von Texten mit Self-Organizing Maps
student:   Yusuf Ipek
initial / final presentation:   26.04.16 / 04.04.17
thesis

Analysis of a framework for collaborative Computing over the Web
student:   Daniel Egger
initial / final presentation:   05.04.16 / 25.04.17
thesis

Development of a framework for collaborative Computing over the Web
student:   Jannik Siebert
initial / final presentation:   05.04.16 / 25.04.17
thesis

Evaluating OpenCL 2.0: Exploring new features, analysis and benchmarking
student:   Yakup Ipek
initial / final presentation:   05.04.16 / 11.10.16
thesis

UNIT-Testing im Bereich der SAP Anwendungsentwicklung
student:   Patrick Deutsch
initial / final presentation:   26.04.16 / 24.01.16
thesis

Establishment of a benchmarking image dataset of copy-move text forgeries
student:   Mike Koch
initial / final presentation:   12.04.16 / 25.04.17
thesis

Design and Development of a tool for forensic analysis of mobile instant messenger applications
student:   Arno Breitfuss
initial / final presentation:   12.04.16 / 28.03.17
thesis

Forensic analysis of mobile instant messenger applications
student:   Björn Meusburger
initial / final presentation:   12.04.16 / 28.03.17
thesis

Attack vectors against 2D barcode ticketing systems
student:   Alexander Steindl
initial / final presentation:   05.04.16 / 02.05.17
thesis

KBCV for Android
student:   Christina Kohl
initial / final presentation:   15.03.16 / 14.03.17
thesis

Physik-Integration für Viz-Artist
student:   Mathias Hölzl
initial / final presentation:   08.03.16 / 28.06.16
thesis

Workfow Management System für nicht automatisierbare malware removal evaluation tests
student:   Juri Seelmann
initial / final presentation:   08.03.16 / 14.03.17
thesis

WS 2015 / 2016

Evaluierung der Unterschiede von geographischen Daten in relationalen und in Graphdatenbanken
student:   Roman Reinold
initial / final presentation:   12.01.16 / 10.01.17
thesis

Parallel Numerical Receipts
student:   Christopher Naschberger
initial / final presentation:   01.12.15 / 15.11.16
thesis

Procedural Generation of Mountain Ranges Based on Geology
student:   Bernhard Fritz
initial / final presentation:   01.12.15 / 15.11.16
thesis

SQL-Rekursions-Tool
student:   Lucas Ohlicher
initial / final presentation:   03.11.15 / 28.06.16
thesis

Feature Clustering for Automated Reasoning
student:   Johannes Ebster
initial / final presentation:   01.12.15 / 15.11.16
thesis

Developement of a recommender engine for a literature database
student:   Ulrich Lobis
initial / final presentation:   03.11.15 / 25.10.16

SAT Encodings for Sorting Networks
student:   Martin Hartl
initial / final presentation:   27.10.15 / 25.10.16
thesis

Developing a Low-Cost Augmented Reality System
student:   Carsten Fischer
initial / final presentation:   17.11.15 / 24.05.16
thesis

Screen-Based Rendering of Fluids
student:   Andreas Moritz
initial / final presentation:   17.11.15 / 15.11.16
thesis

Simulation and analysis of the selfish-mining attack on Bitcoin
student:   Michael Kaiser
initial / final presentation:   10.11.15 / 28.06.16
thesis

Digital signatures to increase security of 2D barcode ticketing systems
student:   Stefan Haselwanter
initial / final presentation:   20.10.15 / 19.04.16
thesis

Visualizing network topologies with the help of the Spanning Tree Protocol (STP)
student:   Alexander Schlögl
initial / final presentation:   20.10.15 / 18.10.16
thesis

Visualisation of cloud performance and security metrics taking account of data protection
student:   Max Lou Hartel-Kaduk
initial / final presentation:   10.11.15 / 08.11.16
thesis

R package for channel coding with turbo codes
student:   Daniel Witsch
initial / final presentation:   20.10.15 / 14.06.16
thesis

R package for channel coding with convolutional codes
student:   Martin Nocker
initial / final presentation:   20.10.15 / 14.06.16
thesis

R package for channel coding with block codes
student:   Benedikt Wimmer
initial / final presentation:   20.10.15 / 14.06.16
thesis

Interactive DPLL
student:   Bojan Cvjetkovic
initial / final presentation:   27.10.15 / 25.10.16
thesis

User profiling by DNS servers
student:   Claudio Scheiber
initial / final presentation:   10.11.15 / 08.11.16
thesis

Identifying malevolent DNS servers
student:   Daniel Kopp
initial / final presentation:   10.11.15 / 08.11.16
thesis

Automatisierte Ermittlung von statischen und dynamischen Metriken aus Projektartefakten zur Unterstützung von risikobasiertem Testen
student:   Michael Staudacher
initial / final presentation:   06.10.15 / 04.10.16
thesis

SS 2015

Evaluation von Style-Features von Textdokumenten
student:   Balthasar Huber
initial / final presentation:   23.06.15 / 28.06.16
thesis

Tool zur experimentellen Evaluierung von Empfehlungssystemen
student:   Michael Vötter
initial / final presentation:   23.06.15 / 12.04.16
thesis

Entwicklung einer OpenSource Feedback-Kommunikationsplattform
student:   Martin Karrer
initial / final presentation:   23.06.15 / 18.10.16
thesis

Entwicklung eines Snoopy-unterstützten Eingabe-Interfaces für die Wikidata-Plattform
student:   Stefan Steinhauser
initial / final presentation:   23.06.15 / 19.04.16
thesis

Computer-Based Design of Visual Effects for Volumetric Chain Lights
student:   Florian Tischler
initial / final presentation:   16.06.15 / 21.06.16
thesis

Cloudbasiertes Dokumentenmanagementsystem
student:   Yagmur Sentürk and Harald Schweiger
initial / final presentation:   16.06.15 / 19.04.16
thesis

Auto-based similarity measures for music
student:   Klaus Niedermair
initial / final presentation:   09.06.15 / 31.05.16
thesis

Implementing BiCGStab Solver in OpenCL
student:   Felix Niederwanger
initial / final presentation:   02.06.15 / 28.06.16
thesis

Visualization of Sorting Networks
student:   Rick Spiegl
initial / final presentation:   12.05.15 / 15.12.15
thesis

Development of an interface between external applications and mobile devices
student:   Raphael Gwiggner
initial / final presentation:   05.05.15 / 15.03.16
thesis

Visual SLAM for Terrain Reconstruction and Autonomous FlightVisual SLAM for Terrain Reconstruction and Autonomous Flight
student:   Adrian Marxer
initial / final presentation:   28.04.15 / 19.04.16
thesis

Attacks in a Box
student:   Mirko Bez, Simon Targa
initial / final presentation:   28.04.15 / 17.11.15

Webplattform zur unterstützten Erstellung von Bauausschreibungen
student:   Andre Bernecker, Martin Solderer
initial / final presentation:   21.04.15 / 12.04.16
thesis

Intuitive Human-Computer Interface for Quadcopter Control
student:   Stefan Spiss
initial / final presentation:   21.04.15 / 19.04.16
thesis

Algorithm for Automatic Repairing of Triangle Meshes
student:   Manuel Kapferer
initial / final presentation:   21.04.15 / 19.04.16
thesis

Generation of Vascular Networks via Lindenmayer Systems
student:   Manfred Moosleitner
initial / final presentation:   19.05.15 / 24.05.16
thesis

Real-Time Level-of-Detail
student:   Philipp Stiegernigg
initial / final presentation:   19.05.15 / 19.04.16
thesis

GPGPU for the GP: general-purpose computing on graphic processing units for the general public
student:   Martin Schuchardt
initial / final presentation:   24.03.15 / 15.12.15
thesis

iMow Simulation
student:   Christoph Schöpf
initial / final presentation:   24.03.15 / 05.04.16

Interactive Scene Designer for Smoothed Particle Hydrodynamics Computations in Environmental Engineering
student:   Clemens Degasper
initial / final presentation:   19.05.15 / 24.05.16
thesis

Echtzeit-Visualisierung auf interaktiven Landkarten
student:   Jakob Winder
initial / final presentation:   17.03.15 / 27.10.15
thesis

Bestimmung von Akkordgrundtönen
student:   Samuel Rupprechter
initial / final presentation:   17.03.15 / 23.06.15
thesis

HOL Light: Combinator Term Representation
student:   Marius Bauer
initial / final presentation:   17.03.15 / 08.03.16
thesis

NoriNori
student:   Alexander Jungmann
initial / final presentation:   17.03.15 / 05.04.16
thesis

Building an intelligent Heads-up poker computer
student:   Johannes Tscholl
initial / final presentation:   24.03.15 / 23.06.15
thesis

Computer modeling of brain neurons
student:   Sabine Oberleiter
initial / final presentation:   17.03.15 / 15.12.15
thesis

WS 2014 / 2015

Plattform-unabhängige mobile Web-Anwendung für Festivalbesucher
student:   Matthias Wanner
initial / final presentation:   03.02.15 / 24.11.15
thesis

Entwicklung eines webbasierten Informationsverwaltungssystems für den Lawinenwarndienst Tirol
student:   Christoph Gruber
initial / final presentation:   20.01.15 / 26.01.16
thesis

Browserbasierte Anwendung zur Anzeige, Filterung und Auswertung von in IFC-Dateien vorliegenden Bauteilparametern
student:   Jakob Noggler
initial / final presentation:   20.01.15 / 24.11.15
thesis

Browserbasierte Anwendung zur dreidimensionalen Darstellung von in IFC-Dateien vorliegenden Bauwerken
student:   Manuel Gasteiger
initial / final presentation:   20.01.15 / 24.11.15
thesis

Konzeption und Implementation einer Handy-App zur empfangsunabhängigen Positionsbestimmung mittels Sensordaten
student:   Daniel Moosbrugger
initial / final presentation:   13.01.15 / 12.01.16
thesis

Entwicklung eines web-basierten Verwaltungstools zur Protokollierung und Zugangssteuerung von Industriegeräten
student:   Alexander Falch
initial / final presentation:   16.12.14 / 15.12.15
thesis

Einführung und Evaluierung einer Cross-Device-Testing Plattform
student:   David Fasching
initial / final presentation:   09.12.14 / 13.10.15
thesis

Light Propagation Volumes for Surgical Simulation
student:   Philip Salzmann
initial / final presentation:   02.12.14 / 17.11.15
thesis

Visualisierung von Anforderungen und Trace Links
student:   Alexander Blaas and Natalie Mair
initial / final presentation:   18.11.14 / 09.06.15
thesis

Evaluierung einer Plattform für Wissensmanagement in einer IT Abteilung
student:   Martin Haslinger
initial / final presentation:   11.11.14 / 15.12.15

Robot Demos
student:   Daniel Eberharter
initial / final presentation:   11.11.14 / 23.06.15
thesis

Crawling and Visualising event POIs using advanced web technologies
student:   Niko Risslegger
initial / final presentation:   04.11.14 / 03.11.15
thesis

Substitution Trees for Resolution
student:   Cem Okulmus
initial / final presentation:   18.11.14 / 23.06.15
thesis

MetaUnit
student:   Michael-Oliver Pfurtscheller
initial / final presentation:   11.11.14 / 24.11.15
thesis

Check your style: a web-based grammar analysis tool
student:   Karl Greuter and Manuel Nischler
initial / final presentation:   04.11.14 / 01.12.15
thesis

Fluid simulations with height fields
student:   Manuel Schmidt
initial / final presentation:   25.11.14 / 24.11.15
thesis

Extending robot control interface for robot safety in reinforcement learning
student:   Claudio Canella
initial / final presentation:   28.10.14 / 23.06.15
thesis

Heuristics for Completion Tools
student:   Michael Fröwis
initial / final presentation:   28.10.14 / 24.03.15
thesis

Matrix Chain Multiplication
student:   Clemens Brunner
initial / final presentation:   28.10.14 / 24.03.15
thesis

Implementierung eines Multi-Device Interfaces zur Zeiterfassung für Microsoft Dynamics NAV
student:   Alex Untertrifaller
initial / final presentation:   21.10.14 / 03.02.15
thesis

Maximum Set Cover
student:   Markus Unterkircher
initial / final presentation:   21.10.14 / 03.11.15
thesis

Evaluation of a Motion-Based Haptic Rendering Algorithm
student:   Hannes Vieider
initial / final presentation:   21.10.14 / 17.11.15
thesis

Effiziente Session-Verwaltung für einen Streamingdienst
student:   Mathias Mahlknecht
initial / final presentation:   07.10.14 / 27.01.15
thesis

Management und Routing eines Indoor-Lokalisierungssystems
student:   Thomas Berthold
initial / final presentation:   07.10.14 / 16.06.15

SS 2014

Konzeption und Entwicklung eines Kundeninformationsystems
student:   Samuel Carraro and Werner Kapferer
initial / final presentation:   10.06.14 / 09.06.15
thesis

Implementierung eines Management Tools für Metamodellinks in MoVE
student:   Fabian Jeschko
initial / final presentation:   20.05.14 / 24.03.15
thesis

Cheetah Goes Web
student:   Patrick Ober, Michael Tscholl
initial / final presentation:   13.05.14 / 27.01.15
thesis

Implementierung eines Metrik Frameworks für MoVE
student:   Daniel Eppacher
initial / final presentation:   20.05.14 / 16.12.14
thesis

Satogaeri
student:   Markus Leitner
initial / final presentation:   13.05.14 / 27.01.15
thesis

Evaluating dynamic task generation on GPUs
student:   Markus Walzthöni
initial / final presentation:   06.05.14 / 04.11.14
thesis

Process Mining von traditionellen, nicht-prozessorientierten Informationssystemen
student:   Thomas Lampert
initial / final presentation:   13.05.14 / 05.05.15
thesis

Anwendungs-Front-End für Überwachungs- und Kontrollsoftware für den Aouda.X Simulationsraumanzug
student:   Thomas Bartenstein
initial / final presentation:   01.04.14 / 14.04.15
thesis

Anwendungsframework für Überwachungs- und Kontrollsoftware für den Aouda.X Raumanzugssimulator
student:   Sebastian Sams
initial / final presentation:   01.04.14 / 27.01.15
thesis

Automatisierte Dokumentation von IT-Architekturen auf Basis von heterogenen Datenquellen
student:   Felix Kostenzer, David Riedl, Matthias Lechner
initial / final presentation:   01.04.14 / 03.02.15
thesis

Erweiterung und Optimierung eines Servers für ein hashtag-basiertes PIM-System Assignee
student:   Mitja Schmakeit
initial / final presentation:   18.03.14 / 03.02.15
thesis

Mobile Augmented Reality (MAR) Tool for Educational Purposes (EduMAR)
student:   Omar Holzknecht
initial / final presentation:   18.03.14 / 24.03.15
thesis

Visualizing CTL Model Checking
student:   Matthias Perktold
initial / final presentation:   25.03.14 / 24.06.14
thesis

Gaze Estimation in Video
student:   Mathias Mitterdorfer
initial / final presentation:   25.03.14 / 03.02.15
thesis

Atlas - Development of a secure application layer protocol for embedded devices
student:   Helmut Wolf
initial / final presentation:   11.03.14 / 24.06.14

Mobiler Arztbrief und mobiler Leistungsnachweis
student:   Christian Lechner und Thilo Gorfer
initial / final presentation:   04.03.14 / 03.02.15
thesis

WS 2013 / 2014

Rendering the Confluence Competition
student:   Andreas Parschalk
initial / final presentation:   28.01.14 / 27.01.15
thesis

Improved On-Board Communication for Low-Cost Mobile Robots
student:   Alexander Hirsch
initial / final presentation:   14.01.14 / 14.10.14
thesis

Mobile Data Flow Collector
student:   Benedikt Stricker
initial / final presentation:   10.12.13 / 10.06.14
thesis

Development of a responsive webapp for a hashtag based PIM system
student:   Christian Esswein
initial / final presentation:   10.12.13 / 02.12.14
thesis

Development of a responsive Android client for a hashtag based PIM system
student:   Christian Laqua
initial / final presentation:   10.12.13 / 25.11.14
thesis

Extension of Information Types for an Android Client for a Hashtag-based PIM System
student:   Michael Wolf
initial / final presentation:   10.12.13 / 28.10.14
thesis

Opimizing the usability of U2L
student:   Thomas Schmid
initial / final presentation:   10.12.13 / 16.12.14
thesis

Akquirierung, Administration und Verwaltung von Daten aus dem öffentlichen Verkehrsnetz zur Verwendung in online Geoinformationssystemen
student:   Alexander Walch
initial / final presentation:   03.12.13 / 02.12.14
thesis

Aufbau einer neuen Testumgebung für KEOPS II
student:   Lukas Vitroler
initial / final presentation:   26.11.13 / 29.04.14
thesis

Erweiterung des Open-Source Projektes Kakadu
student:   Caroline Vu
initial / final presentation:   19.11.13 / 18.11.14
thesis

FlowCon - An efficient way of constructing, executing and validating workflow based tasks
student:   Claudio Mair, Stefan Wurzinger
initial / final presentation:   19.11.13 / 24.06.14
thesis

Übungstool zu Normalformen
student:   Katja Sonderegger
initial / final presentation:   19.11.13 / 10.06.14
thesis

OpenGL Test Applications for GPU Energy and Power Consumptions
student:   Boris Schmiedlehner
initial / final presentation:   12.11.13 / 18.11.14
thesis

Anforderungsmanagement und Telling TestStories
student:   Daniel Ackstaller
initial / final presentation:   12.11.13 / 01.04.14
thesis

A Parallel Approach for Behavioral Animations
student:   Markus Wallinger
initial / final presentation:   12.11.13 / 28.10.14
thesis

Evaluation of dynamic memory allocators and implementation of a persistent memory allocator in Java
student:   Johannes Strickner
initial / final presentation:   05.11.13 / 04.11.14
thesis

Testdatenmanagement
student:   Manfred Graf
initial / final presentation:   05.11.13 / 17.06.14
thesis

Implementierung von Vulnerabilitätsanalysen in einer Workflow-Engine
student:   Nikolaus Rauch
initial / final presentation:   29.10.13 / 25.11.14
thesis

Standortbezogene Services für Flugpassagiere
student:   Jodok Huber, Michael Huber und Laurent Seiler
initial / final presentation:   22.10.13 / 25.03.14
thesis

Multiscanner für grafische Antivirenprogramme
student:   Philipp Kratzer
initial / final presentation:   22.10.13 / 07.10.14
thesis

Testing Cloud Interfaces and using them in Java
student:   Markus Devich
initial / final presentation:   15.10.13 / 24.06.14
thesis

Amortised Resource Analysis and Typed Term Rewriting
student:   Manuel Schneckenreither
initial / final presentation:   08.10.13 / 24.06.14
thesis

From Functional Programs to Rewrite Systems
student:   Martin König
initial / final presentation:   08.10.13 / 14.10.14
thesis

Computational modeling the primate visual cortex for complex shape representation
student:   Gerhard Aigner
initial / final presentation:   08.10.13 / 07.10.14
thesis

Robot Simulation and Motion Planning
student:   Martin Grieser
initial / final presentation:   08.10.13 / 07.10.14
thesis

Tournament Manager
student:   Martin Duregger
initial / final presentation:   08.10.13 / 07.10.14
thesis

SS 2013

Image Tagging Using Visual And Textual Data
student:   Paul Opitz
initial / final presentation:   25.06.13 / 17.06.14
thesis

Vehicle Routing Problem on Android/iOS
student:   Ingrid Berninger
initial / final presentation:   04.06.13 / 03.06.14
thesis

Übungstool für Relationale Algebra, Relationen-Tupel-Kalkül und SQL
student:   Johannes Kessler
initial / final presentation:   21.05.13 / 20.05.14
thesis

Low-Level Service Monitoring
student:   Benedikt Fuisz
initial / final presentation:   28.05.13 / 03.06.14
thesis

Simplifying the installation of ASKALON
student:   Walter Florian Gugenberger
initial / final presentation:   21.05.13 / 20.05.14
thesis

Testen im Umfeld von ERP Systemen
student:   Asmir Bektic
initial / final presentation:   30.04.13 / 06.05.14
thesis

Experimenteller Aufbau und Validierung von VCP im Rahmen des BATS-Projekts
student:   Bernhard Weber
initial / final presentation:   30.04.13 / 25.03.14
thesis

B-Baum Übungstool
student:   Karin Waldner
initial / final presentation:   30.04.13 / 06.05.14
thesis

Parallel Hierarchical Clustering on the GPU
student:   Ursula Reiterer
initial / final presentation:   16.04.13 / 01.04.14
thesis

Interactive Ray Tracing with Data Locality Optimizations
student:   Sebastian Mayr
initial / final presentation:   16.04.13 / 03.12.13
thesis

Debugging Tool using Dynamic Instrumentation
student:   David Kofler
initial / final presentation:   09.04.13 / 08.04.14
thesis

Ordinal Calculator
student:   Sonja Wirtenberger
initial / final presentation:   09.04.13 / 08.04.14
thesis

Implementierung des RIME-Stacks für Software Defined Radios
student:   Christoph Leitner
initial / final presentation:   09.04.13 / 29.10.13
thesis

Akari goes Tablet
student:   Ivan Hell, Julian Lang
initial / final presentation:   16.04.13 / 08.04.14
thesis

Number Link goes Tablet
student:   Marc Weiland
initial / final presentation:   09.04.13 / 29.04.14
thesis

Unification Modulo Theories
student:   Franziska Rapp
initial / final presentation:   09.04.13 / 12.11.03
thesis

Implementierung von Unfallszenarien in Fahrzeugkommunikations-Simulationen
student:   Matthaeus Huber
initial / final presentation:   19.03.13 / 25.06.13
thesis

A Query Language for Complexity Proofs
student:   Florian Seidner
initial / final presentation:   19.03.13 / 18.03.14
thesis

Image Retrieval
student:   Matej Stanic, Chris Wendler
initial / final presentation:   12.03.13 / 12.11.13
thesis

Search-Based Test Data Generation TTS
student:   Otto Kicska
initial / final presentation:   12.03.13 / 21.01.14
thesis

Empirical Evaluation of Literate Process Modeling
student:   Cemalettin Göksu
initial / final presentation:   19.03.13 / 25.03.13
thesis

WS 2012 / 2013

Linear Diophantine Equation Systems
student:   Nina Doschek
initial / final presentation:   29.01.13 / 28.01.14
thesis

Requirements Engineering von Software-Produkten am Beispiel von ERP-Systemen CAD/CAM-Bereich
student:   Benjamin Hollaus
initial / final presentation:   29.01.13 / 21.01.14
thesis

Parallel Primitive Optimization for GPU and Multicore
student:   Andreas Hörmandinger
initial / final presentation:   11.12.12 / 10.12.13
thesis

Improving and extending the ASKALON Perftool
student:   Willi Glätzle
initial / final presentation:   04.12.12 / 03.12.13
thesis

Entwicklung eines leichtgewichtigen Webclients für ein Hashtag-basiertes PIM-System
student:   Robert Bierbauer
initial / final presentation:   04.12.12 / 26.11.13
thesis

FaceFinder: Gesichtserkennung in OwnCloud
student:   Aaron Messner
initial / final presentation:   04.12.12 / 03.12.13
thesis

Entwicklung eines selbstlernenden Vorschlagmoduls für ein Hashtag-basiertes PIM-System
student:   Markus Müller
initial / final presentation:   04.12.12 / 26.11.13
thesis

Entwicklung eines leichtgewichtigen Web-Clients für das Lernsystem Kakadu
student:   Georg Schmidhammer
initial / final presentation:   04.12.12 / 08.10.13
thesis

Entwicklung des freien Lernsystems Kakadu
student:   Alex Lanz
initial / final presentation:   04.12.12 / 08.10.13
thesis

Implementierung eines Datenbank Adapters für MoVE
student:   Andreas Nagiller
initial / final presentation:   27.11.12 / 26.11.13
thesis

Entwicklung eines leichtgewichtigen HTML5 Web-Client zur Umsetzung von Social-Media Konzepten in Informationssystemen
student:   Thomas Fraydenegg
initial / final presentation:   13.11.12 / 25.06.13
thesis

Compiler für eine Mini-Pseudocodesprache
student:   Florian Auer
initial / final presentation:   30.10.12 / 25.06.13

PigGene - Eine Plattform zur Erstellung von Apache Pig Workflows
student:   Clemens Banas
initial / final presentation:   13.11.12 / 18.06.13
thesis

Implementation of a compressing B-tree
student:   Thomas Meindl
initial / final presentation:   30.10.12 / 05.11.13
thesis

Stress Testing Web Apps
student:   Andreas Horvath
initial / final presentation:   23.10.12 / 25.06.13
thesis

Face-Tracking mit Scratch
student:   Martin Kolb
initial / final presentation:   30.10.12 / 25.06.13
thesis

Running λ-Calculus on a Parallel Virtual Machine
student:   David Obwaller
initial / final presentation:   09.10.12 / 19.03.13
thesis

Integration eines Workflow-Management-Systems in ein Dokumentenmanagement-System
student:   Marius Mössmer
initial / final presentation:   09.10.12 / 15.10.03
thesis

SS 2012

An Approach to Energy Efficiency Policies Modeling and Recommendation to the End Users
student:   Marco Plattner
initial / final presentation:   26.06.12 / 25.06.13
thesis

Search Engine Optimization: A Hotel Use Case
student:   Veronika Wenger
initial / final presentation:   19.06.12 / 18.06.13
thesis

Porting IEEE 802.15.4 Model from INET Framwork to MiXiM Framework
student:   Alexandra Jäger
initial / final presentation:   22.05.12 / 21.05.13
thesis

Classic Nintendo Games are Hard
student:   Josef Lindsberger
initial / final presentation:   15.05.12 / 14.05.13
thesis

Highlighting in Prozessmodellen
student:   Carmen Vierthaler
initial / final presentation:   08.05.12 / 23.04.13
thesis

Parallelisierte PCAP-Datenaufzeichnung mittels TNAPI
student:   Martin Kummer
initial / final presentation:   22.05.12 / 21.05.13
thesis

Entwicklung eines Web-Frontends für das Hash-o-mender System
student:   Benjamin Murauer
initial / final presentation:   24.04.12 / 27.11.12
thesis

Extraktion von personenbezogenen Daten über offene Social Media API's
student:   Otto Kreidl
initial / final presentation:   17.04.12 / 22.01.13
thesis

Entwicklung von Automatisierungskonzepten im CAD/CAM-Bereich
student:   Manuel Pigneter
initial / final presentation:   17.04.12 / 16.04.13
thesis

Nyaya for iPad
student:   Alexander Maringele
initial / final presentation:   27.03.12 / 12.03.13
thesis

Functional Completeness
student:   Elias Zischg
initial / final presentation:   17.04.12 / 15.01.13
thesis

KineControl: Conversion from C# to C++ and Sequential Optimizations
student:   Stefan Moosbrugger
initial / final presentation:   27.03.12 / 20.11.12
thesis

KineControl: Parallelization for Shared Memory Parallel Computing Systems
student:   Sandro Kofler
initial / final presentation:   27.03.12 / 20.11.12
thesis

Social-Media Konzepte in Personal-Information-Management-Systemen
student:   David Hoppe
initial / final presentation:   13.03.12 / 19.06.12
thesis

Design and Development of a Pure Java UML Editor
student:   Martin Häusler
initial / final presentation:   20.03.12 / 19.06.12
thesis

From JBC to Computation Graphs
student:   Mario Pirker
initial / final presentation:   13.03.12 / 16.10.12
thesis

A Conversion Tool from Java to Jinja Bytecode
student:   Andreas Kochesser
initial / final presentation:   13.03.12 / 16.10.12
thesis

Untersuchung der Echtzeitfähigkeit von Broadcast-basierten Protokollen für einen Kreuzungsassistenten
student:   Matthias Mayr
initial / final presentation:   20.03.12 / 27.11.12
thesis

Developing an MMOG with Automatic Content Generation
students:   Bernd Altstätter, Daniel Gasteiger
initial / final presentation:   13.03.12 / 15.01.13
thesis

Experimentelle Umsetzung von Routing in Sensornetzen basierend auf virtuellen Koordinaten
student:   Leo Höckner
initial / final presentation:   06.03.12 / 06.11.12
thesis

File Management for Genetic Data
student:   Michael Kopfensteiner
initial / final presentation:   06.03.12 / 19.03.13
thesis

Implementierung eines flexiblen Formats zur Beschreibung von Interferenzmessungen
student:   Fabian Mauroner
initial / final presentation:   13.03.12 / 26.06.12
thesis

Interactive Energy Consumption Monitoring with the Use of Mobile Devices
student:   Andreas Schmid
initial / final presentation:   20.03.12 / 13.11.12
thesis

WS 2011 / 2012

Beschleunigung der PCAP-Datenaufzeichnung für 10 GBit/s-Netze
student:   Daniel Girtler
initial / final presentation:   31.01.12 / 29.01.13
thesis

Anforderungsanalyse einer Schnittstelle der Comarch ERP Versionsverwaltung
student:   Viktor Pekar
initial / final presentation:   10.01.12 / 29.05.12
thesis

Workflow Execution Simulation
student:   Felix König
initial / final presentation:   24.01.12 / 19.06.12
thesis

Computation of Huge Primes in OpenCL
student:   Stefan Rebitsch
initial / final presentation:   17.01.12 / 22.05.12
thesis

Entwicklung einer webbasierten Simulationsverwaltungsdatenbank
student:   Ulrich Rainer
initial / final presentation:   10.01.12 / 20.11.12
thesis

Layer 2 – System on Chip
student:   Mathias Hörtnagl
initial / final presentation:   06.12.11 / 12.06.12
thesis

Evaluation verschiedener Malware-Analyse-Sandboxen
student:   Simon Gredler
initial / final presentation:   29.11.11 / 26.06.12
thesis

Automatic Benchmarking Tool
student:   Simon Schuler
initial / final presentation:   22.11.11 / 06.11.12
thesis

Polynomial Interpretation Analyzer
student:   Simon Woertz
initial / final presentation:   22.11.11 / 20.11.12
thesis

Natural Deduction for Equational Logic
student:   Suat Coskun
initial / final presentation:   22.11.11 / 23.10.12
thesis

Entwicklung eines Informationssystems zur Verwaltung von Schneeprofilen
student:   Aleksandar Stojakovic
initial / final presentation:   08.11.11 / 06.11.12
thesis

Evaluation of Support System Data
student:   Emir Tanriverdi
initial / final presentation:   15.11.11 / 27.11.12

Performance-Analysis and Enhancement of an Indoor Localization Algorithm based on Active-RFID
student:   Philipp Handle
initial / final presentation:   25.10.11 / 06.03.12
thesis

Implementierung eines Abschattungsmodells für bewegliche Objekte in der Fahrzeugkommunikation
student:   David Haller
initial / final presentation:   25.10.11 / 29.06.12
thesis

Automatisierte Unternehmensarchitekturdatensammlung mittels eines Netzwerk Scanners
student:   Klaus Ertl
initial / final presentation:   15.11.11 / 29.06.12
thesis

Implementing Ray Tracing by Exploiting OpenCL Vector Type
student:   Thomas Trenkwalder
initial / final presentation:   25.10.11 / 26.06.12
thesis

HocDoc: Ein Dokumentationstool für Softwareentwickler
student:   Bernhard Berger
initial / final presentation:   15.11.11 / 06.11.12
thesis

Plugin für das Code Metric Tool Sonar
student:   Patrick Baldemaier
initial / final presentation:   25.10.11 / 31.01.12
thesis

Validierung eines HTML-Strings unter Berücksichtigung der Barrierefreiheitsrichtlinien nach WCAG 2.0
student:   Sebastian Moser
initial / final presentation:   25.10.11 / 16.10.12
thesis

Turing Machine Simulator
student:   Evgeni Bykarskij
initial / final presentation:   18.10.11 / 29.10.13
thesis

Interface for the Administration of Confluence Problems (IaCOP)
student:   Christian Nemeth
initial / final presentation:   18.10.11 / 17.04.12
thesis

Fillomino
student:   Matthias Weiler
initial / final presentation:   18.10.11 / 16.10.12
thesis

SS 2011

PubCAP: Crawling von wissenschaftlichen Dokumenten im Internet und verteilte Analyse in Cluster Umgebungen
students:   Maximilian Gerhardt, Simon Klausner
initial / final presentation:   28.06.11 / 19.06.12
thesis

Evaluierung von sortierten hauptspeicherbasierten Indexstrukturen
student:   Christof Rinner
initial / final presentation:   21.06.11 / 26.06.12
thesis

Reporting Tool for the INSIEME Compiler Project
student:   Michael Gasser
initial / final presentation:   14.06.11 / 12.06.12
thesis

A Tennis Results Predictor
student:   Simon Mathis
initial / final presentation:   14.06.11 / 29.05.12
thesis

GemsJax: Eine kollaborative Platform zur Erforschung von Modellerierungsveralten
student:   Hannes Dorfmann
initial / final presentation:   24.05.11 / 29.05.12
thesis

Simplification and Unsatisfiability for Arithmetic Constraints
student:   Andrea Rendl
initial / final presentation:   17.05.11 / 28.11.11
thesis

Extraktion von semi-strukturierten Daten aus dem Web
student:   Julien Poissonnier
initial / final presentation:   17.05.11 / 08.05.12
thesis

Dynamisches RIA Informationssystem
student:   Philip Krauss
initial / final presentation:   12.04.11 / 24.04.12
thesis

Improving and Extending GroudSim
student:   Christian Hollaus
initial / final presentation:   05.04.11 / 21.09.11
thesis

Human-readable Domain Names for Hidden Services in Tor
student:   Simon Nicolussi
initial / final presentation:   12.04.11 / 21.09.11
thesis

CPF View
student:   Sarah Zeitlhofer
initial / final presentation:   29.03.11 / 21.06.11
thesis

Parallele Implementierung der Inversen Kinematik eines Roboters
student:   Christian Mayr
initial / final presentation:   29.03.11 / 28.06.11
thesis

DroidRok – An Amarok-inspired Android OS Music Player
student:   Lukas Köpfle
initial / final presentation:   29.03.11 / 11.10.11
thesis

Evaluierung von Substring indizes
student:   Andreas Geisler
initial / final presentation:   05.04.11 / 21.09.11
thesis

Entwicklung eines Mapping-Layers zwischen dokumentenorientierten und graphorientierten Datenbanken
student:   Markus Granofszky
initial / final presentation:   05.04.11 / 21.09.11
thesis

A Graphical Editor for Quasi-Median Networks
student:   Benjamin Hiltpolt
initial / final presentation:   29.03.11 / 22.11.11
thesis

Active Appearance Models vs. Active Shape Models for Faces: a theoretical and empirical comparison
student:   Florian Bergsleitner
initial / final presentation:   05.04.11 / 31.01.12
thesis

A Data File Converter for the F5 Project
student:   Wolfgang Leimer
initial / final presentation:   29.03.11 / 27.03.12
thesis

Discriminative and Generative Grasp Densities
student:   Benedikt Hupfauf
initial / final presentation:   22.03.11 / 28.06.11
thesis

Predictors for Gene Synthetic Lethal Interactions
student:   Paul Mayer
initial / final presentation:   22.03.11 / 21.09.11
thesis

WS 2010 / 2011

CarpeGeographia
student:   Stefan Hofer
initial / final presentation:   11.01.10 / 14.06.11
thesis

Extended File Attributes
student:   Marco Kammerer
initial / final presentation:   14.12.10 / 01.02.11

Linux Container Security
student:   Marco Kammerer
initial / final presentation:   14.12.10 / 01.02.11

Prototyp zu 3D Navigation mit Hilfe der Beschleunigungssensoren im iPad / iPhone
student:   Deborah Salcher
initial / final presentation:   11.01.11 / 21.09.11
thesis

Übersetzung einer paralleler Zwischendarstellung nach Java
student:   Gerald Schrempf
initial / final presentation:   30.11.10 / 29.11.11
thesis

JavaSpaces auf dem Cell-Prozessor
student:   Matthias Wallnöfer
initial / final presentation:   23.11.10 / 21.06.11
thesis

TCT Web Interface
student:   Abdullatif Yesil
initial / final presentation:   16.11.10 / 01.02.11

STI Emporium – A Central Marketplace for Semantic Technology Community
student:   Wolfgang Eckbauer
initial / final presentation:   09.11.10 / 08.11.11
thesis

STI Kudos – An Infrastructure for Management of Semantic Community Challenges
student:   Clemens Sauerwein
initial / final presentation:   09.11.10 / 25.01.10
thesis

Ein Finanzwirtschaftlicher Turing Test
student:   Bernd Weidenthaler
initial / final presentation:   09.11.10 / 12.04.11

Student's Little Helper
student:   Thomas Eiter
initial / final presentation:   09.11.10 / 14.06.11
thesis

Entwicklung eines dynamischen Web-Clients für SnoopyDB
student:   Georg Unterthurner
initial / final presentation:   09.11.10 / 21.09.11
thesis

Yajilin
students:   Armin Gufler, Florian Hagenauer
initial / final presentation:   09.11.10 / 28.06.11
thesis

Programming Turing Machines
student:   Michael Schaper
initial / final presentation:   09.11.10 / 17.05.11
thesis

Lambda Animator
student:   Stefan Widerin
initial / final presentation:   09.11.10 / 18.10.11
thesis

SS 2010

Term Graph Rewriting
student:   Maria Schett
initial / final presentation:   29.06.10 / 08.11.11
thesis

.NET Grid-Komponente mit AJAX-Funktionalität
student:   Markus Kofler
initial / final presentation:   22.06.10 / 01.02.11

Change-Request-Tool (CR-Tool)
student:   Markus Kofler
initial / final presentation:   22.06.10 / 25.01.11

Weiterentwicklung des Workflow-Managers für die Genomanalyse
student:   Mathias Neuner
initial / final presentation:   15.06.10 / 28.06.11
thesis

Bayesian Calibration of a Canopy Photosynthesis Model
student:   Thomas Liener
initial / final presentation:   01.06.10 / 07.06.11
thesis

Fantasychess
student:   Florian Sereinig
initial / final presentation:   04.05.10 / 25.01.11

Entwicklung einer Toolunterstützung für das BITSEC Projekt
students:   Alexander Catulli, Michael Catulli
initial / final presentation:   04.05.10 / 25.01.11

Optimierung und Usability Enhancements der Applikation U2L
student:   Florian Stäuble
initial / final presentation:   04.05.10 / 15.03.11
thesis

Implementation and Evaluation of a Method to Learn Ontologies From Folksonomies
student:   Simon Hangl
initial / final presentation:   04.05.10 / 23.11.10
thesis

OpenAL für A7
student:   Matthias Auer
initial / final presentation:   04.05.10 / 10.05.11
thesis

Personal Task Management – Part 2
student:   Christian Atzinger
initial / final presentation:   20.04.10 / 12.10.10

Web 2.0 Collaborative Website: TourInfo
student:   Egon Zemmer
initial / final presentation:   13.04.10 / 29.06.10

Software zur Stundenplanerstellung
student:   Stefan Juen
initial / final presentation:   23.03.10 / 15.03.11
thesis

Dynamic On-The-Fly Tracing Tool
student:   Michael Walch
initial / final presentation:   13.04.10 / 03.05.11
thesis

REST-API für das EAM-Tool iteraplan
student:   Ernst Millinger
initial / final presentation:   23.03.10 / 09.11.10
thesis

Extraction of Synonyms in User-Generated Content
student:   Alex Oberhauser
initial / final presentation:   23.03.10 / 18.01.11
thesis

Identifying Popularity of Tags and Concepts in User-Generated Content
student:   Corneliu Valentin Stanciu
initial / final presentation:   23.03.10 / 01.02.11
thesis

Certified Recursive Path Order
student:   Julian Nagele
initial / final presentation:   23.03.10 / 01.02.11
thesis

Verwaltungssystem für Seminararbeiten
student:   Mario Berger
initial / final presentation:   23.03.10 / 22.06.10
thesis

Weiterentwicklung des SQL-Tutors
student:   Lukas Schwaiger
initial / final presentation:   16.03.10 / 15.03.11

Implementierung eines Model-Playbacks für MagicDraw
student:   Christian Sillaber
initial / final presentation:   16.03.10 / 01.06.10
thesis

Inter- and Intra-process Communication Survey
student:   Bernhard Höckner
initial / final presentation:   16.03.10 / 01.02.11
thesis

Term Indexing Techniques in OCaml
student:   Simon Legner
initial / final presentation:   09.03.10 / 16.11.10
thesis

Abstract Rewrite Tool
student:   Sebastian Stabinger
initial / final presentation:   23.03.10 / 29.03.11
thesis

Erstellen einer Bibiothek zum parallelen Rechnen auf sehr grossen Zahlen
student:   Dominik Neuner
initial / final presentation:   09.03.10 / 15.06.10
thesis

Visualizing the Knuth-Bendix Completion Procedure
student:   Thomas Sternagel
initial / final presentation:   09.03.10 / 09.11.10
thesis

CNF Generation for SAT
student:   Paul Borek
initial / final presentation:   09.03.10 / 15.03.11
thesis

Slitherlink Reloaded
student:   David Westreicher
initial / final presentation:   09.03.10 / 15.03.11
thesis

WS 2009 / 2010

Toolunterstützung für Scrum
student:   Mathias Breuß
initial / final presentation:   26.01.10 / 18.05.10
thesis

Calculating Similarity between Business Process Models
student:   Cornelia Lezuo
initial / final presentation:   26.01.10 / 25.01.11

Location-based Authentication for Mobile Devices
student:   Matthias Pressnig
initial / final presentation:   19.01.10 / 09.02.10

Tool zur Softwarekomponentensuche
student:   Georg Bader
initial / final presentation:   12.01.10 / 30.11.10
thesis

Test Evaluation with Telling TestStories
student:   Lukas Aichbauer
initial / final presentation:   24.11.09 / 12.10.10

GPS Tracking Service
student:   Fabian Moser
initial / final presentation:   24.11.09 / 23.11.10

OpenSource HTTP/HTTPS AntiVirus Proxy Server
students:   Martin Illecker, Florian Klingler
initial / final presentation:   03.11.09 / 05.10.10
thesis

Überarbeitung und Erweiterung der DMIS Oberfläche
student:   Florian Rhomberg
initial / final presentation:   13.10.09 / 05.10.10
thesis

Programming Multicore Processors in Java
student:   Gerold Egger
initial / final presentation:   13.10.09 / 09.11.10
thesis

Improve Checkstyle Integration in Eclipse
student:   Lukas Frena
initial / final presentation:   06.10.09 / 20.04.10
thesis

Validierung von OCL-Ausdrücken
student:   Simon Pfeifhofer
initial / final presentation:   03.11.09 / 11.05.10
thesis

Resolution Visualization Tool
student:   Uli Kastlunger
initial / final presentation:   13.10.09 / 29.06.10
thesis

SS 2009

WSMLDoc: Implementation of a WSML Documentation Tool
student:   Boban Milanovic
final presentation:   13.10.09

Trefferanalyse in Kampfsportarten
student:   Patrik Niederleimbacher
initial / final presentation:   07.07.09 / 16.02.10

Modellgetriebene Entwicklung prozessorientierter Anwendungssystemen
student:   Szabo Köllö
initial / final presentation:   30.06.09 / 26.01.10

A Web 2.0 Metamodeling Tool
students:   Simon Forster, Norbert Lanzanasto
initial / final presentation:   23.06.09 / 02.03.10
thesis

Genetische Epidemiologie – Entwicklung einer Java-basierten Weboberfläche
student:   Mathias Neuner
initial / final presentation:   26.05.09 / 23.02.10

Parallele Implementierung von Algorithmen zur verlustfreien Datenkompression
student:   Peter Kiechle
initial / final presentation:   19.05.09 / 09.02.10
thesis

Multimedia-Kompressionsverfahren auf Multi-Core Architekturen
student:   Peter Knapp
initial / final presentation:   19.05.09 / 09.02.10
thesis

Ein Vergleich und eine Evaluation verschiedener Sicherheits- und Risikoanalysetools
student:   Christoph Klicznik
initial / final presentation:   12.05.09 / 02.03.10

Iterative Filterung mittels Splitting Methoden und Wavelet-Schrinkage
student:   Peter Kandolf
initial / final presentation:   28.04.09 / 29.09.09
thesis

Weiterentwicklung und Optimierung der Applikation u2l
student:   Philipp Vallant
initial / final presentation:   21.04.09 / 16.02.10

Entwicklung und Implementierung eines Wikipedia Annotation Layers
student:   Rainer Frick
initial / final presentation:   28.04.09 / 02.02.10

Tool zur Verwaltung von Reisekosten in Kooperation mit TouristMobile
students:   Patrick Ferula, Dietmar Wieser
initial / final presentation:   31.03.09 / 22.09.09
thesis

Analysetool für den Alaska Simulator
student:   Martin Gratz
initial / final presentation:   31.03.09 / 26.01.10

A Java Class File Parser
student:   Wolfgang Estgfäller
initial / final presentation:   31.03.09 / 02.03.10
thesis

Sprecheridentfikation auf FPGA-Karte
student:   Hannes Mösl
initial / final presentation:   17.03.09 / 02.02.10

Comparison of Pathfinding Algorithms
student:   Emanuel Scheiber
initial / final presentation:   24.03.09 / 29.09.09
thesis

Evaluierung von Technologien für verteilte Modellierung im Eclipse Umfeld
student:   Florian Scholochow
initial / final presentation:   24.03.09 / 01.06.10

Schnelle Clusteranalyse auf PC mit FPGA-Karte
student:   Martin Neuhauser
initial / final presentation:   17.03.09 / 29.06.10

In Contact with Context-Free Grammars
student:   Martin Mariacher
initial / final presentation:   24.03.09 / 02.03.10
thesis

Regular Expressions of Finite Automata
students:   Florian Demanega, Michael Freudenschuss
initial / final presentation:   17.03.09 / 02.03.10
thesis

Finite Automata and Nothing Else
student:   Benjamin Höller
initial / final presentation:   17.03.09 / 16.02.10
thesis

Pushdown Automata Simulator
student:   Felix Erlacher
initial / final presentation:   17.03.09 / 10.11.09
thesis

Building Bridges
student:   Michael Braun
initial / final presentation:   10.03.09 / 09.02.10
thesis

Grid Software Constraints
student:   Romedius Weiss
initial / final presentation:   24.03.09 / 02.03.10
thesis

Improvement of XMPP Support in ECF
student:   Roland Matha
initial / final presentation:   24.03.09 / 16.02.10
thesis

Web Based Multimedia Annotation
student:   Bernhard Sprenger
initial / final presentation:   17.03.09 / 02.03.10

Dynamische Erweiterung eines Simulationswerkzeugs
student:   Matthias Kegele
initial / final presentation:   10.03.09 / 02.03.10
thesis

Watten
student:   Margit Mutschlechner
initial / final presentation:   10.03.09 / 29.09.09
thesis

WS 2008 / 2009

Prozessmodellierung mit Change Patterns
student:   Wolfgang Rohregger
initial / final presentation:   27.01.09 / 22.09.09

Weiterentwicklung der ICONA-DB
student:   Christian Bitschnau
initial / final presentation:   11.11.08 / 22.09.09

Neuronale Lernverfahren auf FPGA
student:   Cristoph Brejla
initial / final presentation:   04.11.08 / 22.09.09

Entwicklung eines Open-Source Tools zur Verwaltung von Mannschaftsspielen und Ligen
student:   Fabian Moser
initial / final presentation:   21.10.08 / 22.09.09

Synchronisation von Trainingsdaten
students:   Andreas Grill, Thomas Juen
initial / final presentation:   28.10.08 / 22.09.09
thesis

Intelligente Benutzerunterstützung für deklarative Prozesse
student:   Christian Schaiter
initial / final presentation:   28.10.08 / 22.09.09
thesis

Personal Task Management
student:   Christian Atzinger
initial / final presentation:   28.10.08 / 22.09.09

Grid Software Detection
student:   David Gstir
initial / final presentation:   21.10.08 / 30.06.09
thesis

Eliminating TCP's end-of-stream-timeout problem
student:   Richard Weinberger
initial / final presentation:   21.10.08 / 27.01.09
thesis

Implementierung von KNN-Verfahren auf NVIDIA CUDA
student:   Tuncay Erdogus
initial / final presentation:   14.10.08 / 29.09.09
thesis

Web Service Connector for Jini
student:   Christian Lumper
initial / final presentation:   21.10.08 / 29.09.09
thesis

Implementation of Selected Objective Video Quality Metrics
student:   Florian Wieser
initial / final presentation:   07.10.08 / 30.06.09

Number Link
student:   Benjamin Rupprechter
initial / final presentation:   07.10.08 / 07.07.09
thesis

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

WS 2007 / 2008

Fallstudie Akzeptanztesten
student:   Alexander Hörbst
initial / final presentation:   08.01.08 / 07.10.08

Analyse von Modulabhängigkeiten
student:   Matthias Pressnig
initial / final presentation:   11.12.07 / 16.12.08

Visions of Semantic Content Management Systems
student:   Stefan Thaler
initial / final presentation:   30.10.07 / 22.01.08

Implementation of a Tableau-based Decision Procedure for the Description Logic ALC
student:   Simon Knoll
initial / final presentation:   20.11.07 / 23.09.08

NVIDIA CUDA Revolutionary GPU Computing (1)
student:   Bernhard Leschinger
initial / final presentation:   30.10.07 / 23.09.08

Online Umfrage Tool mit PHP und MySQL
students:   Christian Baumann, Christian Plankl
initial / final presentation:   11.12.07 / 23.09.08

Evaluierung eines iptables-Moduls zur Burst-Erkennung
student:   Thomas Mader
initial / final presentation:   30.10.07 / 23.09.08

Eclipse Advanced OCL Editor
student:   Ekrem Arslan
initial / final presentation:   30.10.07 / 16.12.08

Ripple Effect
student:   Wilfried Pasquazzo
initial / final presentation:   16.10.07 / 23.09.08
thesis

Qualitätsverbesserungen durch testgetriebene Softwareentwicklung – Eine Fallstudie
student:   Jürgen Laner-Leiter
initial / final presentation:   30.10.07 / 23.09.08

Entwicklung eines Programms zur Simulation einer Warteschlange in einem Internet-Router
students:   Armin Masl, Stefano Sudaro
initial / final presentation:   09.10.07 / 23.09.08

Integrating CCBRTool into CBRFlow
student:   Patrik Niederleimbacher
initial / final presentation:   16.10.07 / 23.09.08

DMIS Implementierung eines lernfähigen medizinischen Webportals mittels Ajax
students:   Lukas Demetz, Hannes Marth
initial / final presentation:   23.10.07 / 23.09.08
thesis

Enabling Semantic eMail Adressing
student:   Philippe Rödlach
final presentation:   08.07.08

An Annotation System based on the SA Methodology
student:   Christian Ammendola
initial / final presentation:   16.10.07 / 08.07.08

Parallel Programming with Nvidia CUDA
student:   Joachim A. Schütz
initial / final presentation:   30.10.07 / 08.07.08

Workflow Runtime Visualization
student:   Christoph Leiter
initial / final presentation:   09.10.07 / 08.07.08
thesis

An Integrated Development Environment for OCaml
student:   Gunnar Schulze
initial / final presentation:   23.10.07 / 08.07.08
thesis

Exploring Propositional Local-Search Procedures for Tableau-based Reasoning in the Description Logic ALC
student:   Adrian Marte
initial / final presentation:   20.11.07 / 08.07.08

Grid Resource Test Tool
students:   Daniel Bodner, Georg Kraler
initial / final presentation:   30.10.07 / 17.06.08

Masyu
students:   Manfred Gratt, Daniel Rieder
initial / final presentation:   16.10.07 / 06.05.08

Ein Visualisierungs-Framework in Qt
student:   Martin Schöpf
initial / final presentation:   15.01.08 / 15.04.08

Aufbereitung von Wikipedia-Inhalten für die InfoArea-Plattform
student:   Tim Hannemann
initial / final presentation:   23.10.07 / 08.04.08

Askalon Visualisierungsdiagramme
student:   Herbert Jordan
initial / final presentation:   16.10.07 / 26.02.08
thesis

Bildbasierte suche innerhalb mobiler touristischer Informationssysteme
student:   Daniel Winkler
initial / final presentation:   23.10.07 / 22.01.08

SS 2007

Qualitätsmetriken für Videos
student:   Florian Wieser
initial / final presentation:   11.12.07 / 23.09.08

Implementierung eines Self Organizing Map auf einem FPGA
student:   Manfred Gratt
final presentation:   17.02.09

Evaluation von Open-Source ETL-Tools für Data Warehouse Systeme
student:   Bernhard Braito
final presentation:   08.07.08

Reengineering der Schulbetriebssoftware für die HTL Dornbirn
student:   Christoph Blank
final presentation:   07.10.08

Gen-Datenbank: Verbesserung des Workflows
student:   Daniel Walter
final presentation:   23.09.08

Social Bookmarking of Semantic Web Services
students:   Patrick Kammerlander, Marco Dalle Pezze
final presentation:   23.09.08

Evaluierung von Open-Source Analyse-Komponenten für Data Warehouse Systeme
student:   Markus Posch
final presentation:   25.11.08

An Encoder for Hybrid Automata into NuSMV
student:   Christoph Steiner
final presentation:   08.07.08

Backup- und Migrations-Modul für CHES (Computer Based Health Evaluation System)
students:   Peter Zangerl, Thomas Waldegger
final presentation:   10.06.08

Regular Expressions of Finite Automata
student:   Peter Kirchmair
final presentation:   26.02.08

Web-based Timetable and Exam Utilities
student:   Simon Bailey
final presentation:   26.02.08

Killer Sudoku Applet
student:   Georg Schneider
final presentation:   26.02.08

Kakuro
students:   Marco Dalle Pezze, Patrick Kammerlander
final presentation:   26.02.08

Interaction Nets
student:   Lukas Laschitz
final presentation:   26.02.08

Proof-Box-Proof
student:   Thomas Schwärzler
final presentation:   26.02.08

Entwicklung eines Algorithmus zur effizienten Erzeugung aller Graphen bis auf Isomorphie
student:   Michael Handler
initial / final presentation:   20.11.07 / 26.02.08
thesis

Erstellung eines ERP-Systems für einen landwirtschaftlichen Betrieb
student:   Florian Pittl
final presentation:   26.02.08

Konzeption und Implementierung eines Editors für die Erstellung und Pflege von E-C-A-Regeln
student:   Friedrich Wachter
final presentation:   26.02.08

Implementation of an OWL Import in WSMO4J
student:   Andreas Frankl
final presentation:   22.01.08

Administration von Supplierungen
student:   Gundula Zeiner
final presentation:   08.01.08

ERP-System für ein Internet-Cafe
student:   Erkan Duman
final presentation:   08.01.08

Kursverwaltung für die Caritas Innsbruck
student:   Alexander Jäger
final presentation:   08.01.08

Automatische Identifikation von Laubblatträndern
student:   Markus Flarer
final presentation:   04.12.07

Implementation and Visualization of a BDD-based Decision Procedure for the Description Logic ALC
student:   Markus Ruepp
final presentation:   27.11.07

EASAIER Semantic Music Retrieval Portal
student:   Michael Luger
final presentation:   03.11.09

Support Vector Machine auf dem IBM Cell Chip
student:   Christian Gapp
final presentation:   23.03.10

WS 2006 / 2007

Eine Verwaltungssoftware für das Facility Management
students:   Simon Knoll, Hannes Ganthaler
final presentation:   23.09.08

On-the-fly-Generierung von Businessobjekten aus C#-Templates in .NET
student:   Gundula Zeiner
final presentation:   08.07.08

Evaluierung von Web Content-Management-Systemen
students:   Stephan Plank, Manuel Niederkofler
final presentation:   03.06.08

XML Parser Extension for WSMO4J
student:   Hannes Innerhofer
final presentation:   22.01.08

Deployment of a Web Application/Service
students:   Christoph Fuchs, Adrian Marte
final presentation:   15.01.08

SS 2006

Projekt Dex Operator
students:   Martin Becker, Gregor Brandstätter
final presentation:   16.06.09

WS 2005 / 2006

SS 2005

Bibliographic Resource Management Based on Semantic Web Technologies
student:   Michael Luger
final presentation:   03.11.09