13 Supervised Students

Alexander Brunhuemer
Validating the Formalization of Theories and Algorithms of Discrete Mathematics by the Computer-Supported Checking of Finite Models (Bachelor Thesis, Johannes Kepler University, Linz, September 2017).
Daniela Ritirc
Formally Modeling and Analyzing Mathematical Algorithms with Software Specification Languages & Tools (Master’s Thesis, Johannes Kepler University, Linz, Austria, 2016).
Muhammad Taimoor Khan
Formal Specification and Verification of Computer Algebra Software (PhD Thesis, Johannes Kepler University, Linz, Austria, 2014).
Gabor Guta
Model-to-Text Transformation Modification by Examples (PhD Thesis, Johannes Kepler University, Linz, Austria, 2012).
Andrei-Ovidiu Coman
Video Tracking of Humans in Robotic Environments (Master’s Thesis, International School for Informatics, Hagenberg, Austria, 2011).
Ahmad Mohamed Hisham Ismail
Remotely Controlling a Mechanical Laboratory via the Internet (Master’s Thesis, International School for Informatics, Hagenberg, Austria, 2010).
Amira Zaki
Re-engineering of a Grid Aware Medical Database System Based on a Metamodel (Master’s Thesis, International School for Informatics, Hagenberg, Austria, 2009).
Stefan Georgiev
Evaluation of Cluster Middleware Computing Environment (Master’s Thesis, International School for Informatics, Hagenberg, Austria, 2009).
Katharina Bauer-Öppinger
Concept and Prototype of an Aggregator Portal for Learning Opportunities Based on the MLO-AD Standard (Diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2009).
Fabian Schwaiger
Entwicklung einer Benutzerschnittstelle zur Verwendung von 2D-Barcodes auf mobilen Endgeräten (Development of a User Interface for the Use of 2D Barcodes on Mobile Devices, in German, diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2009).
Imre Matko
Grid-aware Database Support for Medical Software (Master’s Thesis, International School for Informatics, Hagenberg, Austria, 2008).
Kenji Miyamoto
Parallel Algorithms for Sparse Matrices in an Industrial Optimization Software (Master’s Thesis, International School for Informatics, Hagenberg, Austria, 2008).
Johannes Watzl
Investigations on Improving the SEE-GRID Optimization Algorithm (Diploma thesis, Johannes Kepler University, Linz, Austria, 2008).
Markus Stadlbauer
Integration von Entscheidungsprozeduren in einen interaktiven Beweisassistenten (Diploma thesis, Johannes Kepler University, Linz, Austria, 2008).
Florian Prieler
Konzeptionierung und prototypische Entwicklung eines webbasierten Planspiels für Disponenten des Transportwesens (Concept and Prototypical Development of a Web-based Business Game for Dispatchers in Transport Business, diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2008).
Kathrin Furtlehner
Innovative Aufgabenarten für interaktive eLearning-Anwendungen (Innovative Exercise Types for Interactive eLearning Applications, in German, diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2007).
Bettina Wansch
Erstellung eines kommerziellen Nachhilfesystems für Online-Nachhilfestunden (Development of a Commercial System for Online Tutoring, in German, diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2007).
Roswitha Wallner
Unterstützung von SCORM bei der Erstellung von E-Learning-Inhalten mit einem Adobe-Flash-Framework (Supporting SCORM in the Development of eLearning Contents with an Adobe Flash Framework, in German, diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2007).
David Schwingenschlögl
Visualisierung von prädikatenlogischen Auswertungen unter Berücksichtigung lernfördernder Aspekte (Visualization of Predicate Logic Evaluations Considering Learning Supporting Aspects, in German, diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2006).
David Wojak
Bewertungssysteme in Web-basierten Lernumgebungen am Beispiel von Moodle (Evaluation Systems in Web Based Learning Environments using Moodle as an Example, in German, diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2006).
Rebhi Baraka
A Framework for Publishing and Discovering Mathematical Web Services, PhD thesis, Johannes Kepler University, Linz, Austria, August 2006.
David Hauger
Interaktive Bausteine zur Entwicklung von eLearning-Anwendungen (Interactive Components für the Development of eLearning Applications, in German, diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2006).
Mirjam Köck
Computer-Supported Cooperative Project Management with Particular Emphasis on its Application in Education (diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2006).
Günter Krausgruber
Visualisierung von Listen-basierten Java-Programmen unter Berücksichtigung von lernfördernden Aspekten (Visualization of List-based Java Programs under Consideration of Learning-Supporting Aspects, in German, diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2005).
Robert Berndorfer
Konzeptionierung und Entwicklung eines Prototyps zur Online-Simulation einer CNC-Fräsmaschine for das Training von Mitarbeitern (Concept and Development of a Prototype for the Online Simulation of a CNC Milling Machine for Employee Training, in German, diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2005).
Kathrin Meyer
Semantische Modellierung vernetzter Lerninhalte am Beispiel des Lernsystems “Digital Media for Artists” (Semantic Modeling of Linked Learning Contents for the Learning System “Digital Media for Artists”, in German, diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2005).
Daniel Huemer
Fallstudien zur aufwandsminimierenden Erstellung von dynamischen Lernmaterialien (Case Studies for the Effort Minimizing Development of Dynamic Learning Contents, in German, diploma thesis, Upper Austria University of Applied Sciences at Hagenberg, Austria, 2005).
Karoly Bosa
Fault Tolerance for Distributed Maple, PhD thesis, Johannes Kepler University, Linz, Austria, September 2004.
Gerald Eckerstorfer
Integration von Streaming im e-Learning für eine Technische Veranstaltung im Fachhochschulbereich (Integrating Streaming into e-Learning for a Technical Course at a University of Applied Sciences, in German, diploma thesis, University of Applied Sciences at Hagenberg, Austria, 2003).
Susanne Fest
Technische Szenarien für den e-Learning Einsatz im Ergänzungs-Lehrgang der Fachhochschul-Studiengänge Oberösterreich (Technical Scenarios for the Application of e-Learning in the Qualification Course of the Upper Austria University of Applied Sciences, in German, diploma thesis, University of Applied Sciences at Hagenberg, Austria, 2003).
Lucia Sirbu
A Distributed Object Framework for Integrating Mathematical Services (master’s thesis for Babes-Bolyai University, Faculty of Computer Science, Cluj Napoca, Romania, written at RISC in 2001).
Christian Mittermaier
Parallel Algorithms in Constructive Algebraic Geometry
(diploma thesis, Johannes Kepler University, Linz, Austria, 1999-2000).
Mircea Marin
Distributed Constraint Solving for Functional Logic Programming (PhD thesis, Johannes Kepler University, Linz, Austria, 1997–1998, joint supervision with Prof. Tetsu Ida at Tsukuba University, Japan).
Werner Danielczyk-Landerl
Syntax Processing and Code Generation for a Generic Programming Language (diploma thesis, Johannes Kepler University, Linz, Austria, 1997–1998).
Peter Kulczycki
An Application Framework for the Distributed Simulation of Virtual Worlds by Spatial Decomposition (diploma thesis, Technical College (Fachhochschule) for Software Engineering, Hagenberg, Austria, 1997).
Integration of Client/Server and Peer-to-Peer Principles in Distributed Systems (practice semester, Technical College (Fachhochschule) for Software Engineering, Hagenberg, Austria, 1996–1997).
Wolfgang Stöcher
Designing and Prototyping a Functor Language Using Denotational Semantics (diploma thesis, Johannes Kepler University, Linz, Austria, 1996–1997).
Alexander Dvorsky
A Fault-Tolerant Distributed Manager/Worker System (practice semester, Technical College (Fachhochschule) for Software Engineering, Hagenberg, Austria, 1996–1997).