research
∙
09/04/2023
Local Certification of Majority Dynamics
In majority voting dynamics, a group of n agents in a social network are...
share
research
∙
02/09/2023
Hardness of monadic second-order formulae over succinct graphs
Our main result is a succinct counterpoint to Courcelle's meta-theorem a...
research
∙
09/20/2022
Intrinsic Simulations and Universality in Automata Networks
An automata network (AN) is a finite graph where each node holds a state...
research
∙
06/15/2022
Cold Dynamics in Cellular Automata: a Tutorial
This tutorial is about cellular automata that exhibit 'cold dynamics'. B...
research
∙
05/09/2022
On Turedo Hierarchies and Intrinsic Universality
This paper is about turedos, which are Turing machine whose head can mov...
research
∙
12/02/2021
The Mirage of Universality in Cellular Automata
This note is a survey of examples and results about cellular automata wi...
research
∙
10/01/2021
Bootstrap Percolation and Cellular Automata
We study qualitative properties of two-dimensional freezing cellular aut...
research
∙
05/18/2021
On Symmetry versus Asynchronism: at the Edge of Universality in Automata Networks
An automata network (AN) is a finite graph where each node holds a state...
research
∙
05/24/2020
On the impact of treewidth in the computational complexity of freezing dynamics
An automata network is a network of entities, each holding a state from ...
research
∙
04/21/2020
Commutative automata networks
Automata networks are mappings of the form f : Q Z → Q Z , where Q is a ...
research
∙
01/24/2020
On simulation in automata networks
An automata network is a finite graph where each node holds a state from...
research
∙
01/24/2020
Simulation of automata networks
An automata network is a finite graph where each node holds a state from...
research
∙
08/19/2019
Freezing, Bounded-Change and Convergent Cellular Automata
This paper studies three classes of cellular automata from a computation...
research
∙
02/21/2019
Expansive Automata Networks
An Automata Network is a map f:Q^n→ Q^n where Q is a finite alphabet. It...
research
∙
04/20/2018