1. Shifting and lifting of cellular automata;Acerbi,2007
2. Surjective multidimensional cellular automata are non-wandering: a combinatorial proof;Acerbi;Inf. Process. Lett.,2013
3. Reaction system models for the heat shock response;Azimi;Fundam. Inform.,2014
4. Complexity of model checking for reaction systems;Azimi;Theor. Comput. Sci.,2016
5. R. Barbuti, P. Bove, R. Gori, F. Levi, P. Milazzo, Simulating gene regulatory networks using reaction systems, in: Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, CS&P, pp. 119–132.