Edit Profile (opens in new tab) Comet, Jean-Paul Co-Author Distance Author ID: comet.jean-paul Published as: Comet, Jean-Paul; Comet, J.-P. Documents Indexed: 22 Publications since 2003 1 Contribution as Editor Co-Authors: 36 Co-Authors with 22 Joint Publications 392 Co-Co-Authors all top 5 Co-Authors 1 single-authored 11 Richard, Adrien 10 Bernot, Gilles 3 Le Gall, Pascale 2 Aiguier, Marc 2 Collavizza, Hélène 2 Mabrouki, Mbarka 2 Roux, Olivier F. 1 Ahmad, Jamil 1 Aracena, Julio 1 Arnould, Agnès 1 Behaegel, Jonathan 1 Boyenval, Déborah 1 Calzone, Laurence 1 Chaves, Madalena 1 Dayan, Frédéric 1 Demongeot, Jacques 1 Folschette, Maxime 1 Formenti, Enrico 1 Gibart, Laetitia 1 Gouzé, Jean-Luc 1 Guespin, Janine 1 Kaufman, Marcelle 1 Kaufman, Marcelline 1 Khalis, Z. 1 Klaudel, Hanna 1 Liauzu, Stéphane 1 Miraglio, Benjamin 1 Naldi, Aurélien 1 Noual, Mathilde 1 Peres, Sabine 1 Poudret, Mathieu 1 Risso-de Faverney, Christine 1 Snoussi, El Houssine 1 Taati, Siamak 1 Thieffry, Denis 1 Troncale, Sylvie all top 5 Serials 3 Journal of Mathematical Biology 2 Theoretical Computer Science 1 Discrete Applied Mathematics 1 Bulletin of Mathematical Biology 1 Pattern Recognition 1 Fundamenta Informaticae 1 Mathematics in Computer Science 1 Journal of Theoretical Biology all top 5 Fields 20 Biology and other natural sciences (92-XX) 10 Computer science (68-XX) 5 Combinatorics (05-XX) 4 Mathematical logic and foundations (03-XX) 4 Systems theory; control (93-XX) 2 Ordinary differential equations (34-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 19 Publications have been cited 117 times in 97 Documents Cited by ▼ Year ▼ Necessary conditions for multistationarity in discrete dynamical systems. Zbl 1125.37062 Richard, Adrien; Comet, Jean-Paul 46 2007 Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic. Zbl 1440.92036 Bernot, Gilles; Comet, Jean-Paul; Richard, Adrien; Guespin, Janine 31 2004 Stable periodicity and negative circuits in differential systems. Zbl 1311.34096 Richard, Adrien; Comet, Jean-Paul 6 2011 On circuit functionality in Boolean networks. Zbl 1272.92016 Comet, Jean-Paul; Noual, Mathilde; Richard, Adrien; Aracena, Julio; Calzone, Laurence; Demongeot, Jacques; Kaufman, Marcelle; Naldi, Aurélien; Snoussi, El Houssine; Thieffry, Denis 6 2013 R. Thomas’ modeling of biological regulatory networks: Introduction of singular states in the qualitative dynamics. Zbl 1092.92001 Richard, Adrien; Comet, Jean-Paul; Bernot, Gilles 4 2005 Modeling and analysis of gene regulatory networks. Zbl 1400.92178 Bernot, Gilles; Comet, Jean-Paul; Richard, Adrien; Chaves, Madalena; Gouzé, Jean-Luc; Dayan, Frédéric 3 2013 Modeling multi-valued genetic regulatory networks using high-level Petri nets. Zbl 1128.68376 Comet, Jean-Paul; Klaudel, Hanna; Liauzu, Stéphane 3 2005 Property preservation along embedding of biological regulatory networks. Zbl 1171.92302 Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale 2 2008 Application of max-plus algebra to biological sequence comparisons. Zbl 1025.68048 Comet, J.-P. 2 2003 Contribution of computational tree logic to biological regulatory networks: example from pseudomonas aeruginosa. Zbl 1112.92327 Peres, Sabine; Comet, Jean-Paul 2 2003 What is a cell cycle checkpoint? The TotemBioNet answer. Zbl 1506.92026 Boyenval, Déborah; Bernot, Gilles; Collavizza, Hélène; Comet, Jean-Paul 2 2020 Constraint identification using modified Hoare logic on hybrid models of gene networks. Zbl 1515.68158 Behaegel, Jonathan; Comet, Jean-Paul; Folschette, Maxime 2 2017 Graph-based modeling of biological regulatory networks: Introduction of singular states. Zbl 1088.93506 Richard, Adrien; Comet, Jean-Paul; Bernot, Gilles 2 2005 Modelling and simulation for functional genomics. Reprint of Technique et Science informatiques 26, No. 1-2 (2007). (Modélisation et simulation pour la post-génomique.) Zbl 1179.92022 1 2007 A genetically modified Hoare logic. Zbl 1423.68163 Bernot, G.; Comet, J.-P.; Khalis, Z.; Richard, A.; Roux, O. 1 2019 Graph transformation for topology modelling. Zbl 1175.68496 Poudret, Mathieu; Arnould, Agnès; Comet, Jean-Paul; Le Gall, Pascale 1 2008 Delays in biological regulatory networks (BRN). Zbl 1155.92300 Ahmad, Jamil; Richard, Adrien; Bernot, Gilles; Comet, Jean-Paul; Roux, Olivier 1 2006 Enzymatic competition: Modeling and verification with timed hybrid Petri nets. Zbl 1178.68368 Troncale, Sylvie; Comet, Jean-Paul; Bernot, Gilles 1 2009 Embedding of biological regulatory networks and property preservation. Zbl 1270.92024 Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale; Richard, Adrien 1 2011 What is a cell cycle checkpoint? The TotemBioNet answer. Zbl 1506.92026 Boyenval, Déborah; Bernot, Gilles; Collavizza, Hélène; Comet, Jean-Paul 2 2020 A genetically modified Hoare logic. Zbl 1423.68163 Bernot, G.; Comet, J.-P.; Khalis, Z.; Richard, A.; Roux, O. 1 2019 Constraint identification using modified Hoare logic on hybrid models of gene networks. Zbl 1515.68158 Behaegel, Jonathan; Comet, Jean-Paul; Folschette, Maxime 2 2017 On circuit functionality in Boolean networks. Zbl 1272.92016 Comet, Jean-Paul; Noual, Mathilde; Richard, Adrien; Aracena, Julio; Calzone, Laurence; Demongeot, Jacques; Kaufman, Marcelle; Naldi, Aurélien; Snoussi, El Houssine; Thieffry, Denis 6 2013 Modeling and analysis of gene regulatory networks. Zbl 1400.92178 Bernot, Gilles; Comet, Jean-Paul; Richard, Adrien; Chaves, Madalena; Gouzé, Jean-Luc; Dayan, Frédéric 3 2013 Stable periodicity and negative circuits in differential systems. Zbl 1311.34096 Richard, Adrien; Comet, Jean-Paul 6 2011 Embedding of biological regulatory networks and property preservation. Zbl 1270.92024 Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale; Richard, Adrien 1 2011 Enzymatic competition: Modeling and verification with timed hybrid Petri nets. Zbl 1178.68368 Troncale, Sylvie; Comet, Jean-Paul; Bernot, Gilles 1 2009 Property preservation along embedding of biological regulatory networks. Zbl 1171.92302 Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale 2 2008 Graph transformation for topology modelling. Zbl 1175.68496 Poudret, Mathieu; Arnould, Agnès; Comet, Jean-Paul; Le Gall, Pascale 1 2008 Necessary conditions for multistationarity in discrete dynamical systems. Zbl 1125.37062 Richard, Adrien; Comet, Jean-Paul 46 2007 Modelling and simulation for functional genomics. Reprint of Technique et Science informatiques 26, No. 1-2 (2007). (Modélisation et simulation pour la post-génomique.) Zbl 1179.92022 1 2007 Delays in biological regulatory networks (BRN). Zbl 1155.92300 Ahmad, Jamil; Richard, Adrien; Bernot, Gilles; Comet, Jean-Paul; Roux, Olivier 1 2006 R. Thomas’ modeling of biological regulatory networks: Introduction of singular states in the qualitative dynamics. Zbl 1092.92001 Richard, Adrien; Comet, Jean-Paul; Bernot, Gilles 4 2005 Modeling multi-valued genetic regulatory networks using high-level Petri nets. Zbl 1128.68376 Comet, Jean-Paul; Klaudel, Hanna; Liauzu, Stéphane 3 2005 Graph-based modeling of biological regulatory networks: Introduction of singular states. Zbl 1088.93506 Richard, Adrien; Comet, Jean-Paul; Bernot, Gilles 2 2005 Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic. Zbl 1440.92036 Bernot, Gilles; Comet, Jean-Paul; Richard, Adrien; Guespin, Janine 31 2004 Application of max-plus algebra to biological sequence comparisons. Zbl 1025.68048 Comet, J.-P. 2 2003 Contribution of computational tree logic to biological regulatory networks: example from pseudomonas aeruginosa. Zbl 1112.92327 Peres, Sabine; Comet, Jean-Paul 2 2003 all cited Publications top 5 cited Publications all top 5 Cited by 168 Authors 18 Richard, Adrien 8 Comet, Jean-Paul 8 Sené, Sylvain 7 Paulevé, Loïc 6 Demongeot, Jacques 6 Noual, Mathilde 6 Šafránek, David 6 Siebert, Heike 5 Magnin, Morgan 4 Bernot, Gilles 4 Bockmayr, Alexander 4 Brim, Luboš 4 Fages, François 4 Roux, Olivier F. 4 Soliman, Sylvain 4 Tonello, Elisa 3 Chaouiya, Claudine 3 Chaves, Madalena 3 Folschette, Maxime 3 Goles Chacc, Eric 3 Kaufman, Marcelle 3 Pastva, Samuel 3 Regnault, Damien 3 Remy, Elisabeth 3 Rizk, Aurélien 3 Thieffry, Denis 2 Abou-Jaoudé, Wassim 2 Albert, Réka 2 Antonopoulos, Chris G. 2 Aracena, Julio 2 Barnat, Jiří 2 Basios, Vasileios 2 Beneš, Nikola 2 Černá, Ivana 2 Didier, Gilles 2 Drazan, Sven 2 Gadouleau, Maximilien 2 Haar, Stefan 2 Kolčák, Juraj 2 Le Gall, Pascale 2 Melliti, Tarek 2 Montealegre, Pedro 2 Monteiro, Pedro T. 2 Naldi, Aurélien 2 Ríos-Wilson, Martín 2 Sun, Honglu 1 Abate, Alessandro 1 Aiguier, Marc 1 Al-Shama, Rushd F. M. 1 Albert, István 1 Arnould, Agnès 1 Bain, Michael E. 1 Baroukh, Caroline 1 Batt, Grégory 1 Belhaouari, Hakim 1 Bellet, Thomas 1 Blanchini, Franco 1 Blyuss, Konstantin B. 1 Bridoux, Florian 1 Calzone, Laurence 1 Castiglione, Filippo 1 Cerone, Antonio 1 Charney, Ruth Michele 1 Cimatti, Alessandro 1 Cohen, Jacques 1 Collavizza, Hélène 1 Colvin, Robert J. 1 Cottret, Ludovic 1 Dayan, Frédéric 1 De Cock, Martine 1 de Jong, Hidde 1 Dumas, Estelle 1 Elena, Adrien 1 Erästö, Panu 1 Fabrikova, Jana 1 Farcot, Etienne 1 Fauré, Adrien 1 Fisher, Jasmin 1 Forchheimer, Robert 1 Franco, Elisa 1 Gao, Rui 1 Gay, Steven 1 Gaze-Maillot, Caroline 1 Gebser, Martin 1 Gibart, Laetitia 1 Giordano, Giulia 1 Gouzé, Jean-Luc 1 Guespin, Janine 1 Hagihara, Shigeki 1 Hariharaputran, Sridhar 1 Hassan, Sk. Sarif 1 Henzinger, Thomas A. 1 Hermanson, Ola 1 Hofestädt, Ralf 1 Hogan, S. John 1 Holmström, Lasse 1 Hung, Ling-Hong 1 Ichinose, Takuma 1 Inoue, Katsumi 1 Ito, Sohei ...and 68 more Authors all top 5 Cited in 28 Serials 15 Journal of Theoretical Biology 13 Theoretical Computer Science 9 Discrete Applied Mathematics 7 Bulletin of Mathematical Biology 5 Natural Computing 2 Journal of Mathematical Biology 2 Advances in Applied Mathematics 2 MSCS. Mathematical Structures in Computer Science 1 Mathematical Biosciences 1 Automatica 1 Fuzzy Sets and Systems 1 Journal of Computer and System Sciences 1 Mathematical Social Sciences 1 Physica D 1 Algorithmica 1 SIAM Journal on Discrete Mathematics 1 Machine Learning 1 Pattern Recognition 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Discrete and Continuous Dynamical Systems 1 International Journal of Applied Mathematics and Computer Science 1 Foundations of Computational Mathematics 1 Journal of Applied Mathematics and Computing 1 SIAM Journal on Applied Dynamical Systems 1 Mathematics in Computer Science 1 Computational & Mathematical Methods in Medicine 1 Logical Methods in Computer Science 1 The Annals of Applied Statistics all top 5 Cited in 22 Fields 71 Biology and other natural sciences (92-XX) 44 Computer science (68-XX) 22 Dynamical systems and ergodic theory (37-XX) 19 Combinatorics (05-XX) 10 Information and communication theory, circuits (94-XX) 8 Mathematical logic and foundations (03-XX) 5 Ordinary differential equations (34-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Systems theory; control (93-XX) 2 Numerical analysis (65-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Topological groups, Lie groups (22-XX) 1 General topology (54-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year