Concepedia

Gilles Bernot

GB

Statistics

Publications

22

Citations

1.7K

H-Index

15

Active since

1986

Affiliations

Centre National de la Recherche Scientifique(Current)

Université de Rouen Normandie

Genopole (France)

Université d'Évry Val-d'Essonne

Université Paris-Sud

Gilles Bernot is an author at Centre National de la Recherche Scientifique specializing in engineering, systems biology, and automated reasoning.

Top concepts

EngineeringSystems BiologyBiologyFormal MethodsComputer ScienceAutomated ReasoningNetwork AnalysisFormal VerificationComputational BiologyMedicine

Publications per year

1986–2015

22

Publications

22

Evaluation of time profile reconstruction from complex two-color microarray designs

Ana Carolina Fierro, Raphaël Thuret, Kristof Engelen et al. · BMC Bioinformatics · 2008 · 714 citations · Full text

Engineering, Multiomics, Expression Profile +18

Software testing based on formal specifications: a theory and a tool

Gilles Bernot, Marie Claude Gaudel, Bruno Marre · Software Engineering Journal · 1991 · 321 citations

Software Maintenance, Engineering, Verification +21

Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic

Gilles Bernot, Jean‐Paul Comet, Adrien Richard et al. · Journal of Theoretical Biology · 2004 · 248 citations

Applied Logic, Engineering, Automated Reasoning +8

Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays

Jamil Ahmad, Gilles Bernot, Jean‐Paul Comet et al. · Complexus · 2006 · 58 citations

Engineering, Genetics, Network Analysis +18

Semantics of Biological Regulatory Networks

Gilles Bernot, Franck Cassez, Jean‐Paul Comet et al. · Electronic Notes in Theoretical Computer Science · 2007 · 49 citations · Full text

Biology, Transition Systems, Network Science +15

1–5 of 22