Significance of Z-value Statistics of Smith-Waterman Scores for Protein Alignments. - Jean-Paul Comet; Jean-Christophe Aude; Eric Glémet; Jean-Loup Risler; Alain Hénaut; Piotr P. Slonimski; Jean-Jacques Codani (Comput. Chem., 1999)

Sequence Alignment: An Approximation Law for the Z-value with Applications to Databank Scanning. - Jean-Noël Bacro; Jean-Paul Comet (Comput. Chem., 2001)

Pairwise Sequence Alignment using a PROSITE Pattern-derived Similarity Score. - Jean-Paul Comet; Jacques Henry (Comput. Chem., 2002)

Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa. - Sabine Pérès; Jean-Paul Comet (CMSB, 2003)

Semantics of Biological Regulatory Networks. - Gilles Bernot; Franck Cassez; Jean-Paul Comet; Franck Delaplace; Céline Müller; Olivier F. Roux (BioConcur@CONCUR, 2003)

Application of Max-Plus algebra to biological sequence comparisons. - Jean-Paul Comet (Theor. Comput. Sci., 2003)

Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States. - Adrien Richard; Jean-Paul Comet; Gilles Bernot (CMSB, 2004)

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. - Jean-Paul Comet; Hanna Klaudel; Stéphane Liauzu (ICATPN, 2005)

R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics. - Adrien Richard; Jean-Paul Comet; Gilles Bernot (Fundam. Informaticae, 2005)

Delays in Biological Regulatory Networks (BRN). - Jamil Ahmad; Adrien Richard; Gilles Bernot; Jean-Paul Comet; Olivier F. Roux (International Conference on Computational Science (2), 2006)

Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa. - Didier Filopon; Annabelle Mérieau; Gilles Bernot; Jean-Paul Comet; Rozenne LeBerre; Benoit Guery; Benoit Polack; Janine Guespin-Michel (BMC Bioinform., 2006)

Topology-based Geometric Modelling for Biological Cellular Processes. - Mathieu Poudret; Jean-Paul Comet; Pascale Le Gall; Agnès Arnould; Philippe Meseure (LATA, 2007)

Modelling genetic regulatory networks from specified behaviours. - Daniel Mateus; Jean-Paul Comet; Jean-Pierre Gallois; Pascale Le Gall (BMC Syst. Biol., 2007)

Necessary conditions for multistationarity in discrete dynamical systems. - Adrien Richard; Jean-Paul Comet (Discret. Appl. Math., 2007)

Symbolic Modeling of Genetic Regulatory Networks. - Daniel Mateus; Jean-Pierre Gallois; Jean-Paul Comet; Pascale Le Gall (J. Bioinform. Comput. Biol., 2007)

Property Preservation along Embedding of Biological Regulatory Networks. - Mbarka Mabrouki; Marc Aiguier; Jean-Paul Comet; Pascale Le Gall (AB, 2008)

Graph Transformation for Topology Modelling. - Mathieu Poudret; Agnès Arnould; Jean-Paul Comet; Pascale Le Gall (ICGT, 2008)

Analysing formal models of genetic regulatory networks with delays. - Jamil Ahmad; Olivier F. Roux; Gilles Bernot; Jean-Paul Comet; Adrien Richard (Int. J. Bioinform. Res. Appl., 2008)

Topology-based abstraction of complex biological systems: application to the Golgi apparatus. - Mathieu Poudret; Agnès Arnould; Jean-Paul Comet; Pascale Le Gall; Philippe Meseure; François Képès (Theory Biosci., 2008)

On the Use of Temporal Formal Logic to Model Gene Regulatory Networks. - Gilles Bernot; Jean-Paul Comet (CIBB, 2009)

Enzymatic competition: Modeling and verification with timed hybrid petri nets. - Sylvie Troncale; Jean-Paul Comet; Gilles Bernot (Pattern Recognit., 2009)

A Formal Model for Gene Regulatory Networks with Time Delays. - Jean-Paul Comet; Jonathan Fromentin; Gilles Bernot; Olivier F. Roux (CSBio, 2010)

Embedding of Biological Regulatory Networks and Property Preservation. - Mbarka Mabrouki; Marc Aiguier; Jean-Paul Comet; Pascale Le Gall; Adrien Richard (Math. Comput. Sci., 2011)

Simplified Models for the Mammalian Circadian Clock. - Jean-Paul Comet; Gilles Bernot; Aparna Das; Francine Diener; Camille Massot; Amélie Cessieux (CSBio, 2012)

A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network. - Gilles Bernot; Jean-Paul Comet; Olivier F. Roux (CMSB, 2015)

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)

A Qualitative Framework Dedicated to Toxicology. - Benjamin Miraglio; Gilles Bernot; Jean-Paul Comet; Christine Risso-de Faverney (BIOINFORMATICS, 2017)

Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes. - Benjamin Miraglio; Gilles Bernot; Jean-Paul Comet; Christine Risso-de Faverney (CMSB, 2017)

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

Machine Learning to Predict Toxicity of Compounds. - Ingrid Grenet; Yonghua Yin; Jean-Paul Comet; Erol Gelenbe (ICANN (1), 2018)

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

G-Networks to Predict the Outcome of Sensing of Toxicity. - Ingrid Grenet; Yonghua Yin; Jean-Paul Comet (Sensors, 2018)

Stacked Generalization with Applicability Domain Outperforms Simple QSAR on in Vitro Toxicological Data. - Ingrid Grenet; Kevin Merlo; Jean-Paul Comet; Romain Tertiaux; David Rouquié; Frédéric Dayan (J. Chem. Inf. Model., 2019)

A genetically modified Hoare logic. - Gilles Bernot; Jean-Paul Comet; Zohra Khalis; Adrien Richard; Olivier F. Roux (Theor. Comput. Sci., 2019)

What is a Cell Cycle Checkpoint? The TotemBioNet Answer. - Déborah Boyenval; Gilles Bernot; Hélène Collavizza; Jean-Paul Comet (CMSB, 2020)

TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism. - Laetitia Gibart; Gilles Bernot; Hélène Collavizza; Jean-Paul Comet (BIOINFORMATICS, 2021)

Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach. - Laetitia Gibart; Hélène Collavizza; Jean-Paul Comet (CMSB, 2021)

Evolutionary Continuous Optimization of Hybrid Gene Regulatory Networks. - Romain Michelucci; Jean-Paul Comet; Denis Pallez (EA, 2022)

Condition for Sustained Oscillations in Repressilator Based on a Hybrid Modeling of Gene Regulatory Networks. - Honglu Sun; Jean-Paul Comet; Maxime Folschette; Morgan Magnin (BIOINFORMATICS, 2023)

Cellular Genetic Algorithms for Identifying Variables in Hybrid Gene Regulatory Networks. - Romain Michelucci; Vincent Callegari; Jean-Paul Comet; Denis Pallez (EvoApplications@EvoStar, 2024)

Comparing Diverse Planning Strategies with Continuous Monte Carlo Tree Search Applied to Hybrid Gene Regulatory Networks. - Romain Michelucci; Jean-Paul Comet; Denis Pallez (ICTAI, 2024)

Improving Continuous Monte Carlo Tree Search for Identifying Parameters in Hybrid Gene Regulatory Networks. - Romain Michelucci; Denis Pallez; Tristan Cazenave; Jean-Paul Comet (PPSN (4), 2024)

Constrained Kripke structure for identifying parameters of biological models. - Jean-Paul Comet; Hélène Collavizza; Laetitia Gibart (Theor. Comput. Sci., 2024)