Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Causalex


Causalex - Causality Graph Explorer
Date de dernière version : 22 septembre 2014

Responsable : PAULEVE Loïc


Les Graphes de Causalité Locale (GCL) sont une représentation compacte des changements d'états possibles au sein de réseaux d'automates. Ils sont notamment utilisés pour étudier l'activation de composants au sein de très grands réseaux biologiques.

Causalex est une interface graphique pour la visualisation, la navigation et la manipulation des GCL. Une interface javascript permet de saisir des scripts pour modifier le GCL et visualiser l'exécution des algorithmes (coloration des nœuds au cours du calcul ou exécution pas à pas).
Une bibliothèque de fonctions javascript implémentant des algorithmes récemment développés sur les GCL est également proposée (semi-décision de propriétés d'accessibilité, calcul d'ensembles de coupes, etc.).



Logiciel



Activités de recherche
  Biologie des systèmes

Membres
  SOUPLET Jean-Christophe
  PAULEVE Loïc
  HIRWA Fabienne

Equipe
  
  Bioinformatique
  Développement logiciel

Logiciels et brevets
BOLDR
Query Intermediate Representation Library

CARNAVAL
Database of RNA Recurrent Interaction Networks

PINT
Static analyzer for dynamics of Automata Networks