Gilles Bernot
Author
Alternate names Gilles Bernot, G. Bernot
Institution Université Côte d'Azur
Past institutions Université Côte d'Azur, Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis, Infection et inflammation, Centre National de la Recherche Scientifique, Observatoire de la Côte d’Azur +5 more
H-index: 17
I10-index: 31
Works count: 110
Citations count: 2,022
Evaluation of time profile reconstruction from complex two-color microarray designs
2008 · Ana Carolina Fierro, Raphaël Thuret, et al. · BMC Bioinformatics
Software testing based on formal specifications: a theory and a tool
1991 · Gilles Bernot, Marie Claude Gaudel, et al. · Software Engineering Journal
Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic
2004 · Gilles Bernot, Jean‐Paul Comet, et al. · Journal of Theoretical Biology