| 2025 | UC | Identification of Cellular Automata on Spaces of Bernoulli Probability Measures. | Faizal M. F. Hafiz, Amelia Kunze, Enrico Formenti, Davide La Torre |
| 2025 | UC | Cellular Automata on Spaces of Probability Measures. | Amelia Kunze, Enrico Formenti, Faizal M. F. Hafiz, Davide La Torre |
| 2022 | MCU | Complexity of Local, Global and Universality Properties in Finite Dynamical Systems. | Enrico Formenti |
| 2021 | CPAIOR | MDDs Boost Equation Solving on Discrete Dynamical Systems. | Enrico Formenti, Jean-Charles Rgin, Sara Riva |
| 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 | CiE | Fixed Points and Attractors of Reaction Systems. | Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
| 2014 | LATA | Extremal Combinatorics of Reaction Systems. | Alberto Dennunzio, Enrico Formenti, Luca Manzoni |
| 2014 | LATA | ω-rational Languages: High Complexity Classes vs. Borel Hierarchy. | Enrico Formenti, Markus Holzer, Martin Kutrib, Julien Provillard |
| 2013 | UC | Asymptotic Dynamics of (Some) Asyncronous Cellular Automata - (Abstract). | Enrico Formenti |
| 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 |
| 2010 | STACS | Ultimate Traces of Cellular Automata. | Julien Cervelle, Enrico Formenti, Pierre Guillon |
| 2009 | LATA | Non-uniform Cellular Automata. | Gianpiero Cattaneo, Alberto Dennunzio, Enrico Formenti, Julien Provillard |
| 2008 | CSR | The Most General Conservation Law for a Cellular Automaton. | Enrico Formenti, Jarkko Kari, Siamak Taati |
| 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 |
| 2007 | CiE | Sofic Trace Subshift of a Cellular Automaton. | Julien Cervelle, Enrico Formenti, Pierre Guillon |
| 2007 | STACS | A Search Algorithm for the Maximal Attractor of a Cellular Automaton. | Enrico Formenti, Petr Kurka |
| 2005 | MFCS | Basic Properties for Sand Automata. | Julien Cervelle, Enrico Formenti, Benot Masson |
| 2004 | MFCS | A New Dimension Sensitive Property for Cellular Automata. | Vincent Bernardi, Bruno Durand, Enrico Formenti, Jarkko Kari |
| 2003 | MFCS | Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies. | Franois Blanchard, Julien Cervelle, Enrico Formenti |
| 2003 | STACS | On Sand Automata. | Julien Cervelle, Enrico Formenti |
| 2001 | MFCS | Algorithmic Information Theory and Cellular Automata Dynamics. | Julien Cervelle, Bruno Durand, Enrico Formenti |
| 1997 | MFCS | A Shift-Invariant Metric on S | Gianpiero Cattaneo, Enrico Formenti, Luciano Margara, Jacques Mazoyer |
| 1997 | STACS | On Ergodic Linear Cellular Automata over Z | Gianpiero Cattaneo, Enrico Formenti, Giovanni Manzini, Luciano Margara |
| 1995 | DLT | Rule Space Transformations and One-Dimensional Cellular Automata. | Gianpiero Cattaneo, Enrico Formenti, Giancarlo Mauri |