19 citations · 54 across the 29 of their papers we have counts for
38 papers
Reachability with Restricted Reactions in Inhibitory Chemical Reaction Networks
Divya Bajaj, Bin Fu, Ryan Knobel +7
Chemical Reaction Networks (CRNs) are a well-established model of distributed computing characterized by quantities of molecular species that can transform or change through applic…
General Computation using Slidable Tiles with Deterministic Global Forces
Alberto Avila-Jimenez, David Barreda, Sarah-Laurie Evans +5
We study the computational power of the Full-Tilt model of motion planning, where slidable polyominos are moved maximally around a board by way of a sequence of directional ``tilts…
Polynomial Equivalence of Extended Chemical Reaction Models
Divya Bajaj, Jose Luis Castellanos, Ryan Knobel +7
The ability to detect whether a species (or dimension) is zero in Chemical Reaction Networks (CRN), Vector Addition Systems, or Petri Nets is known to increase the power of these m…
Intrinsic Universality in Seeded Active Tile Self-Assembly
Tim Gomez, Elise Grizzell, Asher Haun +4
The Tile Automata (TA) model describes self-assembly systems in which monomers can build structures and transition with an adjacent monomer to change their states. This paper shows…
Computing Threshold Circuits with Bimolecular Void Reactions in Step Chemical Reaction Networks
Rachel Anderson, Bin Fu, Aiden Massie +5
Step Chemical Reaction Networks (step CRNs) are an augmentation of the Chemical Reaction Network (CRN) model where additional species may be introduced to the system in a sequence…
A Simple Proof that Ricochet Robots is PSPACE-Complete
Jose Balanza-Martinez, Angel A. Cantu, Robert Schweller +1
In this paper, we seek to provide a simpler proof that the relocation problem in Ricochet Robots (Lunar Lockout with fixed geometry) is PSPACE-complete via a reduction from Finite…