Jean-Paul Comet

Orcid: 0000-0002-6681-3501

According to our database¹, Jean-Paul Comet authored at least 43 papers between 1999 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Constrained Kripke structure for identifying parameters of biological models.

[BibT_eX]

[DOI]

Jean-Paul Comet

Hélène Collavizza

Laetitia Gibart

Theor. Comput. Sci., 2024

Improving Continuous Monte Carlo Tree Search for Identifying Parameters in Hybrid Gene Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Parallel Problem Solving from Nature - PPSN XVIII, 2024

Cellular Genetic Algorithms for Identifying Variables in Hybrid Gene Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation - 27th European Conference, 2024

2023

Condition for Sustained Oscillations in Repressilator Based on a Hybrid Modeling of Gene Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023

2022

Evolutionary Continuous Optimization of Hybrid Gene Regulatory Networks.

[BibT_eX]

[DOI]

Romain Michelucci

Jean-Paul Comet

Denis Pallez

Proceedings of the Artificial Evolution, 2022

2021

Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach.

[BibT_eX]

[DOI]

Laetitia Gibart

Hélène Collavizza

Jean-Paul Comet

Proceedings of the Computational Methods in Systems Biology, 2021

TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism.

[BibT_eX]

[DOI]

Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021

2020

What is a Cell Cycle Checkpoint? The TotemBioNet Answer.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2020

2019

A genetically modified Hoare logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Stacked Generalization with Applicability Domain Outperforms Simple QSAR on in Vitro Toxicological Data.

[BibT_eX]

[DOI]

J. Chem. Inf. Model., 2019

2018

G-Networks to Predict the Outcome of Sensing of Toxicity.

[BibT_eX]

[DOI]

Ingrid Grenet

Yonghua Yin

Jean-Paul Comet

Sensors, 2018

Identification of Dynamic Parameters for Gene Networks.

[BibT_eX]

[DOI]

Jonathan Behaegel

Jean-Paul Comet

Marie Pelleau

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Machine Learning to Predict Toxicity of Compounds.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2018, 2018

2017

Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks.

[BibT_eX]

[DOI]

Jonathan Behaegel

Jean-Paul Comet

Maxime Folschette

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes.

[BibT_eX]

[DOI]

Benjamin Miraglio

Gilles Bernot

Jean-Paul Comet

Christine Risso-de Faverney

Proceedings of the Computational Methods in Systems Biology, 2017

A Qualitative Framework Dedicated to Toxicology.

[BibT_eX]

[DOI]

Benjamin Miraglio

Gilles Bernot

Jean-Paul Comet

Christine Risso-de Faverney

Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017

2016

A hybrid model of cell cycle in mammals.

[BibT_eX]

[DOI]

J. Bioinform. Comput. Biol., 2016

A Hybrid Hoare Logic for Gene Network Models.

[BibT_eX]

[DOI]

Jonathan Behaegel

Jean-Paul Comet

Maxime Folschette

CoRR, 2016

2015

A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network.

[BibT_eX]

[DOI]

Gilles Bernot

Jean-Paul Comet

Olivier F. Roux

Proceedings of the Computational Methods in Systems Biology, 2015

2012

Simplified Models for the Mammalian Circadian Clock.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Computational Systems-Biology and Bioinformatics, 2012

2011

Embedding of Biological Regulatory Networks and Property Preservation.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2011

2010

A Formal Model for Gene Regulatory Networks with Time Delays.

[BibT_eX]

[DOI]

Proceedings of the Computational Systems-Biology and Bioinformatics, 2010

2009

Enzymatic competition: Modeling and verification with timed hybrid petri nets.

[BibT_eX]

[DOI]

Sylvie Troncale

Jean-Paul Comet

Gilles Bernot

Pattern Recognit., 2009

On the Use of Temporal Formal Logic to Model Gene Regulatory Networks.

[BibT_eX]

[DOI]

Gilles Bernot

Jean-Paul Comet

Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2009

2008

Topology-based abstraction of complex biological systems: application to the Golgi apparatus.

[BibT_eX]

[DOI]

Theory Biosci., 2008

Analysing formal models of genetic regulatory networks with delays.

[BibT_eX]

[DOI]

Int. J. Bioinform. Res. Appl., 2008

Graph Transformation for Topology Modelling.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, 4th International Conference, 2008

Property Preservation along Embedding of Biological Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Biology, Third International Conference, 2008

2007

Symbolic Modeling of Genetic Regulatory Networks.

[BibT_eX]

[DOI]

J. Bioinform. Comput. Biol., 2007

Necessary conditions for multistationarity in discrete dynamical systems.

[BibT_eX]

[DOI]

Adrien Richard

Jean-Paul Comet

Discret. Appl. Math., 2007

Modelling genetic regulatory networks from specified behaviours.

[BibT_eX]

[DOI]

BMC Syst. Biol., 2007

Topology-based Geometric Modelling for Biological Cellular Processes.

[BibT_eX]

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

2006

Epigenetic acquisition of inducibility of type III cytotoxicity in <i>P. aeruginosa</i>.

[BibT_eX]

[DOI]

Janine Guespin-Michel

BMC Bioinform., 2006

Delays in Biological Regulatory Networks (BRN).

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2006

2005

R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics.

[BibT_eX]

[DOI]

Adrien Richard

Jean-Paul Comet

Gilles Bernot

Fundam. Informaticae, 2005

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets.

[BibT_eX]

[DOI]

Jean-Paul Comet

Hanna Klaudel

Stéphane Liauzu

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States.

[BibT_eX]

[DOI]

Adrien Richard

Jean-Paul Comet

Gilles Bernot

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003

Application of Max-Plus algebra to biological sequence comparisons.

[BibT_eX]

[DOI]

Jean-Paul Comet

Theor. Comput. Sci., 2003

Semantics of Biological Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003

Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa.

[BibT_eX]

[DOI]

Sabine Pérès

Jean-Paul Comet

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002

Pairwise Sequence Alignment using a PROSITE Pattern-derived Similarity Score.

[BibT_eX]

[DOI]

Jean-Paul Comet

Jacques Henry

Comput. Chem., 2002

2001

Sequence Alignment: An Approximation Law for the Z-value with Applications to Databank Scanning.

[BibT_eX]

[DOI]

Jean-Noël Bacro

Jean-Paul Comet

Comput. Chem., 2001

1999

Significance of Z-value Statistics of Smith-Waterman Scores for Protein Alignments.

[BibT_eX]

[DOI]

Comput. Chem., 1999

Jean-Paul Comet

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...