Dennis Felsing     Software     Research     Teaching     Blog     DDNet

Research

2015

Master Thesis: Parallel Graph Algorithms on the Xeon Phi Coprocessor

2014

Automating Regression Verification

Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, and Mattias Ulbrich

Intl. Conference on Automated Software Engineering (ASE 2014)

2013

Practice of Research: Regression Verification

Algorithm Engineering Coursework: Base Case Comparison Based Sorting

2012

Bachelor Thesis: Visualization of Lazy Evaluation and Sharing

Algorithms 2 Programming Challenges

Both were the fastest implementations:

Power Management Praktikum: Disk Power Management

2011

Proseminar Zellularautomaten und Diskrete Komplexe Systeme