Search - Archive ouverte HAL Access content directly

Filter your results

17 Results

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

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 of General Virology, 2008, 89 (Pt 1), pp.212-21. ⟨10.1099/vir.0.83067-0⟩
Journal articles hal-00319131v1

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
Image document

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.
Flora, 2021, 283, pp.151902. ⟨10.1016/j.flora.2021.151902⟩
Journal articles hal-03453761v1
Image document

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
Image document

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
Image document

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

Fire risk ignition: the integrated model AIOLI

Marielle Jappiot , Corinne Lampin , Thomas Curt , Laurent Borgniet , Olivier Chandioux et al.
5. International Conference on Forest fire research, Nov 2006, Coimbra, Portugal. ⟨10.1016/j.foreco.2006.08.063⟩
Conference papers istex hal-02816217v1

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

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
Image document

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.
Folia Geobotanica, 2011, 46 (4), pp.327 - 350. ⟨10.1007/s12224-011-9101-1⟩
Journal articles hal-01791891v1
Image document

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.
Landscape Ecology, 2016, 31 (8), pp.1747--1761. ⟨10.1007/s10980-016-0359-9⟩
Journal articles hal-01444650v1
Image document

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.
BMC Bioinformatics, 2009, 10 (1), pp.450. ⟨10.1186/1471-2105-10-450⟩
Journal articles hal-00784446v1

Hijacking hepatitis C viral replication with a non-coding replicative RNA.

Juliette Bitard , Gaëlle Chognard , Estelle Dumas , Julie Rumi , Cyril Masante et al.
Antiviral Research, 2010, 87 (1), pp.9-15. ⟨10.1016/j.antiviral.2010.04.003⟩
Journal articles hal-00522680v1

Fire risk ignition: the integrated model AIOLI

Marielle Jappiot , Corinne Lampin , Thomas Curt , Laurent Borgniet , Olivier Chandioux et al.
Forest Ecology and Management, 2006, 234, pp.S42. ⟨10.1016/j.foreco.2006.08.063⟩
Journal articles istex hal-02656524v1

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
Image document

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