Author:
Camporesi Ferdinanda,Feret Jérôme,Lý Kim Quyên
Publisher
Springer International Publishing
Reference29 articles.
1. Danos, V., Laneve, C.: Formal molecular biology. TCS 325(1), 69–110 (2004)
2. Feret, J.: Gkappa: a library to generate site graphs with graphviz. https://github.com/Kappa-Dev/GKappa
3. Lecture Notes in Computer Science;V Danos,2007
4. Feret, J., Danos, V., Krivine, J., Harmer, R., Fontana, W.: Internal coarse-graining of molecular systems. PNAS 106, 6453–6458 (2009)
5. Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Abstracting the differential semantics of rule-based models: exact and automated model reduction. In: Jouannaud, J.P. (ed.) Proceedings of LICS 2010, pp. 362–381. IEEE Computer Society (2010)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献