Explore projects

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

Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.

This repository deals with the data exploration of the data contained in D-BAS.

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

Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"

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