Computation Tree Regular Logic for genetic regulatory networks
Radu Mateescu
,
Pedro Tiago Monteiro
,
Estelle Dumas
,
Hidde de Jong
S. Cha and J.-Y. Choi and M. Kim and I. Lee and M. Viswanathan.
Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08) , 5311, Springer-Verlag, pp.48-63, 2008, Lecture Notes in Computer Science,
⟨10.1007/978-3-540-88387-6_6⟩
Book sections
hal-01178207v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Seven nucleotide changes characteristic of the hepatitis C virus genotype 3 5' untranslated region: correlation with reduced in vitro replication.
Cyril Masante
,
Kathleen Mahias
,
Sofia Lourenço
,
Estelle Dumas
,
Annie Cahour
et al.
Journal articles
hal-00319131v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards the ecological restoration of the remarkable coastline of the Calanques National Park (Marseille, France): Combining stabilization of contaminated soils with Astragalus tragacantha L. conservation
Alma Heckenroth
,
Lidwine Le Mire Pecheux
,
Isabelle Laffont-Schwob
,
Pascale Prudent
,
Teddy Baumberger
et al.
IUCN congress 2020 , 2021, Marseille, France
Conference papers
hal-03586186v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Is a restricted niche the explanation for species vulnerability? Insights from a large field survey of Astragalus tragacantha L. (Fabaceae)
Teddy Baumberger
,
Alex Baumel
,
Pierre-Jean Dumas
,
Julien Ugo
,
Laureen Keller
et al.
Journal articles
hal-03453761v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
CTRL: Extension of CTL with Regular Expressions and Fairness Operators to Verify Genetic Regulatory Networks
Radu Mateescu
,
Pedro T. Monteiro
,
Estelle Dumas
,
Hidde De Jong
Theoretical Computer Science , 2011, Foundations of Formal Reconstruction of Biochemical Networks, 412 (26), pp.2854-2883.
⟨10.1016/j.tcs.2010.05.009⟩
Journal articles
inria-00610831v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computation Tree Regular Logic for Genetic Regulatory Networks
Radu Mateescu
,
Pedro Monteiro
,
Estelle Dumas
,
Hidde de Jong
[Research Report] RR-6521, INRIA. 2008, pp.53
Reports
inria-00277995v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Les indices d'écologie du paysage à l'épreuve du marché foncier
Estelle Dumas
,
Ghislain Geniaux
,
Claude Napoleone
1. Rencontres du logement , Oct 2006, Marseille, France. 19 p
Conference papers
hal-02822986v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fire risk ignition: the integrated model AIOLI
Marielle Jappiot
,
Corinne Lampin
,
Thomas Curt
,
Laurent Borgniet
,
Olivier Chandioux
et al.
Conference papers
istex
hal-02816217v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Genetic Network Analyzer: A Tool for the Qualitative Modeling and Simulation of Bacterial Regulatory Networks
Grégory Batt
,
Bruno Besson
,
Pierre-Emmanuel Ciron
,
Hidde de Jong
,
Estelle Dumas
et al.
Jacques van Helden, Ariane Toussaint, Denis Thieffry.
Bacterial Molecular Networks Methods and Protocols , 804, Springer, pp.439-462, 2012, Methods in Molecular Biology,, 978-1-61779-361-5.
⟨10.1007/978-1-61779-361-5_22⟩
Book sections
hal-00762122v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Les indices d'écologie du paysage à l'épreuve du marché foncier
Estelle Dumas
,
Ghislain Geniaux
,
Claude Napoleone
Revue d'économie régionale et urbaine , 2005, 1, pp.83-108
Journal articles
hal-02670239v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Factors Underlying the Narrow Distribution of the Mediterranean Annual Plant Arenaria provincialis (Caryophyllaceae)
Sami Youssef
,
Alex Baumel
,
Errol Véla
,
Marianick Juin
,
Estelle Dumas
et al.
Journal articles
hal-01791891v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
How do field margins contribute to the functional connectivity of insect-pollinated plants?
Clemence Guiller
,
Laurence Affre
,
Cécile H. Albert
,
Thierry Tatoni
,
Estelle Dumas
et al.
Journal articles
hal-01444650v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks
Pedro Monteiro
,
Estelle Dumas
,
Bruno Besson
,
Radu Mateescu
,
Michel Page
et al.
Journal articles
hal-00784446v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Hijacking hepatitis C viral replication with a non-coding replicative RNA.
Juliette Bitard
,
Gaëlle Chognard
,
Estelle Dumas
,
Julie Rumi
,
Cyril Masante
et al.
Journal articles
hal-00522680v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fire risk ignition: the integrated model AIOLI
Marielle Jappiot
,
Corinne Lampin
,
Thomas Curt
,
Laurent Borgniet
,
Olivier Chandioux
et al.
Journal articles
istex
hal-02656524v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Identification qualitative des espaces disponibles pour l'urbanisation nouvelle. Rapport final
Estelle Dumas
,
Claude Napoleone
,
Ghislain Geniaux
,
Christine Bartoli
,
Pierrick Cezame-Bert
et al.
[0] 2005
Reports
hal-02826168v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Floristic patterns and mediterranean exurban landscapes: relative importance of economic geography and landscape structure in functional diversity
Estelle Dumas
,
Claude Napoleone
,
Ghislain Geniaux
,
Thierry Tatoni
7.IALE World Congress , Jul 2007, Wageningen, Netherlands
Conference papers
hal-02752671v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More