| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Model checking to assess T-helper cell plasticity
Wassim Abou-Jaoudé
1, 2
Pedro T. Monteiro
3
Aurélien Naldi
4
Maximilien Grandclaudon
5
Vassili Soumelis
5
Claudine Chaouiya
6
Denis Thieffry
2
1
ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt
Wassim Abou-Jaoudé 1, 2
Author
Pedro T. Monteiro 3
Author
Aurélien Naldi 4
Author IdHAL : aurelien-naldi ResearcherId : http://www.researcherid.com/rid/B-5401-2008 ORCID : https://orcid.org/0000-0002-6495-2655
Maximilien Grandclaudon 5
Author
Vassili Soumelis 5
Author
Claudine Chaouiya 6
Author IdHAL : claudine-chaouiya
Denis Thieffry 2
Author
1
ANTIQUE - Analyse Statique par Interprétation Abstraite (France)
- DI-ENS - Département d'informatique de l'École normale supérieure (École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05 - France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
- PSL - Université Paris sciences et lettres (60 rue Mazarine 75006 Paris - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8548 (France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
- Inria Paris-Rocquencourt (INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
2
IBENS - Institut de biologie de l'ENS Paris (UMR 8197/1024) (46, Rue d’Ulm
75005 Paris - France)
- Département de Biologie - ENS Paris (Département de Biologie
ENS Ulm
46 rue d 'Ulm
75005 Paris - France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
- PSL - Université Paris sciences et lettres (60 rue Mazarine 75006 Paris - France)
- INSERM - Institut National de la Santé et de la Recherche Médicale (101, rue de Tolbiac, 75013 Paris - France)
- CNRS - Centre National de la Recherche Scientifique (France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
- INSERM - Institut National de la Santé et de la Recherche Médicale : U1024 (101, rue de Tolbiac, 75013 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8197 (France)
3
INESC-ID - Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (Rua Alves Redol 9 - Apartado 13069 - 1000-029 Lisboa - Portugal)
- IST - Instituto Superior Técnico, Universidade Técnica de Lisboa (Av. Rovisco Pais, 1 1049-001 Lisboa - Portugal)
- INESC - Instituto de Engenharia de Sistemas e Computadores (Rua Alves Redol, n. 9 1000-029 Lisboa - Portugal)
4
Centre intégratif de génomique (Génopode - CH-1015 Lausanne - Switzerland)
- UNIL - Université de Lausanne (CH-1015 Lausanne - Switzerland)
5
Laboratoire d'Immunologie Clinique (France)
- Institut Curie [Paris] ( 26 rue d'Ulm - 75248 Paris - France)
6
IGC - Instituto Gulbenkian de Ciência [Oeiras] (Apartado 14 P-2781-901 Oeiras - Portugal)
- Fundação Calouste Gulbenkian (Portugal)
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-01099490
Contributor : Jérôme Feret <>
Submitted on : Sunday, January 4, 2015 - 9:55:36 AM
Last modification on : Thursday, January 7, 2021 - 3:10:02 PM
Contributor : Jérôme Feret <>
Submitted on : Sunday, January 4, 2015 - 9:55:36 AM
Last modification on : Thursday, January 7, 2021 - 3:10:02 PM
Links full text
Identifiers
- HAL Id : hal-01099490, version 1
- DOI : 10.3389/fbioe.2014.00086
Citation
Wassim Abou-Jaoudé, Pedro T. Monteiro, Aurélien Naldi, Maximilien Grandclaudon, Vassili Soumelis, et al.. Model checking to assess T-helper cell plasticity. Frontiers in Bioengineering and Biotechnology, Frontiers, 2014, Computational methods for understanding complexity: the use of formal methods in biology, pp.22. ⟨10.3389/fbioe.2014.00086⟩. ⟨hal-01099490⟩
Metrics
Record views