Unique Assembly Verification in Two-Handed Self-Assembly
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
International Colloquium on Automata, Languages and Programming (ICALP 2022) (to appear)
[Arxiv preprint]
Building Squares with Optimal State Complexity in Restricted Active Self-Assembly
Robert M. Alaniz, David Caballero, Sonya C. Cirlos, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, Armando Tenorio, Tim Wylie
1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022)
[link]
Best Student Paper
Complexity of Verification in Self-Assembly with Prebuilt Assemblies
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022)
[link]
Unit Tilt Row Relocation in a Square
David Caballero, Angel A Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
The 23rd Thailand-Japan Conference on Discrete and Computational Geometry, Graphs, and Games (TJCDCG3 2020+1), 2021
[link]
Reliability and Security of Extreme Parallelism
Timothy Gomez, Ryan Luna, Sheikh Ariful Islam
IEEE Consumer Electronics Magazine
[link]
The Complexity of Multiple Handed Self-assembly
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
International Conference on Unconventional Computation and Natural Computation
[link]
[Presentation]
Fast reconfiguration of robot swarms with uniform control signals
David Caballero, Angel A Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
Natural Computing
[link]
Covert computation in staged self-assembly: Verification is PSPACE-complete
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
29th Annual European Symposium on Algorithms (ESA 2021)
[link]
Relocating units in robot swarms with uniform control signals is PSPACE-complete
David Caballero, Angel A Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
The Canadian Conference on Computational Geometry (CCCG 2020)
[link]
Building Patterned Shapes in Robot Swarms with Uniform Control Signals
David Caballero, Angel A Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
The Canadian Conference on Computational Geometry (CCCG 2020)
[link]
Verification and Computation in Restricted Tile Automata
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
26th International Conference on DNA Computing and Molecular Programming (DNA 26)
[link]
[Presentation]
Natural Computing
[link]
Hierarchical Shape Construction and Complexity for Slidable Polyominos under Uniform External Forces
Jose Balanza-Martinez, David Caballero, Angel A. Cantu, Mauricio Flores, Timothy Gomez, Austin Luchsinger, Rene Reyes, Robert Schweller, Tim Wylie
ACM-SIAM Symposium on Discrete Algorithms (SODA 2020)
[link]
[Presentation]
Relocation with Uniform External Control in Limited Directions
Jose Balanza-Martinez, David Caballero, Angel Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
Japan Conference on Discrete and Computational Geometry, Graphs, and Games: (JCDCG^3 2019)
[link]
Hardness of Reconfiguring Robot Swarms with Uniform External Control in Limited Directions
Journal of Information Processing
Jose Balanza-Martinez, David Caballero, Angel Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
[link]
I am intrested in Computational Complexity, Natural Computing, Unconventional Models of Computation, and Game Theory.