×
Author ID: comet.jean-paul Recent zbMATH articles by "Comet, Jean-Paul"
Published as: Comet, Jean-Paul; Comet, J.-P.

Publications by Year

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 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

Citations by Year