{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,6]],"date-time":"2024-04-06T17:11:26Z","timestamp":1712423486953},"reference-count":24,"publisher":"World Scientific Pub Co Pte Lt","issue":"02b","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Bioinform. Comput. Biol."],"published-print":{"date-parts":[[2007,4]]},"abstract":"<jats:p>Understanding the functioning of genetic regulatory networks supposes a modeling of biological processes in order to simulate behaviors and to reason on the model. Unfortunately, the modeling task is confronted to incomplete knowledge about the system. To deal with this problem we propose a methodology that uses the qualitative approach developed by Thomas. A symbolic transition system can represent the set of all possible models in a concise and symbolic way. We introduce a new method based on model-checking techniques and symbolic execution to extract constraints on parameters leading to dynamics coherent with known behaviors. Our method allows us to efficiently respond to two kinds of questions: is there any model coherent with a certain hypothetic behavior? Are there behaviors common to all selected models? The first question is illustrated with the example of the mucus production in Pseudomonas aeruginosa while the second one is illustrated with the example of immunity control in bacteriophage lambda.<\/jats:p>","DOI":"10.1142\/s0219720007002850","type":"journal-article","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T11:30:04Z","timestamp":1184585404000},"page":"627-640","source":"Crossref","is-referenced-by-count":18,"title":["SYMBOLIC MODELING OF GENETIC REGULATORY NETWORKS"],"prefix":"10.1142","volume":"05","author":[{"given":"DANIEL","family":"MATEUS","sequence":"first","affiliation":[{"name":"Commissariat \u00e0 l'\u00c9nergie Atomique, Saclay, 91191 Gif sur Yvette Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JEAN-PIERRE","family":"GALLOIS","sequence":"additional","affiliation":[{"name":"Commissariat \u00e0 l'\u00c9nergie Atomique, Saclay, 91191 Gif sur Yvette Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JEAN-PAUL","family":"COMET","sequence":"additional","affiliation":[{"name":"Informatique, Biologie Int\u00e9grative et Syst\u00e8mes Complexes, FRE CNRS 2873, Universit\u00e9 d'\u00c9vry Val d'Essonne, 523 terrasses de l'Agora, 91000 Evry, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PASCALE","family":"LE GALL","sequence":"additional","affiliation":[{"name":"Informatique, Biologie Int\u00e9grative et Syst\u00e8mes Complexes, FRE CNRS 2873, Universit\u00e9 d'\u00c9vry Val d'Essonne, 523 terrasses de l'Agora, 91000 Evry, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1089\/10665270252833208"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(73)90208-7"},{"key":"rf3","volume-title":"Biological Feedback","author":"Thomas R.","year":"1990"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1016\/j.bulm.2003.08.010"},{"key":"rf5","first-page":"189","volume":"4","author":"Snoussi E. H.","journal-title":"Dyn. Stability. Syst."},{"key":"rf6","first-page":"277","volume":"57","author":"Thieffry D.","journal-title":"Bull. Math. Biol."},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/15.7.593"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5193(03)00201-7"},{"key":"rf9","first-page":"104","volume":"84","author":"Mendoza L.","journal-title":"Biosystems"},{"key":"rf10","unstructured":"C.\u00a0Chaouiya, D.\u00a0Thieffry and L.\u00a0Sanchez, Bioinformatics of Genome Regulation and Structure II, eds. N.\u00a0Kolchanov, R.\u00a0Hofestaedt and L.\u00a0Milanesi (Springer, 2006)\u00a0pp. 379\u2013390."},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1007\/BF02460618"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2005.10.003"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2004.04.003"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bti1048"},{"key":"rf19","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/s10009-003-0133-6","volume":"5","author":"Lugato D.","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(73)90247-6"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5193(05)80350-9"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1063\/1.1349893"},{"key":"rf23","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1128\/MMBR.60.3.539-574.1996","volume":"60","author":"Govan J. R.","journal-title":"Microbiol. Rev."},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014294120243"},{"key":"rf25","doi-asserted-by":"publisher","DOI":"10.1023\/B:ACBI.0000046604.18092.a7"},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"rf29","volume-title":"Model Checking","author":"Clarke E. M.","year":"2000"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-4223-X_5"}],"container-title":["Journal of Bioinformatics and Computational Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0219720007002850","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T01:19:25Z","timestamp":1587777565000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0219720007002850"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4]]},"references-count":24,"journal-issue":{"issue":"02b","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2007,4]]}},"alternative-id":["10.1142\/S0219720007002850"],"URL":"https:\/\/doi.org\/10.1142\/s0219720007002850","relation":{},"ISSN":["0219-7200","1757-6334"],"issn-type":[{"value":"0219-7200","type":"print"},{"value":"1757-6334","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,4]]}}}