activity
20072024
most citedBoolean networks synchronism sensitivity and XOR circulant networks convergence time

7 citations · 17 across the 12 of their papers we have counts for

collaborators
Showing cs.CCShow all

6 papers · 1 filter

cs.CC2024

A linear bound for the size of the finite terminal assembly of a directed non-cooperative tile assembly system

Sergiu Ivanov, Damien Regnault

The abstract tile assembly model (aTam) is a model of DNA self-assembly. Most of the studies focus on cooperative aTAM where a form of synchronization between the tiles is possible…

cs.CC2020

On the directed tile assembly systems at temperature 1

Pierre-Étienne Meunier, Damien Regnault

We show here that a model called directed self-assembly at temperature 1 is unable to do complex computations like the ones of a Turing machine. Since this model can be seen as a g…

cs.CC2020

The program-size complexity of self-assembled paths

Pierre-Étienne Meunier, Damien Regnault, Damien Woods

We prove a Pumping Lemma for the noncooperative abstract Tile Assembly Model, a model central to the theory of algorithmic self-assembly since the beginning of the field. This theo…

cs.CC2019

Non-cooperatively assembling large structures: a 2D pumping lemma cannot be as powerful as its 1D counterpart

Pierre-Etienne Meunier, Damien Regnault

We show the first asymptotically efficient constructions in the so-called "noncooperative planar tile assembly" model. Algorithmic self-assembly is the study of the local, distribu…

cs.CC2016

A pumping lemma for non-cooperative self-assembly

Pierre-Étienne Meunier, Damien Regnault

We prove a result which strongly hints at the computational weakness of a model of tile assembly that has so far resisted many attempts of formal analysis or positive constructions…

cs.CC2013★ 5 cited

A pumping lemma for non-cooperative self-assembly

Pierre-Étienne Meunier, Damien Regnault

We prove the computational weakness of a model of tile assembly that has so far resisted many attempts of formal analysis or positive constructions. Specifically, we prove that, in…