Ágoston Sütő
Model Checking Concurrent Systems Under Fairness Constraints in RISCAL (Master’s Thesis, Johannes Kepler University Linz, May 2023).
Joachim Borya
Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker (Bachelor Thesis, Johannes Kepler University Linz, May 2023).
Lucas Reichl
Refinement Types for Elm (Master Thesis, Johannes Kepler University Linz, April 2021).
Franz-Xaver Reichl
The Integration of SMT Solvers into the RISCAL Model Checker (Master Thesis, Johannes Kepler University Linz, April 2020).
Hsuan-Ming Chen
Migrating Mathematical Programs to Web Interface Frameworks (Master Thesis, Johannes Kepler University, Linz, April 2019).
Stefan Amberger
A Parallel, In-Place, Rectangular Matrix Transpose Algorithm (Master Thesis, joint supervision with Peter Paule and Volker Strumpen, Johannes Kepler University, Linz, March 2019).
Lucas Payr
Formalization and Validation of Fundamental Sequence Algorithms by Computer-assisted Checking of Finite Models (Bachelor Thesis, Johannes Kepler University, Linz, December 2018).
Ramez Elbaroudy
A Gateway for the Generic Conversion of Protocols for Smart Meters and IoT Applications (Master Thesis, Johannes Kepler University, Linz, July 2018).
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).
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).
Syntax Processing and Code Generation for a Generic Programming Language (diploma thesis, Johannes Kepler University, Linz, Austria, 1997–1998).
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).
Designing and Prototyping a Functor Language Using Denotational Semantics (diploma thesis, Johannes Kepler University, Linz, Austria, 1996–1997).
A Fault-Tolerant Distributed Manager/Worker System (practice semester, Technical College (Fachhochschule) for Software Engineering, Hagenberg, Austria, 1996–1997).