Software
- Core SBML : A Core Language for Systems Biology.
- Network-Graph Tool : Draw the graphs of reaction networks.
- Cellstar: Segmentation & tracking software for round cells identification in the brightfield microscopy images. See here.
- Peptide : Optimization of reaction networks based on abstraction interpretation.
Outdated
- React(C): an implementation of React(C). Since January 29, 2013. Implemented by Mathias John.
- James-Imp-Pi: an implementation of the imperative pi-calculus. Since September 28, 2009. Implemented by Mathias John and our callaborator Stefan Rybacky from Rostock University.
- SpiCO: The Stochastic pi-Calculus for Concurrent Objects. Implementation in Mozart-Oz. Since 27th of August 2007.