Timothy Gomez

48 papers A* 3A 1B 5C 2Journal 20Unranked 17
YearRankTypeTitle / Venue / Authors
2026 — conf
A Novel Reduction from #SAT to #2SAT Based on Symmetry:
SOSA
Max Bannach, Erik D. Demaine, Timothy Gomez, Markus Hecher
2025 A* conf
#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
LICS
Max Bannach, Erik D. Demaine, Timothy Gomez, Markus Hecher
2025 J jnl
#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
CoRR
Max Bannach, Erik D. Demaine, Timothy Gomez, Markus Hecher
2025 — conf
Brief Announcement: Intrinsic Universality in Seeded Active Tile Self-Assembly.
SAND
Timothy Gomez, Elise Grizzell, Asher Haun, Ryan Knobel, Tom Peters, Robert Schweller, Tim Wylie
2025 — conf
Brief Announcement: Reachability in Deletion-Only Chemical Reaction Networks.
SAND
Bin Fu, Timothy Gomez, Ryan Knobel, Austin Luchsinger, Aiden Massie, Marco Rodriguez, Adrian Salinas, Robert Schweller, Tim Wylie
2025 — conf
Covert Computation in the Prebuilt aTAM.
CCCG
Timothy Gomez, Robert Schweller, Tim Wylie
2025 C conf
ETH Lower Bounds for n-Queens: Time Waits for Nobody.
IWOCA
Josh Brunner, Erik D. Demaine, Timothy Gomez, Markus Hecher, Meryl Zhang
2025 — conf
Hardness of Traversing Gadget Systems with Small Bandwidth.
SAND
MIT Gadgets Group, Erik D. Demaine, Jenny Diomidova, Timothy Gomez, Markus Hecher, Jayson Lynch
2025 B conf
Reachability in Deletion-Only Chemical Reaction Networks.
DNA
Bin Fu, Timothy Gomez, Ryan Knobel, Austin Luchsinger, Aiden Massie, Marco Rodriguez, Adrian Salinas, Robert Schweller, Tim Wylie
2025 J jnl
Reachability in restricted chemical reaction networks.
Theor. Comput. Sci.
Robert M. Alaniz, Bin Fu, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Marco Rodriguez, Robert Schweller, Tim Wylie
2025 J jnl
Uniform robot relocation is hard in only two directions even without obstacles.
Nat. Comput.
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
2024 — conf
Agent Motion Planning as Block Asynchronous Cellular Automata: Pushing, Pulling, Suplexing, and More.
UCNC
Hayashi Ani, Josh Brunner, Erik D. Demaine, Jenny Diomidova, Timothy Gomez, Della H. Hendrickson, Yael Kirkpatrick, Jeffery Li, Jayson Lynch, Ritam Nag, Frederick Stock
2024 C conf
Computing Threshold Circuits with Void Reactions in Step Chemical Reaction Networks.
MCU
Rachel Anderson, Alberto Avila, Bin Fu, Timothy Gomez, Elise Grizzell, Aiden Massie, Gourab Mukhopadhyay, Adrian Salinas, Robert Schweller, Evan Tomai, Tim Wylie
2024 J jnl
Computing Threshold Circuits with Void Reactions in Step Chemical Reaction Networks.
CoRR
Rachel Anderson, Alberto Avila, Bin Fu, Timothy Gomez, Elise Grizzell, Aiden Massie, Gourab Mukhopadhyay, Adrian Salinas, Robert Schweller, Evan Tomai, Tim Wylie
2024 B conf
Domain-Based Nucleic-Acid Minimum Free Energy: Algorithmic Hardness and Parameterized Bounds.
DNA
Erik D. Demaine, Timothy Gomez, Elise Grizzell, Markus Hecher, Jayson Lynch, Robert Schweller, Ahmed Shalaby, Damien Woods
2024 B conf
Easier Ways to Prove Counting Hard: A Dichotomy for Generalized #SAT, Applied to Constraint Graphs.
ISAAC
MIT Hardness Group, Josh Brunner, Erik D. Demaine, Jenny Diomidova, Timothy Gomez, Markus Hecher, Frederick Stock, Zixiang Zhou
2024 J jnl
Intrinsic Universality in Seeded Active Tile Self-Assembly.
CoRR
Timothy Gomez, Elise Grizzell, Asher Haun, Ryan Knobel, Tom Peters, Robert Schweller, Tim Wylie
2024 J jnl
Verification and computation in restricted Tile Automata.
Nat. Comput.
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
2023 J jnl
Building squares with optimal state complexity in restricted active self-assembly.
J. Comput. Syst. Sci.
Robert M. Alaniz, David Caballero, Sonya C. Cirlos, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, Armando Tenorio, Tim Wylie
2023 — conf
Complexity of Motion Planning of Arbitrarily Many Robots: Gadgets, Petri Nets, and Counter Machines.
SAND
Joshua Ani, Michael J. Coulombe, Erik D. Demaine, Jenny Diomidova, Timothy Gomez, Dylan H. Hendrickson, Jayson Lynch
2023 J jnl
Complexity of Motion Planning of Arbitrarily Many Robots: Gadgets, Petri Nets, and Counter Machines.
CoRR
Joshua Ani, Michael J. Coulombe, Erik D. Demaine, Jenny Diomidova, Timothy Gomez, Dylan H. Hendrickson, Jayson Lynch
2023 B conf
Complexity of Reconfiguration in Surface Chemical Reaction Networks.
DNA
Robert M. Alaniz, Josh Brunner, Michael J. Coulombe, Erik D. Demaine, Jenny Diomidova, Timothy Gomez, Elise Grizzell, Ryan Knobel, Jayson Lynch, Andrew Rodriguez, Robert Schweller, Tim Wylie
2023 J jnl
Complexity of Reconfiguration in Surface Chemical Reaction Networks.
CoRR
Robert M. Alaniz, Josh Brunner, Michael J. Coulombe, Erik D. Demaine, Jenny Diomidova, Ryan Knobel, Timothy Gomez, Elise Grizzell, Jayson Lynch, Andrew Rodriguez, Robert Schweller, Tim Wylie
2023 J jnl
Complexity of Solo Chess with Unlimited Moves.
CoRR
Josh Brunner, Lily Chung, Michael J. Coulombe, Erik D. Demaine, Timothy Gomez, Jayson Lynch
2023 J jnl
Complexity of verification in self-assembly with prebuilt assemblies.
J. Comput. Syst. Sci.
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
2023 — conf
Covert Computation in the Abstract Tile-Assembly Model.
SAND
Robert M. Alaniz, David Caballero, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, Tim Wylie
2023 — conf
Reconfiguration of Linear Surface Chemical Reaction Networks with Bounded State Change.
CCCG
Robert M. Alaniz, Michael J. Coulombe, Erik D. Demaine, Bin Fu, Ryan Knobel, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, Tim Wylie
2023 — conf
Simulation of Multiple Stages in Single Bin Active Tile Self-assembly.
UCNC
Sonya C. Cirlos, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, Tim Wylie
2023 — conf
Uniform Robot Relocation Is Hard in only Two Directions Even Without Obstacles.
UCNC
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
2023 J jnl
Unique Assembly Verification in Two-Handed Self-Assembly.
Algorithmica
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
2022 — conf
Building Squares with Optimal State Complexity in Restricted Active Self-Assembly.
SAND
Robert M. Alaniz, David Caballero, Sonya C. Cirlos, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, Armando Tenorio, Tim Wylie
2022 J jnl
Building Squares with Optimal State Complexity in Restricted Active Self-Assembly.
CoRR
Robert M. Alaniz, David Caballero, Sonya C. Cirlos, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, Armando Tenorio, Tim Wylie
2022 — conf
Complexity of Solo Chess with Unlimited Moves.
JCDCGGG
Josh Brunner, Lily Chung, Michael J. Coulombe, Erik D. Demaine, Timothy Gomez, Jayson Lynch
2022 — conf
Complexity of Verification in Self-Assembly with Prebuilt Assemblies.
SAND
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
2022 J jnl
Reachability in Restricted Chemical Reaction Networks.
CoRR
Robert M. Alaniz, Bin Fu, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, Tim Wylie
2022 J jnl
Reliability and Security of Extreme Parallelism.
IEEE Consumer Electron. Mag.
Timothy Gomez, Ryan Luna, Sheikh Ariful Islam
2022 A* conf
Unique Assembly Verification in Two-Handed Self-Assembly.
ICALP
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
2021 A conf
Covert Computation in Staged Self-Assembly: Verification Is PSPACE-Complete.
ESA
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
2021 J jnl
Fast reconfiguration of robot swarms with uniform control signals.
Nat. Comput.
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
2021 — conf
The Complexity of Multiple Handed Self-assembly.
UCNC
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
2021 J jnl
Unique Assembly Verification in Two-Handed Self-Assembly.
CoRR
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
2020 — conf
Building Patterned Shapes in Robot Swarms with Uniform Control Signals.
CCCG
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
2020 J jnl
Hardness of Reconfiguring Robot Swarms with Uniform External Control in Limited Directions.
CoRR
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
2020 J jnl
Hardness of Reconfiguring Robot Swarms with Uniform External Control in Limited Directions.
J. Inf. Process.
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
2020 A* conf
Hierarchical Shape Construction and Complexity for Slidable Polyominoes under Uniform External Forces.
SODA
Jose Balanza-Martinez, Timothy Gomez, David Caballero, Austin Luchsinger, Angel A. Cantu, Rene Reyes, Mauricio Flores, Robert Schweller, Tim Wylie
2020 — conf
Relocating Units in Robot Swarms with Uniform Control Signals is PSPACE-Complete.
CCCG
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, Tim Wylie
2020 B conf
Verification and Computation in Restricted Tile Automata.
DNA
David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie
2019 J jnl
Full Tilt: Universal Constructors for General Shapes with Uniform External Forces.
CoRR
Jose Balanza-Martinez, David Caballero, Angel A. Cantu, Luis Angel Garcia, Timothy Gomez, Austin Luchsinger, Rene Reyes, Robert Schweller, Tim Wylie