Explore projects
-
Prune a metabolic model (remove redundant reactions). Based on Network Reducer (Erdrich et al. 2015).
Updated -
Code for "Dialogue Evaluation with Offline Reinforcement Learning" paper
Updated -
Generate parsers using SableCC as part of a Gradle build
Updated -
XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA
Updated -
Updated
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
-
Reduce a metabolic network (SBML fbc coded model) as per Network Reducer method implemented in MATLAB tool CellNetAnalzyser.
Updated -
Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.
Updated -
Updated
-
The ProB Model Checker and Animator Plugin for Rodin
Updated -
Updated