1. Azimi, S., Bogdan, I., & Petre, I. (2014). Reaction system models for the heat shock response. Fundamenta Informaticae, 131(3—-4), 299–312. https://doi.org/10.3233/FI-2014-1016.
2. Azimi, S., Gratie, C., Ivanov, S., Manzoni, L., Petre, I., & Porreca, A. E. (2016). Complexity of model checking for reaction systems. Theoretical Computer Science, 623, 103–113. https://doi.org/10.1016/j.tcs.2015.11.040.
3. Azimi, S., Panchal, C., Czeizler, E., & Petre, I. (2015). Reaction systems models for the self-assembly of intermediate filaments. Annals of the University of Bucharest, 62(2), 9–24.
4. Barbuti, R., Bove, P., Gori, R., Gruska, D., Levi, F., & Milazzo, P. (2019). Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. Fundamenta Informaticae, 20, 1–20.
5. Barbuti, R., Bove, P., Gori, R., Levi, F., Milazzo, P.(2018). Simulating gene regulatory networks using reaction systems. In: Schlingloff, B.H., Akili, S. (eds.) Proceedings of the 27th International Workshop on Concurrency, Specification and Programming (CS&P 2018). CEUR Workshop Proceedings, vol. 2240 .