Research group at the Department of Mathematics, Computer Science and Physics
University of Udine
Our Research Group is focused on the definition of models and query languages for the representation and study of biological systems.
We are involved in the development of algorithms for assembling and analyzing new generation sequencing data.
The group has investigated on the problem of predicting the tertiary structure of proteins using logic programming techniques.
This is a list of software developed at the laboratory:
.js-id-Genome-sequences-processingA 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.