Jean-Paul Comet

47 papers B 3C 2Misc 1Journal 20Unranked 21

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