Jean-Paul Comet

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 17

Top Topics

Gene Regulatory

Top Venues

Theor. Comput. Sci.

Publications

Jean-Paul Comet, Hélène Collavizza, Laetitia Gibart
Constrained Kripke structure for identifying parameters of biological models. Theor. Comput. Sci. 996 (2024)
Romain Michelucci, Vincent Callegari, Jean-Paul Comet, Denis Pallez
Cellular Genetic Algorithms for Identifying Variables in Hybrid Gene Regulatory Networks. EvoApplications@EvoStar (2024)
Honglu Sun, Jean-Paul Comet, Maxime Folschette, Morgan Magnin
Condition for Sustained Oscillations in Repressilator Based on a Hybrid Modeling of Gene Regulatory Networks. BIOINFORMATICS (2023)
Romain Michelucci, Jean-Paul Comet, Denis Pallez
Evolutionary Continuous Optimization of Hybrid Gene Regulatory Networks. EA (2022)
Laetitia Gibart, Hélène Collavizza, Jean-Paul Comet
Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach. CMSB (2021)
Laetitia Gibart, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet
TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism. BIOINFORMATICS (2021)
Déborah Boyenval, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet
What is a Cell Cycle Checkpoint? The TotemBioNet Answer. CMSB (2020)
Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux
A genetically modified Hoare logic. Theor. Comput. Sci. 765 (2019)
Ingrid Grenet, Kevin Merlo, Jean-Paul Comet, Romain Tertiaux, David Rouquié, Frédéric Dayan
Stacked Generalization with Applicability Domain Outperforms Simple QSAR on in Vitro Toxicological Data. J. Chem. Inf. Model. 59 (4) (2019)
Ingrid Grenet, Yonghua Yin, Jean-Paul Comet
G-Networks to Predict the Outcome of Sensing of Toxicity. Sensors 18 (10) (2018)
Jonathan Behaegel, Jean-Paul Comet, Marie Pelleau
Identification of Dynamic Parameters for Gene Networks. ICTAI (2018)
Ingrid Grenet, Yonghua Yin, Jean-Paul Comet, Erol Gelenbe
Machine Learning to Predict Toxicity of Compounds. ICANN (1) (2018)
Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette
Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks. TIME (2017)
Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney
Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes. CMSB (2017)
Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney
A Qualitative Framework Dedicated to Toxicology. BIOINFORMATICS (2017)
Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette
A Hybrid Hoare Logic for Gene Network Models. CoRR (2016)
Jonathan Behaegel, Jean-Paul Comet, Gilles Bernot, Emilien Cornillon, Franck Delaunay
A hybrid model of cell cycle in mammals. J. Bioinform. Comput. Biol. 14 (1) (2016)
Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux
A Genetically Modified Hoare Logic. CoRR (2015)
Gilles Bernot, Jean-Paul Comet, Olivier F. Roux
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network. CMSB (2015)
Jean-Paul Comet, Gilles Bernot, Aparna Das, Francine Diener, Camille Massot, Amélie Cessieux
Simplified Models for the Mammalian Circadian Clock. CSBio (2012)
Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard
Embedding of Biological Regulatory Networks and Property Preservation. Math. Comput. Sci. 5 (3) (2011)
Jean-Paul Comet, Jonathan Fromentin, Gilles Bernot, Olivier F. Roux
A Formal Model for Gene Regulatory Networks with Time Delays. CSBio (2010)
Sylvie Troncale, Jean-Paul Comet, Gilles Bernot
Enzymatic competition: Modeling and verification with timed hybrid petri nets. Pattern Recognit. 42 (4) (2009)
Gilles Bernot, Jean-Paul Comet
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks. CIBB (2009)
Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall
Graph Transformation for Topology Modelling. ICGT (2008)
Jamil Ahmad, Olivier F. Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard
Analysing formal models of genetic regulatory networks with delays. Int. J. Bioinform. Res. Appl. 4 (3) (2008)
Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall
Property Preservation along Embedding of Biological Regulatory Networks. AB (2008)
Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall, Philippe Meseure, François Képès
Topology-based abstraction of complex biological systems: application to the Golgi apparatus. Theory Biosci. 127 (2) (2008)
Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux
Semantics of Biological Regulatory Networks. Electron. Notes Theor. Comput. Sci. 180 (3) (2007)
Daniel Mateus, Jean-Paul Comet, Jean-Pierre Gallois, Pascale Le Gall
Modelling genetic regulatory networks from specified behaviours. BMC Syst. Biol. 1 (S-1) (2007)
Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure
Topology-based Geometric Modelling for Biological Cellular Processes. LATA (2007)
Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall
Symbolic Modeling of Genetic Regulatory Networks. J. Bioinform. Comput. Biol. 5 (2b) (2007)
Adrien Richard, Jean-Paul Comet
Necessary conditions for multistationarity in discrete dynamical systems. Discret. Appl. Math. 155 (18) (2007)
Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux
Delays in Biological Regulatory Networks (BRN). International Conference on Computational Science (2) (2006)
Didier Filopon, Annabelle Mérieau, Gilles Bernot, Jean-Paul Comet, Rozenne LeBerre, Benoit Guery, Benoit Polack, Janine Guespin-Michel
. BMC Bioinform. 7 (2006)
Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. ICATPN (2005)
Adrien Richard, Jean-Paul Comet, Gilles Bernot
R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics. Fundam. Informaticae 65 (4) (2005)
Adrien Richard, Jean-Paul Comet, Gilles Bernot
Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States. CMSB (2004)
Jean-Paul Comet
Application of Max-Plus algebra to biological sequence comparisons. Theor. Comput. Sci. 293 (1) (2003)
Sabine Peres, Jean-Paul Comet
Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa. CMSB (2003)
Jean-Paul Comet, Jacques Henry
Pairwise Sequence Alignment using a PROSITE Pattern-derived Similarity Score. Comput. Chem. 26 (5) (2002)
Jean-Noël Bacro, Jean-Paul Comet
Sequence Alignment: An Approximation Law for the Z-value with Applications to Databank Scanning. Comput. Chem. 25 (4) (2001)
Jean-Paul Comet, Jean-Christophe Aude, Eric Glémet, Jean-Loup Risler, Alain Hénaut, Piotr P. Slonimski, Jean-Jacques Codani
Significance of Z-value Statistics of Smith-Waterman Scores for Protein Alignments. Comput. Chem. 23 (3-4) (1999)