ProB Modelling Examples as Jupyter Notebooks.

Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.

LaTeX-Vorlage für Bachelor und Masterarbeiten.

TBA

Reduce a metabolic network (SBML fbc coded model) as per Network Reducer method implemented in MATLAB tool CellNetAnalzyser.

Generate parsers using SableCC as part of a Gradle build

Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.

Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU

Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/lecturescript

Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.

Prune a metabolic model (remove redundant reactions). Based on Network Reducer (Erdrich et al. 2015).