Software & Apps

Cimice

CIMICE-R: (Markov) Chain Method to Infer Cancer Evolution

COLA

A COnstraint solver on LAttices.

DYNAMIC

A succint and compressed dynamic data structures library.

ERNE

Extended Randomized Numerical alignEr.

FIASCO

Fragment-based Interactive Assembly for protein Structure prediction with COnstraints.

GAM-NGS

Genome Assemblies Merger for Next Generation Sequencing.

ProPesca

A simple Java application for the analysis and identification of gene expression networks.

pyHybridAnalysis

A Python Package for the epsilon-Semantics Analysis of Hybrid Systems.

Sapo

Reachability Computation and Parameter Synthesis for Polynomial Systems.