Ce projet permet de visualiser des données de recherche sous forme de graphes interactifs. Il permet également de rechercher des données spécifiques grâce à un moteur de recherche par mot-clé.

Outil logiciel dédié à la vérification formelle de systèmes concurrents via la construction de graphes d'observation symboliques. Il permet d'analyser des modèles complexes en exploitant des techniques de parallélisation pour améliorer l'efficacité et réduire les temps de calcul. Utilisé dans le cadre de la recherche académique en informatique théorique, notamment pour l'étude des systèmes distribués et des protocoles de communication.

SpecOMS est un moteur de recherche en modification ouverte dédié à l'analyse de données de protéomique. Il permet d'identifier des modifications inconnues sur des peptides en comparant des spectres expérimentaux à des spectres théoriques issus d'une base de données protéique. L'outil réduit significativement le nombre de correspondances non résolues et offre une interface graphique pour explorer et visualiser les peptides identifiés.