Explore projects
-
Updated
-
Updated
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
Updated
-
-
Implementation of FPT approximations for fair k-min-sum-radii as described in https://arxiv.org/abs/2410.00598
Updated -
Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU
Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/ds-skript
Updated -
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.
Updated -
Chatbot-like interface for semantic search across FAQ for the Master's programme "AI & Data Science"
https://www.heicad.hhu.de/lehre/masters-programme-ai-and-data-science/hainrich
Updated