Gilles Bernot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1986–2019
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICPRAM | Modeling of Goal-oriented Human Motion Evolution using Hidden Markov Models. | Eman Ahmed, Reda A. El-Khoribi, Alexandre Muzy, Gilles Bernot, Gamal Darwish |
| 2006 | ICCS | Delays in Biological Regulatory Networks (BRN). | Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux |
| 2003 | RSP | Marked Regulatory Graphs: A Formal Framework to Simulate Biological Regulatory Networks with Simple Automata. | Vincent Bassano, Gilles Bernot |
| 1997 | ICSE | A Theory of Probabilistic Functional Testing. | Gilles Bernot, Laurent Bouaziz, Pascale Le Gall |
| 1992 | ESOP | Towards an Adequate Notion of Observation. | Gilles Bernot, Michel Bidoit, Teodor Knapik |
| 1991 | COMPASS | Label Algebras: A Systematic Use of Terms. | Gilles Bernot, Pascale Le Gall |
| 1986 | ESOP | Algebraic Semantics of Exception Handling. | Gilles Bernot, Michel Bidoit, Christine Choppy |
| 1986 | STACS | Abstract Implementations and Correctness Proofs. | Gilles Bernot, Michel Bidoit, Christine Choppy |