CIMICE-R: (Markov) Chain Method to Infer Cancer Evolution
A COnstraint solver on LAttices.
A succint and compressed dynamic data structures library.
Extended Randomized Numerical alignEr.
Fragment-based Interactive Assembly for protein Structure prediction with COnstraints.
Genome Assemblies Merger for Next Generation Sequencing.
A simple Java application for the analysis and identification of gene expression networks.
A Python Package for the epsilon-Semantics Analysis of Hybrid Systems.
Reachability Computation and Parameter Synthesis for Polynomial Systems.