Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Nathalie Chabrier-Rivier"'
Publikováno v:
Theoretical Computer Science. 325:25-44
We introduce a formalism to represent and analyze protein–protein and protein–DNA interaction networks. We illustrate the expressivity of this language, by proposing a formal counterpart of Kohn's compilation on the mammalian cell-cycle control.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::83b2d4f3ef83cc4e2b30b123c1042161
https://doi.org/10.1016/j.tcs.2004.03.063
https://doi.org/10.1016/j.tcs.2004.03.063
Publikováno v:
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2007, 26 (1-2), pp.47--72. ⟨10.3166/tsi.26.47-72⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2007, 26 (1-2), pp.47--72. ⟨10.3166/tsi.26.47-72⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2007, 26 (1-2), pp.47--72. ⟨10.3166/tsi.26.47-72⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2007, 26 (1-2), pp.47--72. ⟨10.3166/tsi.26.47-72⟩
International audience; Le développement de langages formels pour modéliser les systèmes biologiques ouvre la voie à la conception de nouveaux outils de raisonnement automatique destinés au biologiste modélisateur. La machine abstraite biochimi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::86514c4e507a93ea3672947ea9968db9
https://inria.hal.science/hal-01431369/document
https://inria.hal.science/hal-01431369/document
Publikováno v:
Transactions on Computational Systems Biology VI
Transactions on Computational Systems Biology VI, 2006, Berlin, Heidelberg, Unknown Region. pp.68--94
Scopus-Elsevier
Transactions on Computational Systems Biology VI ISBN: 9783540457794
Trans. Computational Systems Biology
Transactions on Computational Systems Biology VI, 2006, Berlin, Heidelberg, Unknown Region. pp.68--94
Scopus-Elsevier
Transactions on Computational Systems Biology VI ISBN: 9783540457794
Trans. Computational Systems Biology
International audience; One central issue in systems biology is the definition of formal languages for describing complex biochemical systems and their behavior at different levels. The biochemical abstract machine BIOCHAM is based on two formal lang
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e22a96eca24f12d4ebedd2bcbc01cdf3
https://hal.archives-ouvertes.fr/hal-01779529
https://hal.archives-ouvertes.fr/hal-01779529
Publikováno v:
{CMSB'04}: Proceedings of the second Workshop on Computational Methods in Systems Biology
{CMSB'04}: Proceedings of the second Workshop on Computational Methods in Systems Biology, 2004, Paris, pp.172--191
Computational Methods in Systems Biology ISBN: 9783540253754
CMSB
Scopus-Elsevier
Proceedings of the second Workshop on Computational Methods in Systems Biology, 2004, Paris, pp.172--191
{CMSB'04}: Proceedings of the second Workshop on Computational Methods in Systems Biology, 2004, Paris, pp.172--191
Computational Methods in Systems Biology ISBN: 9783540253754
CMSB
Scopus-Elsevier
Proceedings of the second Workshop on Computational Methods in Systems Biology, 2004, Paris, pp.172--191
http://www.springerlink.com/index/NVWWRAN9W4RUA03N; In this article we present the Biochemical Abstract Machine BIOCHAM and advocate its use as a formal modeling environment for networks biology. Biocham provides a precise semantics to biomolecular i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f49df944490ccd7a1ddc081d30f6c21
https://inria.hal.science/inria-00000814/document
https://inria.hal.science/inria-00000814/document
Publikováno v:
Journal of Biological Physics and Chemistry
Journal of Biological Physics and Chemistry, Basel, Switzerland : Collegium Basilea (Institute of Advanced Study) ; Tbilisi : Association of Modern Scientific Investigation (AMSI), 2004, 4 (2), pp.64--73
Journal of Biological Physics and Chemistry, 2004, 4 (2), pp.64--73
Journal of Biological Physics and Chemistry, Basel, Switzerland : Collegium Basilea (Institute of Advanced Study) ; Tbilisi : Association of Modern Scientific Investigation (AMSI), 2004, 4 (2), pp.64--73
Journal of Biological Physics and Chemistry, 2004, 4 (2), pp.64--73
International audience; Recent progress in high-throughput data-production technologies pushes research towardsystems biology, focusing on the global interaction between the components ofbiomolecular processes. In this article we present a formal mod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9afb0baf4a2e97bf272e4161e6394e9d
https://hal.inria.fr/hal-01431345
https://hal.inria.fr/hal-01431345