| 2025 | UC | Toward Non Abelian Scenarios for Additive Cellular Automata on Finite Groups. | Alberto Dennunzio |
| 2020 | ICALP | From Linear to Additive Cellular Automata. | Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara |
| 2019 | LATA | Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata. | Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca |
| 2019 | MFCS | Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties. | Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara |
| 2016 | LATA | Reachability in Resource-Bounded Reaction Systems. | Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
| 2015 | LATA | Preimage Problems for Reaction Systems. | Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
| 2014 | LATA | Extremal Combinatorics of Reaction Systems. | Alberto Dennunzio, Enrico Formenti, Luca Manzoni |
| 2012 | DLT | Acceptance Conditions for ω-Languages. | Alberto Dennunzio, Enrico Formenti, Julien Provillard |
| 2012 | LATA | Computational Complexity of Rule Distributions of Non-uniform Cellular Automata. | Alberto Dennunzio, Enrico Formenti, Julien Provillard |
| 2011 | DLT | Computational Aspects of Asynchronous Cellular Automata. | Jrme Chandesris, Alberto Dennunzio, Enrico Formenti, Luca Manzoni |
| 2009 | LATA | Non-uniform Cellular Automata. | Gianpiero Cattaneo, Alberto Dennunzio, Enrico Formenti, Julien Provillard |
| 2008 | DLT | Decidable Properties of 2D Cellular Automata. | Alberto Dennunzio, Enrico Formenti |
| 2007 | CiE | Shifting and Lifting of Cellular Automata. | Luigi Acerbi, Alberto Dennunzio, Enrico Formenti |
| 2004 | MCU | Subshifts Behavior of Cellular Automata. Topological Properties and Related Languages. | Gianpiero Cattaneo, Alberto Dennunzio |