Author:
Chabrier-Rivier Nathalie,Chiaverini Marc,Danos Vincent,Fages François,Schächter Vincent
Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G.J. Pappas, H. Rubin, J. Schug, Hybrid modeling and simulation of biomolecular networks, in: Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, Vol. 2034, Springer, Berlin, 2001, pp. 19–32.
2. A. Bockmayr, A. Courtois, Using hybrid concurrent constraint programming to model dynamic biological systems, in: 18th Internat. Conf. on Logic Programming, Copenhagen, Springer, Berlin, 2002, pp. 85–99.
3. L. Cardelli, Brane calculi, ENTCS Proc. of Bio-Concur, 2003, to appear.
4. N. Chabrier, F. Fages, The biochemical abstract machine BIOCHAM, in: C. Christophe, H.P. Lenhof, M.F. Sagot (Eds.), Proc. European Conf. Computational Biology, ECCB’03, Paris, France, September 2003, pp. 597–599. System available at http://contraintes.inria.fr/BIOCHAM.
5. N. Chabrier, F. Fages, Symbolic model checking of biochemical networks, in: C. Priami (Ed.), Proc. Internat. Workshop on Computational Methods in Systems Biology, CMSB’03, Rovereto, Italy, Lecture Notes in Computer Science, Springer, Berlin, February 2003, pp. 149–162.
Cited by
113 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Cell;Symbolic Approaches to Modeling and Analysis of Biological Systems;2023-08-04
2. Verifiable biology;Journal of The Royal Society Interface;2023-05
3. A Formal Approach for Tuning Stochastic Oscillators;Computational Methods in Systems Biology;2023
4. Introduction;Systems Biology Modelling and Analysis;2022-11-18
5. On the use of formal methods to model and verify neuronal archetypes;Frontiers of Computer Science;2021-10-30