Completed Projects
WS 2011 / 2012
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
Plugin für das Code Metric Tool Sonar
student: Patrick Baldemaier
initial / final presentation:
25.10.11 / 31.01.12
thesis
Interface for the Administration of Confluence Problems
(IaCOP)
student: Christian Nemeth
initial / final presentation:
18.10.11 / 17.04.12
thesis
SS 2011
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
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