Concepedia

Nathalie Bertrand

NB

35

Publications

1.3K

Citations

20

H-Index

2003

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Centre Inria de l'Université de Rennes

Institut national de recherche en sciences et technologies du numérique

École Normale Supérieure Paris-Saclay

Institut de Recherche en Informatique et Systèmes Aléatoires

Nathalie Bertrand is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsVerificationAutomated ReasoningFormal VerificationProbabilitySystems EngineeringComputational ComplexityChemical Engineering

Publications per year

2003–2022

35

Publications

35

Iron Oxidation at Low Temperature (260–500 °C) in Air and the Effect of Water Vapor

Nathalie Bertrand, Clara Desgranges, Dominique Poquillon et al. · Oxidation of Metals · 2009 · 128 citations

Advanced Oxidation Process, Environmental Chemistry, Chemical Engineering +8

Identifying and locating-dominating codes on chains and cycles

Nathalie Bertrand, Irène Charon, Olivier Hudry et al. · European Journal of Combinatorics · 2004 · 108 citations

Engineering, Graph Theory, Locating-dominating Codes +4

Spatial Global Sensitivity Analysis of High Resolution classified topographic data use in 2D urban flood modelling

Morgan Abily, Nathalie Bertrand, Olivier Delestre et al. · Environmental Modelling & Software · 2015 · 102 citations · Full text

Flash Flood, High Resolution, Engineering +11

Probabilistic ω-automata

Christel Baier, Nathalie Bertrand · Journal of the ACM · 2012 · 100 citations

Logical Automaton, Engineering, Probabilistic ω-Automata +10

CVD and CVI of pyrocarbon from various precursors

Gérard L. Vignoles, F. Langlais, Cédric Descamps et al. · Surface and Coatings Technology · 2004 · 94 citations · Full text

Organic Geochemistry, Chemical Engineering, Engineering +6

Rows per page

1–5 of 35