Explore projects

Nextcloud version of Sccuot -- now known as 'Statistical computations component and usage overview tool'

Submodule that gets processed by dunecontrol's vcsetup

This project contains the execution scripts to the QEST special issue "State-space construction of Hybrid Petri nets with multiple stochastic firings" (to be) published in September 2020.

Calculations on deep inelastic scattering with Z-boson exchange and interference.

Datenschutzfreundliches Web-Interface zur Virustotal-Datenbank, das nur den Hash der Datei überträgt. Vor Upload einer Datei zu Virustotal gibt es eine Warnung. Weiterhin besteht die Möglichkeit zur Anbindung an eine Cuckoo-Sandbox oder MISP-Instanz.

A template for LaTeX Beamer talks intended for seminar talks (in particular for giving talks via Zoom during the Corona crisis)

As a user I want a badge that tells how old a piece of research is.

Set of small programs that can help to check/handle DomainWorld data.

As a developer I want scalable badges that I can embed on my own third party site so that I do not have to distinguish between mobile and desktop.