Author:
Allart Emilie,Niehren Joachim,Versari Cristian
Publisher
Springer International Publishing
Reference19 articles.
1. Allart, E., Niehren, J., Versari, C.: Computing sign abstractions of linear systems. Working paper or preprint, hal-02279942, v1, September 2019.
https://hal.archives-ouvertes.fr/hal-02279942
2. Calzone, L., Fages, F., Soliman, S.: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14), 1805–1807 (2006)
3. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: POPL, pp. 269–282 (1979)
4. Coutte, F., Niehren, J., Dhali, D., John, M., Versari, C., Jacques, P.: Modeling leucine’s metabolic pathway and knockout prediction improving the production of surfactin, a biosurfactant from bacillus subtilis. Biotechnol. J. 10(8), 1216–34 (2015)
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: LICS, pp. 362–381. IEEE Computer Society (2010)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献