Hier werden alle größeren Veröffentlichungen gesammelt, die über die Zeit entstehen. Diese Seite als Publikationsliste zu bezeichnen wäre bei der Menge an Einträgen falsch, stattdessen möchte ich auflisten, wo längere Texte, Projekte und (vor-) wissenschaftliche Arbeiten von mir zu finden sind.
2020
- Paracooba @FMV, Multi-Core Distributed Multi-Problem Cube-And-Conquer SAT-Solver, Best Presentation Award Gewinner
2018
- Bachelor Thesis „Static Analysis of Physically Constrained Software Systems Using SMT“ (FMV, JKU Linz) (Backup Permalink)
- VERNER Rover (HARPTech, private project)
2017
- PiGaCo (privates Projekt zum Bau einer auf Linux basierenden retro-Spielekonsole. Beendet wegen Problemen mit dem Linux Grafik Stack zu der Zeit)
2016
- VWA „Online-Individualfeedback von SchülerInnen an LehrerInnen in einer Schule“ (Europagymnasium Auhof, Linz)