CIMICE-R: A Bioconductor package implementing a (Markov) Chain Method to Infer Cancer Evolution. Also available as Java APP.
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.
A library for Reachability Computation and Parameter Synthesis of Polynomial Systems. Also available as a Web APP.
WGA-LP: a pipeline for whole genome assembly of contaminated reads.