inria-00461084, version 1
Modelling molecular networks: relationships between different formalisms and levels of details
Sylvain Soliman
1Claudine Chaouiya 2Grégory Batt
1Francois Fages
1Élisabeth Remy 3Franck Pommereau 4Laurence Calzone 5
N° RR-7221 (2010)
Résumé : This document is the deliverable 1.3 of French ANR CALAMAR. It presents a study of different formalisms used for modelling and analyzing large molecular regulation networks, their formal links, in terms of mutual encodings and of abstractions, and the corresponding levels of detail captured.
- 1 : CONTRAINTES (INRIA Rocquencourt)
- INRIA
- 2 : Technologie avancée pour le génome et la clinique
- INSERM : U928 – Université de la Méditerranée - Aix-Marseille II
- 3 : Institut de Mathématiques de Luminy (IML)
- CNRS : UPR9016
- 4 : Laboratoire d'Algorithmique Complexité et Logique (LACL)
- CNRS : FRE2673 – Université Paris XII - Paris Est Créteil Val-de-Marne
- 5 : Cancer et génôme: Bioinformatique, biostatistiques et épidémiologie d'un système complexe
- INSERM : U900 – Institut Curie – Mines ParisTech
- Domaine : Informatique/Langage de programmation
- Mots-clés : regulation networks – expressivity – abstraction – formalisms – modelling
- Référence interne : RR-7221
- inria-00461084, version 1
- http://hal.inria.fr/inria-00461084
- oai:hal.inria.fr:inria-00461084
- Contributeur : Sylvain Soliman
- Soumis le : Mercredi 3 Mars 2010, 12:00:14
- Dernière modification le : Jeudi 20 Janvier 2011, 15:51:56






Documents associés
Exporter