Softwares

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