• Cellstar: Segmentation & tracking software for round cells identification in the brightfield microscopy images. See here.
  • Peptide : Optimization of reaction networks based on abstraction interpretation.


  • 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.