Explore projects

Standalone version of the Rodin Event-B parser and AST, published to Maven Central

XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA

Generate parsers using SableCC as part of a Gradle build

Code for "EmoWOZ: A Large-Scale Corpus and Labelling Scheme for Emotion Recognition in Task-Oriented Dialogue Systems".

Samba Password Client - change your password on fileserver

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