David Caballero

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 26

Top Topics

Control Signals

Formal Analysis

Top Venues

J. Comput. Syst. Sci.

Publications

David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie
Verification and computation in restricted Tile Automata. Nat. Comput. 23 (2) (2024)
David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie
Unique Assembly Verification in Two-Handed Self-Assembly. Algorithmica 85 (8) (2023)
David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie
Complexity of verification in self-assembly with prebuilt assemblies. J. Comput. Syst. Sci. 136 (2023)
Robert M. Alaniz, David Caballero, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert T. Schweller, Tim Wylie
Covert Computation in the Abstract Tile-Assembly Model. SAND (2023)
Robert M. Alaniz, David Caballero, Sonya C. Cirlos, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert T. Schweller, Armando Tenorio, Tim Wylie
Building squares with optimal state complexity in restricted active self-assembly. J. Comput. Syst. Sci. 138 (2023)
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert T. Schweller, Tim Wylie
Uniform Robot Relocation Is Hard in only Two Directions Even Without Obstacles. UCNC (2023)
David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie
Unique Assembly Verification in Two-Handed Self-Assembly. ICALP (2022)
Robert M. Alaniz, David Caballero, Sonya C. Cirlos, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert T. Schweller, Armando Tenorio, Tim Wylie
Building Squares with Optimal State Complexity in Restricted Active Self-Assembly. SAND (2022)
David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie
Complexity of Verification in Self-Assembly with Prebuilt Assemblies. SAND (2022)
Robert M. Alaniz, David Caballero, Sonya C. Cirlos, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert T. Schweller, Armando Tenorio, Tim Wylie
Building Squares with Optimal State Complexity in Restricted Active Self-Assembly. CoRR (2022)
David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie
The Complexity of Multiple Handed Self-assembly. UCNC (2021)
Nevena Milivojevic, David Caballero, Mariana R. Carvalho, Mihajlo Kokanovic, Marko Zivanovic, Nenad Filipovic, Rui Luís Reis, Joaquim Miguel Oliveira
A Microfludic Platform as An In Vitro Model for Biomedical Experimentation - A Cell Migration Study. BIBE (2021)
David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie
Unique Assembly Verification in Two-Handed Self-Assembly. CoRR (2021)
David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie
Covert Computation in Staged Self-Assembly: Verification Is PSPACE-Complete. ESA (2021)
Edgar Maqueda, Sergio Toledo, David Caballero, Federico Gavilan, Jorge Rodas, Magno Ayala, Larizza Delorme, Raúl Gregor, Marco Rivera
Speed Control of a Six-Phase IM Fed by a Multi-Modular Matrix Converter Using an Inner PTC With Reduced Computational Burden. IEEE Access 9 (2021)
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert T. Schweller, Tim Wylie
Fast reconfiguration of robot swarms with uniform control signals. Nat. Comput. 20 (4) (2021)
David Caballero, Francisco Gonzalez, Sheikh Ariful Islam
Analysis of Network Protocols for Secure Communication. ISDFS (2021)
Sergio Toledo, David Caballero, Edgar Maqueda, S. Arrua, M. Gomez-Redondo, Raúl Gregor, Marco Rivera, Pat Wheeler
Fault Tolerant Predictive Control for Six-Phase Wind Generation Systems using Multi-Modular Matrix Converter. IECON (2021)
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert T. Schweller, Tim Wylie
Hardness of Reconfiguring Robot Swarms with Uniform External Control in Limited Directions. J. Inf. Process. 28 (2020)
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert T. Schweller, Tim Wylie
Building Patterned Shapes in Robot Swarms with Uniform Control Signals. CCCG (2020)
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert T. Schweller, Tim Wylie
Relocating Units in Robot Swarms with Uniform Control Signals is PSPACE-Complete. CCCG (2020)
David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie
Verification and Computation in Restricted Tile Automata. DNA (2020)
Jose Balanza-Martinez, Timothy Gomez, David Caballero, Austin Luchsinger, Angel A. Cantu, Rene Reyes, Mauricio Flores, Robert T. Schweller, Tim Wylie
Hierarchical Shape Construction and Complexity for Slidable Polyominoes under Uniform External Forces. SODA (2020)
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert T. Schweller, Tim Wylie
Hardness of Reconfiguring Robot Swarms with Uniform External Control in Limited Directions. CoRR (2020)
Jose Balanza-Martinez, Austin Luchsinger, David Caballero, Rene Reyes, Angel A. Cantu, Robert T. Schweller, Luis Angel Garcia, Tim Wylie
Full Tilt: Universal Constructors for General Shapes with Uniform External Forces. SODA (2019)
Jose Balanza-Martinez, David Caballero, Angel A. Cantu, Luis Angel Garcia, Timothy Gomez, Austin Luchsinger, Rene Reyes, Robert T. Schweller, Tim Wylie
Full Tilt: Universal Constructors for General Shapes with Uniform External Forces. CoRR (2019)
C. Isabella Bovolo, Simon J. Abele, James C. Bathurst, David Caballero, Marek Ciglan, George Eftichidis, Branislav Simo
A distributed framework for multi-risk assessment of natural hazards used to model the effects of forest fire on hydrology and sediment yield. Comput. Geosci. 35 (5) (2009)