Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Filters

Jean-Paul Comet

Showing results (1-10 of 17) with videos related to

Pageof 2
Sort By:
Journal of Mathematical Biology|December 2, 2010
Stable periodicity and negative circuits in differential systemsAdrien Richard, Jean-Paul Comet
Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference|November 16, 2007
Validation of biological models with temporal logic and Timed Hybrid Petri NetsSylvie Troncale, Jean-Paul Comet, Gilles Bernot
Sensors (Basel, Switzerland)|October 19, 2018
G-Networks to Predict the Outcome of Sensing of ToxicityIngrid Grenet, Yonghua Yin, Jean-Paul Comet
Journal of Mathematical Biology|February 18, 2011
On the impact of the distance between two genes on their interaction curveSiamak Taati, Enrico Formenti, Jean-Paul Comet, et al.
Journal of Theoretical Biology|July 6, 2004
Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logicGilles Bernot, Jean-Paul Comet, Adrien Richard, et al.
Methods in Molecular Biology (Clifton, N.J.)|October 23, 2012
Regulatory networksGilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney
International Journal of Bioinformatics Research and Applications|July 22, 2008
Analysing formal models of genetic regulatory networks with delaysJamil Ahmad, Olivier Roux, Gilles Bernot, et al.
Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference|November 16, 2007
Analysing gene regulatory networks by both constraint programming and model-checkingJonathan Fromentin, Jean-Paul Comet, Pascale Le Gall, et al.
Journal of Bioinformatics and Computational Biology|July 20, 2007
Symbolic modeling of genetic regulatory networksDaniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, et al.
Journal of Bioinformatics and Computational Biology|December 29, 2015
A hybrid model of cell cycle in mammalsJonathan Behaegel, Jean-Paul Comet, Gilles Bernot, et al.
Pageof 2

Showing results (1-10 of 17) with videos related to

Sort By:
Pageof 2
Journal of Mathematical Biology|December 2, 2010
Stable periodicity and negative circuits in differential systemsAdrien Richard, Jean-Paul Comet
Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference|November 16, 2007
Validation of biological models with temporal logic and Timed Hybrid Petri NetsSylvie Troncale, Jean-Paul Comet, Gilles Bernot
Sensors (Basel, Switzerland)|October 19, 2018
G-Networks to Predict the Outcome of Sensing of ToxicityIngrid Grenet, Yonghua Yin, Jean-Paul Comet
Journal of Mathematical Biology|February 18, 2011
On the impact of the distance between two genes on their interaction curveSiamak Taati, Enrico Formenti, Jean-Paul Comet, et al.
Journal of Theoretical Biology|July 6, 2004
Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logicGilles Bernot, Jean-Paul Comet, Adrien Richard, et al.
Methods in Molecular Biology (Clifton, N.J.)|October 23, 2012
Regulatory networksGilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney
International Journal of Bioinformatics Research and Applications|July 22, 2008
Analysing formal models of genetic regulatory networks with delaysJamil Ahmad, Olivier Roux, Gilles Bernot, et al.
Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference|November 16, 2007
Analysing gene regulatory networks by both constraint programming and model-checkingJonathan Fromentin, Jean-Paul Comet, Pascale Le Gall, et al.
Journal of Bioinformatics and Computational Biology|July 20, 2007
Symbolic modeling of genetic regulatory networksDaniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, et al.
Journal of Bioinformatics and Computational Biology|December 29, 2015
A hybrid model of cell cycle in mammalsJonathan Behaegel, Jean-Paul Comet, Gilles Bernot, et al.
Pageof 2