Nathalie Bertrand - Concepedia

Author

Nathalie Bertrand

Centre National de la Recherche Scientifique ORCID

Also Known As

Aiswarya, C., BERTRAND, Nathalie, Bertrand, N, Bertrand, N., Bertrand, Nathalie, Bortolussi, Luca, N Bertrand, N. Bertrand, NATHALIE BERTRAND, Nathalie Bertrand

287

Publications

2.3K

Citations

H-Index

Concepts

All Affiliations

Centre National de la Recherche Scientifique 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

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	25	1K
2	Business	3	3	72
3	Management	1	1	22
4	Natural Sciences	1	1	12
5	Public Health	1	1	25

Nathalie Bertrand

Publications

1.3K

Citations

H-Index

Page 1

	Year	Citations
Iron Oxidation at Low Temperature (260–500 °C) in Air and the Effect of Water Vapor Nathalie Bertrand, Clara Desgranges, Dominique Poquillon, Oxidation of Metals Advanced Oxidation ProcessEnvironmental ChemistryChemical EngineeringEngineeringOxidation Resistance	2009	128
Identifying and locating-dominating codes on chains and cycles Nathalie Bertrand, Irène Charon, Olivier Hudry, European Journal of Combinatorics EngineeringGraph TheoryLocating-dominating CodesComputational ComplexityComputer Science	2004	108
Spatial Global Sensitivity Analysis of High Resolution classified topographic data use in 2D urban flood modelling Morgan Abily, Nathalie Bertrand, Olivier Delestre, Environmental Modelling & Software Flash FloodHigh ResolutionEngineeringHydrological DisasterGeomorphology	2015	102
Probabilistic ω-automata Christel Baier, Nathalie Bertrand Journal of the ACM Logical AutomatonEngineeringProbabilistic ω-AutomataAutomated ReasoningProbabilistic Verification	2012	100
CVD and CVI of pyrocarbon from various precursors Gérard L. Vignoles, F. Langlais, Cédric Descamps, Surface and Coatings Technology Organic GeochemistryChemical EngineeringEngineeringAnalytical PyrolysisOrganic Chemistry	2004	94
A theoretical/experimental approach to the intrinsic oxidation reactivities of C/C composites and of their components Jean Lachaud, Nathalie Bertrand, Gérard L. Vignoles, Carbon Materials ScienceChemical EngineeringTheoretical/experimental ApproachEngineeringCorrosion	2007	74
Stochastic Timed Automata Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Logical Methods in Computer Science	2014	51
Verification of probabilistic systems with faulty communication Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Rabinovich, Information and Computation EngineeringAutomated ReasoningProbabilistic SystemProbabilistic VerificationVerification	2005	45
Qualitative Determinacy and Decidability of Stochastic Games with Signals Nathalie Bertrand, Blaise Genest, Hugo Gimbert EngineeringPerson ZeroStochastic GameGame TheoryBusiness	2009	45
Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata Christel Baier, Nathalie Bertrand, Patricia Bouyer, Logical AutomatonEngineeringReachability ProblemAutomated ReasoningUnlikely Sequences	2008	41

Page 1