A Hybrid Hoare Logic for Gene Network Models. - Jonathan Behaegel; Jean-Paul Comet; Maxime Folschette (CoRR, 2016)

A hybrid model of cell cycle in mammals. - Jonathan Behaegel; Jean-Paul Comet; Gilles Bernot; Emilien Cornillon; Franck Delaunay (J. Bioinform. Comput. Biol., 2016)

Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks. - Jonathan Behaegel; Jean-Paul Comet; Maxime Folschette (TIME, 2017)

Identification of Dynamic Parameters for Gene Networks. - Jonathan Behaegel; Jean-Paul Comet; Marie Pelleau (ICTAI, 2018)

Modèles hybrides de réseaux de régulation: étude du couplage des cycles cellulaire et circadien. (Hybrid models of regulatory networks: a study of cellular and circadian cycles coupling). - Jonathan Behaegel (2018)