Nombre de documents

53

CV de Jean-Paul Comet


Article dans une revue19 documents

  • Jonathan Behaegel, Jean-Paul Comet, Gilles Bernot, Emilien Cornillon, Franck Delaunay. A hybrid model of cell cycle in mammals.. Journal of Bioinformatics and Computational Biology, World Scientific Publishing, 2015, pp.1640001. <hal-01255242>
  • Jean-Paul Comet, Mathilde Noual, Adrien Richard, J. Aracena, Laurence Calzone, et al.. On circuit functionality in Boolean networks. Bulletin of Mathematical Biology, Springer Verlag, 2013, 75 (6), pp.906-919. <10.1007/s11538-013-9829-2>. <hal-01242396>
  • Adrien Richard, Gaelle Rossignol, Jean-Paul Comet, Gilles Bernot, Janine Guespin-Michel, et al.. Boolean models of biosurfactants production in Pseudomonas fluorescens. PLoS ONE, Public Library of Science, 2012, 7 (1), pp.e24651. <10.1371/journal.pone.0024651>. <hal-01242399>
  • Siamak Taati, Enrico Formenti, Jean-Paul Comet, Gilles Bernot. On the impact of the distance between two genes on their interaction curve. Journal of Mathematical Biology, Springer Verlag (Germany), 2012, 64 (1), pp.131-147. <10.1007/s00285-010-0373-5>. <hal-01242438>
  • Adrien Richard, Jean-Paul Comet. Stable periodicity and negative circuits in differential systems. Journal of Mathematical Biology, Springer Verlag (Germany), 2011, 63 (3), pp.593-600. <10.1007/s00285-010-0388-y>. <hal-01242441>
  • Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard. Embedding of biological regulatory networks and property preservation. Mathematics in Computer Science, Springer, 2011, 5 (1), pp.263-288. <hal-00782867>
  • Sylvie Troncale, Jean-Paul Comet, Gilles Bernot. Enzymatic competition: Modeling and verification with timed hybrid petri nets. Pattern Recognition Letters, Elsevier, 2009, 42 (4), pp.562--566. <10.1016/j.patcog.2008.09.019>. <hal-00967379>
  • Sylvie Troncale, Jean-Paul Comet, Gilles Bernot. Enzymatic Competition: Modeling and Verification with Timed Hybrid Petri Nets. Pattern Recognition, Elsevier, 2009, 42 (4), pp.562--566. <10.1016/j.patcog.2008.09.019>. <hal-00415804>
  • Jamil Ahmad, Olivier Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard. Analysing Formal Models of Genetic Regulatory Networks with Delays: Applications to Lambda phage and T-cell Activation Systems. Int. J. Bioinformatics Research and Applications, 2008, 4 (3), pp.240-262. <hal-00415808>
  • Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall, Philippe Meseure, et al.. Topology-based Abstraction of Complex Biologiical Systems: Application to the Golgi Apparatus. Theory in Biosciences, 2008, 127 (2), pp.79-88. <hal-00352003>
  • Adrien Richard, Jean-Paul Comet. Necessary conditions for multistationarity in discrete dynamical systems. Discrete Applied Mathematics, Elsevier, 2007, 155 (18), pp.2403-2413. <hal-00415886>
  • Adrien Richard, Jean-Paul Comet. Necessary conditions for multistationarity in discrete dynamical systems. Discrete Applied Mathematics, Elsevier, 2007, 155 (18), pp.2403--2413. <10.1016/j.dam.2007.04.019>. <hal-00967300>
  • Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, et al.. Semantics of Biological Regulatory Networks. Electr. Notes Theor. Comput. Sci., Elsevier, 2007, 180, pp.3--14. <10.1016/j.entcs.2004.01.038>. <hal-00339588>
  • Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall. Symbolic modeling of genetic regulatory networks. Journal of Bioinformatics and Computational Biology, World Scientific Publishing, 2007, 5 (2B), pp.627-640. <hal-00293530>
  • Sylvie Troncale, Raphaël Thuret, Anna-Carolina Fierro, C. Ben, Nicolas Pollet, et al.. Modelling of TH-dependent regulation of tadpole tail resorption. Journal of Biological Physics and Chemistry, Basel, Switzerland : Collegium Basilea (Institute of Advanced Study) ; Tbilisi : Association of Modern Scientific Investigation (AMSI), 2007, 7 (2), pp.45--50. <hal-00342182>
  • Jamil Ahmad, Gilles Bernot, Jean-Paul Comet, Didier Lime, Olivier Roux. Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays. Complexus, Karger, 2006, 3 (4), pp.231-251. <hal-00415810>
  • Didier Filopon, Annabelle Mérieau, Gilles Bernot, Jean-Paul Comet, Rozenne Leberre, et al.. Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa.. BMC Bioinformatics, BioMed Central, 2006, 7, pp.272. <10.1186/1471-2105-7-272>. <hal-00381910>
  • Didier Filopon, Annabelle Mérieau, Gilles Bernot, Jean-Paul Comet, Rozenne Leberre, et al.. Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa. BMC Bioinformatics, BioMed Central, 2006, 7, pp.272--282. <10.1186/1471-2105-7-272>. <hal-00342073>
  • Adrien Richard, Jean-Paul Comet, Gilles Bernot. R. Thomas' Modeling of Biological Regulatory Networks: introduction of Singular States in the Qualitative Dynamics. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2005, 65, pp.373--392. <hal-00342171>

Communication dans un congrès22 documents

  • Gilles Bernot, Jean-Paul Comet, Olivier Roux. A genetically modified Hoare logic that identifies the parameters of a gene network,. Computational Methods in Systems Biology (CMSB 2015), Sep 2015, Nantes, France. 9308, pp.8-12, 2015, LNCS. <http://cmsb2015.sciencesconf.org/>. <hal-01282932>
  • Jean-Paul Comet, Gilles Bernot. A Hoare logic for gene regulatory networks. 2nd Workshop on Computational Structural Biology: Integrative Approaches for Modeling Biomolecular Complexes, May 2013, Nice, France. 2013. <hal-01282935>
  • Jean-Paul Comet, Gilles Bernot, Aparna Das, Francine Diener, Camille Massot, et al.. Simplified models for the mammalian circadian clock. Computational Systems-Biology and Bioinformatics (CSBio 2012), Oct 2012, Bangkok, Thailand. 11, 2012, Procedia Computer Science. <http://www.csbio.org/2012/>. <hal-01282923>
  • Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall. Graph Transformation for Topology Modelling..  4th International Conference on Graph Transformation (ICGT'08), Sep 2008, Leicester, United Kingdom. Springer, 5214, pp.147-161, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-87405-8_11>. <hal-00341176>
  • Francine Diener, Aparna Das, Gilles Bernot, Jean-Paul Comet, Frédéric Eyssette. Correspondence between discrete and piecewise linear models of gene regulatory networks. Colloque à la mémoire d'Emmanuel Isambert, Dec 2007, Paris, France. pp.185-194, 2012. <hal-00915274>
  • Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, François Képès, Agnès Arnould, et al.. Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics. European Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany. <hal-00348154>
  • Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure. Topology-based Geometric Modelling for Biological Cellular Processes. International Conference on Language and Automata Theory and Applications, Mar 2007, Tarragone, Spain. pp.497-508, 2007. <hal-00348152>
  • Sylvie Troncale, Jean-Paul Comet, Gilles Bernot. Verification of biological models with Timed Hybrid Petri nets. Computational Models For Life Sciences (CMLS 2007), 2007, Australia. 952, pp.287--296, 2007, <10.1063/1.2816633>. <hal-00342179>
  • Sylvie Troncale, Jean-Paul Comet, Gilles Bernot. Validation of biological models with Temporal logic and Timed Hybrid Petri nets. Conference of the IEEE Engineering in Medicine and Biology Society (EMBC07)., 2007, Lyon, France. pp.4603--4608, 2007. <hal-00342180>
  • Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier Roux. Delays in Biological Regulatory Networks. Proceedings of the 2nd International Workshop on Bioinformatics Research and Applications, 2006, United Kingdom. 3992, pp.887--894, 2006, Lecture Notes in Computer Science. <10.1007/11758525_118>. <hal-00341972>
  • Jean-Paul Comet. Modélisation qualitative des Réseaux de régulation génétique. Séminaire BIOALGOME, Prism, UVSQ, 2005, Versailles, France. <hal-00343073>
  • Jean-Paul Comet. Simulation qualitative des Réseaux de régulation biologique, modèle de H. de Jong. Groupe de travail <>, génopole, 2005, Evry, France. <hal-00343071>
  • Jean-Paul Comet. Représentation bipartie des réseaux de régulation biologique de R. Thomas. Groupe de travail <>, génopole, 2005, Evry, France. <hal-00343072>
  • Jean-Paul Comet, Adrien Richard, Gilles Bernot. Quelques problèmes autour de la modélisation des réseaux de régulation de R. Thomas. Exposé à l'ENS Ulm, département informatique, 2005, Paris, France. <hal-00343074>
  • Gilles Bernot, Jean-Paul Comet, Janine Guespin. Formal methods from computer science to treat temporal properties of biological regulatory networks, applied to mucus production in Pseudomonas aeruginosa. Symposium Modeling approaches in Systems Biology, Physiology, and Pathophysiology (Futuroscope), 2005, Poitiers, France. <hal-00343070>
  • Jean-Paul Comet. Modélisation qualitative des Réseaux de régulation génétique. Séminaire BIOALGOME, Prism, UVSQ, 2005, Versailles, France. <hal-00342064>
  • Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu. Modeling Multi-Valued Genetic Regulatory Networks Using High-Level Petri Nets. Proceedings of the International Conference on Applications and Theory of Petri Nets, 2005, United States. 3536, pp.208--227, 2005, Lecture Notes in Computer Science. <10.1007/11494744_13>. <hal-00342065>
  • Gilles Bernot, Jean-Paul Comet, Janine Guespin. Formal methods from computer science to treat temporal properties of biological regulatory networks, applied to mucus production in Pseudomonas aeruginosa. Symposium Modeling approaches in Systems Biology, Physiology, and Pathophysiology, Poitiers (Futuroscope), France, 2005, France. <hal-00341999>
  • Jean-Paul Comet, Adrien Richard, Gilles Bernot. Quelques problèmes autour de la modélisation des réseaux de régulation de R. Thomas. Exposé à l'ENS Ulm, département informatique, 2005, Paris, France. <hal-00342066>
  • Jean-Paul Comet. Simulation qualitative des Réseaux de régulation biologique, modèle de H. de Jong. Groupe de travail <>, génopole évry, 2005, Evry, France. <hal-00342021>
  • Janine Guespin, Didier Filopon, Annabelle Mérieau, Gilles Bernot, Jean-Paul Comet, et al.. Approche logique, bio-informatique et expérimentale de la dynamique d'un réseau de régulation chez Pseudomonas aeruginosa. Réunion satellite des Journée Ouvertes Biologie Informatique Mathématiques (JOBIM) : <>, 2005, France. <hal-00342084>
  • Jean-Paul Comet. Représentation bipartie des réseaux de régulation biologique de R. Thomas. Groupe de travail <>, génopole évry, 2005, Evry, France. <hal-00342022>

Chapitre d'ouvrage9 documents

  • Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso - de Faverney. Towards a Computer Aided Toxicology. Advances in Systems and Synthetic Biology, Modelling Complex Biological Systems in the Context of Genomics, 2016. <hal-01345025>
  • Emilien Cornillon, Jean-Paul Comet, Gilles Bernot, Gilles Enée. Hybrid Gene Networks: a new Framework and a Software Environment.. Advances in Systems and Synthetic Biology, Modelling Complex Biological Systems in the Context of Genomics, 2016. <hal-01345019>
  • Kristine Carpio, Gilles Bernot, Jean-Paul Comet, Francine Diener. Probabilistic Gene Network. P. Amar, F. Képès, V. Norris. Advances in Systems and Synthetic Biology, Modelling Complex Biological Systems in the Context of Genomics, pp.77-90, 2015, 978-2-7598-1764-1. <hal-01242450>
  • Gilles Bernot, Jean-Paul Comet, El Houssine Snoussi. Formal methods applied to gene network modelling. Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, 2014, 978-1-84821-680-8. <hal-01282880>
  • Gilles Bernot, Jean-Paul Comet, Adrien Richard, Madalena Chaves, Jean-Luc Gouzé, et al.. Modeling and analysis of gene regulatory networks. Cazals, Frédéric and Kornprobst, Pierre. Modeling in Computational Biology and Biomedicine, Springer, pp.47-80, 2013, <10.1007/978-3-642-31208-3_2>. <hal-00848394>
  • Gilles Bernot, Jean-Paul Comet, Christine Risso - de Faverney. Regulatory networks. Computational Toxicology, II, pp.215-234, 2013, 978-1-62703-058-8. <hal-01282888>
  • Jean-Paul Comet, Gilles Bernot, Aparna Das, Francine Diener, Camille Massot, et al.. Simplified models for the mammalian circadian clock. Modelling complex biological systems in the context of genomics, EDP Science, pp.85-106, 2012. <hal-01282904>
  • Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, François Képès, Agnès Arnould, et al.. Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus. Proc. of the Lille Spring school on Modelling and simulation of biological processes in the context of genomics, EDP SCIENCES, pp.89--104, 2008. <hal-00353755>
  • Adrien Richard, Jean-Paul Comet, Gilles Bernot. Formal Methods for Modeling Biological Regulatory Networks. Modern Formal Methods and Applications, Springer, pp.83--122, 2006. <hal-00342170>

Direction d'ouvrage, Proceedings1 document

  • Patrick Amar, Jean-Paul Comet, François Képès, Victor Norris. Proceedings of the EVRY spring school on Modelling and simulation of biological processes in the context of genomics. France. Platypus Press, pp.210, 2004, 2-84704-0374. <epigenomique.free.fr>. <hal-01276601>

Autre publication2 documents

  • Adrien Richard, Jean-Paul Comet. Necessary conditions for multistationarity in discrete dynamical systems. Necessary conditions for multistationarity in discrete dynamical systems. 2005. <hal-00342169>
  • Jean-Paul Comet, Sandrine Vial. Journée thématique "Réseaux d'interaction : analyse, modélisation et simulation" (RIAMS). Journée thématique <> (RIAMS). 2005. <hal-00342067>