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
  Equipe technique

Logiciels et brevets
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAGE-COMBINAT
Améliorer les fonctionnalités combinatoires de Sage

PINT
Static analyzer for dynamics of Automata Networks