Publications |
|
2025 |
|
2024 |
Verification and Computation in Restricted Tile Automata.
David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie.
Natural Computing, 23(2): 387-405, 2024.
[url]
Building Discrete Self-Similar Fractals in Seeded Tile Automata.
Ryan Knobel, Adrian Salinas, Robert Schweller, and Tim Wylie.
Proc. of the 36th Canadian Conf. on Computational Geometry (CCCG'24), 351-359 2024.
Computing Threshold Circuits with Void Reactions in Step Chemical Reaction Networks.
Rachel Anderson, Alberto Avila, Bin Fu, Timothy Gomez, Elise Grizzell, Aiden Massie, Gourab Mukhopadhyay, Adrian Salinas, Robert Schweller, Evan Tomai, and Tim Wylie.
Proc. of the 10th Intl. Conf. on Machines, Computations, and Universality (MCU'24), 2024.
Computing Threshold Circuits with Bimolecular Void Reactions in Step Chemical Reaction Networks.
Rachel Anderson, Bin Fu, Aiden Massie, Gourab Mukhopadhyay, Adrian Salinas, Robert Schweller, Evan Tomai, and Tim Wylie.
Proc. of the 21st Intl. Conf. on Unconventional Computation and Natural Computation (UCNC'24), 253–268, 2024.
[url]
Row Shifting as a Puzzle Mechanic in Generalized Connect Four.
Jeffrey Cutsinger and Tim Wylie.
IEEE Conference on Games (COG'24), 1-4, 2024.
[url]
Computing Threshold Circuits with Void Reactions in Step Chemical Reaction Networks.
Rachel Anderson, Alberto Avila, Bin Fu, Timothy Gomez, Elise Grizzell, Aiden Massie, Gourab Mukhopadhyay, Adrian Salinas, Robert Schweller, Evan Tomai, and Tim Wylie.
arXiv:2402.08220, 2024.
[url]
Computing Threshold Circuits with Bimolecular Void Reactions in Step Chemical Reaction Networks.
Rachel Anderson, Bin Fu, Aiden Massie, Gourab Mukhopadhyay, Adrian Salinas, Robert Schweller, Evan Tomai, and Tim Wylie.
arXiv:2405.00940, 2024.
[url]
Intrinsic Universality in Seeded Active Tile Self-Assembly.
Timothy Gomez, Elise Grizzell, Asher Haun, Ryan Knobel, Tom Peters, Robert Schweller, and Tim Wylie.
arXiv:2407.11545, 2024.
[url]
A Simple Proof that Ricochet Robots is PSPACE-Complete.
Jose Balanza-Martinez, Angel A. Cantu, Robert Schweller, and Tim Wylie.
arXiv:2402.11440, 2024.
[url]
|
2023 |
Unique Assembly Verification in Two-Handed Self-Assembly.
David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie.
Algorithmica, 85, 2427–2453, 2023.
[url]
Complexity of Verification in Self-Assembly with Prebuilt Assemblies.
David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie.
Journal of Computer and System Sciences, 136, 1-16, 2023.
[url]
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, and Tim Wylie.
Journal of Computer and System Sciences, 138, 103462, 2023.
[url]
Uniform Robot Relocation is Hard in only two Directions even without Obstacles.
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, and Tim Wylie.
Proc. of the 20th Intl. Conf. on Unconventional Computation and Natural Computation (UCNC'23), 17-31, 2023.
[url]
Simulation of Multiple Stages in Single Bin Active Tile Self-Assembly.
Sonya C. Cirlos, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, and Tim Wylie.
Proc. of the 20th Intl. Conf. on Unconventional Computation and Natural Computation (UCNC'23), 155-170, 2023.
[url]
Covert Computation in the Abstract Tile-Assembly Model.
Robert M. Alaniz, David Caballero, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, and Tim Wylie.
Proc. of the Symposium on Algorithmic Foundations of Dynamic Networks (SAND'23), 12:1--12:17, 2023.
[url]
Reconfiguration of Linear Surface Chemical Reaction Networks with Bounded State Change.
Robert M. Alaniz, Michael Coulombe, Erik D. Demaine, Bin Fu, Ryan Knobel, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, and Tim Wylie.
Proc. of the 35th Canadian Conf. on Computational Geometry (CCCG'23), 265-271, 2023.
Complexity of Reconfiguration in Surface Chemical Reaction Networks.
Robert M. Alaniz, Josh Brunner, Michael Coulombe, Erik D. Demaine, Yevhenii Diomidov, Timothy Gomez, Elise Grizzell, Ryan Knobel, Jayson Lynch, Andrew Rodriguez, Robert Schweller and Tim Wylie
Proc. of the 29th Intl. Conf. on DNA Computing and Molecular Programming (DNA'23), 10:1--10:18, 2023.
[url]
Complexity of Reconfiguration in Surface Chemical Reaction Networks.
Robert M. Alaniz, Josh Brunner, Michael Coulombe, Erik D. Demaine, Yevhenii Diomidov, Timothy Gomez, Elise Grizzell, Ryan Knobel, Jayson Lynch, Andrew Rodriguez, Robert Schweller, and Tim Wylie.
arXiv:2303.15556, 2023.
[url]
|
2022 |
Unique Assembly Verification in Two-Handed Self-Assembly.
David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie.
Proc. of the 49th Intl. Colloquium on Automata, Languages, and Programming (ICALP'22), 229, 34:1--34:21, 2022.
[url]
Complexity of Verification in Self-Assembly with Prebuilt Assemblies.
David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie.
Proc. of the Symposium on Algorithmic Foundations of Dynamic Networks (SAND'22), 221, 8:1--8:15, 2022.
[url]
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, and Tim Wylie.
Proc. of the Symposium on Algorithmic Foundations of Dynamic Networks (SAND'22), 221, 6:1--6:18, 2022.
[url]
Fewest Moves Inequality Constraint Puzzles (Short Abstract).
Robert M. Alaniz, Timothy Gomez, Robert Schweller, and Tim Wylie.
the 24th Japan Conf. on Discrete and Computational Geometry, Graphs, and Games (JCDCG3'22), 70-71, 2022.
Reachability in Population Protocols is PSPACE-Complete (Short Abstract).
Bin Fu, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, and Tim Wylie.
the 24th Japan Conf. on Discrete and Computational Geometry, Graphs, and Games (JCDCG3'22), 72-73, 2022.
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, and Tim Wylie.
arXiv:2211.12589, 2022.
[url]
Reachability in Restricted Chemical Reaction Networks.
Robert M. Alaniz, Bin Fu, Timothy Gomez, Elise Grizzell, Andrew Rodriguez, Robert Schweller, and Tim Wylie.
arXiv:2211.12603, 2022.
[url]
|
2021 |
Fast Reconfiguration of Robot Swarms with Uniform Control Signals.
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, and Tim Wylie.
Natural Computing, 20, 659-669, 2021.
[url]
Covert Computation in Self-Assembled Circuits.
Angel A. Cantu, Austin Luchsinger, Robert Schweller, and Tim Wylie.
Algorithmica, 83(2): 531-552, 2021.
[url, pdf]
Covert Computation in Staged Self-Assembly: Verification is PSPACE-complete.
David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie.
Proc. of the 29th European Symposium on Algorithms (ESA'21), 23:1-23:18, 2021.
[url]
The Complexity of Multiple Handed Self-Assembly.
David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie.
Proc. of the 19th Intl. Conf. on Unconventional Computation and Natural Computation (UCNC'21), 1-18, 2021.
[url]
Unit Tilt Row Relocation in a Square (Short Abstract).
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, and Tim Wylie
The 23rd Thailand-Japan Conf. on Discrete and Computational Geometry, Graphs, and Games (TJCDCG3'2020+1), 122-123, 2021.
Unique Assembly Verification in Two-Handed Self-Assembly.
David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie.
arXiv:2112.05070, 2021.
[url]
|
2020 |
Hardness of Reconfiguring Robot Swarms with Uniform External Control in Limited Directions.
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, and Tim Wylie.
Journal of Information Processing, 28:782-790, 2020.
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, and Tim Wylie.
Proc. of the 31st ACM-SIAM Symposium on Discrete Algorithms (SODA'20), 2625-2641, 2020.
[url]
Verification and Computation in Restricted Tile Automata.
David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie.
Proc. of the 26th Intl. Conf. on DNA Computing and Molecular Programming (DNA'20), 10:1-10:18, 2020.
[url]
Signal Passing Self-Assembly Simulates Tile Automata.
Angel A. Cantu, Austin Luchsinger, Robert Schweller, and Tim Wylie.
Proc. of the 31st Intl. Symposium on Algorithms and Computation (ISAAC'20), 53:1-53:17, 2020.
[url]
Relocating Units in Robot Swarms with Uniform Control Signals is PSPACE-Complete.
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, and Tim Wylie.
Proc. of the 32nd Canadian Conf. on Computational Geometry (CCCG'20), 49-55, 2020.
Building Patterned Shapes in Robot Swarms with Uniform Control Signals.
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, and Tim Wylie.
Proc. of the 32nd Canadian Conf. on Computational Geometry (CCCG'20), 59-62, 2020.
Hardness of Reconfiguring Robot Swarms with Uniform External Control in Limited Directions.
David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, and Tim Wylie.
arXiv:2003.13097, 2020.
[url]
|
2019 |
Nearly Constant Tile Complexity for any Shape in Two-Handed Tile Assembly.
Robert Schweller, Andrew Winslow, and Tim Wylie.
Algorithmica, 81(8), 3114-3135, 2019.
[url]
Optimal Staged Self-Assembly of Linear Assemblies.
Cameron Chalk, Eric Martinez, Robert Schweller, Luis Vega, Andrew Winslow, and Tim Wylie.
Natural Computing, 18(3) 527-548, 2019.
[url]
Self-Assembly of Shapes at Constant Scale using Repulsive Forces.
Austin Luchsinger, Robert Schweller, and Tim Wylie.
Natural Computing, 18(1), 93-105, 2019.
[url]
Verification in Staged Tile Self-Assembly.
Robert Schweller, Andrew Winslow, and Tim Wylie.
Natural Computing, 18(1), 107-117, 2019.
[url]
Crazy Sequential Representations of Numbers for Small Bases.
Tim Wylie.
Recreational Mathematics Magazine, 6(12), 33–48, ISSN 2182-1976, Dec. 2019.
[url]
Full Tilt: Universal Constructors for General Shapes with Uniform External Forces.
Jose Balanza-Martinez, David Caballero, Angel A. Cantu, Luis Angel Garcia, Austin Luchsinger, Rene Reyes, Robert Schweller, and Tim Wylie.
Proc. of the 30th ACM-SIAM Symposium on Discrete Algorithms (SODA'19), 2689-2708, 2019.
[url]
Covert Computation in Self-Assembled Circuits.
Angel A. Cantu, Austin Luchsinger, Robert Schweller, and Tim Wylie.
Proc. of the 46th Intl. Colloquium on Automata, Languages, and Programming (ICALP'19), 132, 31:1--31:14, 2019.
[url]
Discrete Planar Map Matching.
Bin Fu, Robert Schweller, and Tim Wylie.
Proc. of the 31st Canadian Conf. on Computational Geometry (CCCG'19), 218-224, 2019.
[pdf]
Relocation with Uniform External Control in Limited Directions (Short Abstract).
Jose Balanza-Martinez, David Caballero, Angel A. Cantu, Timothy Gomez, Austin Luchsinger, Robert Schweller, and Tim Wylie.
The 22nd Japan Conf. on Discrete and Computational Geometry, Graphs, and Games (JCDCG3'19), 39-40, 2019.
[pdf]
Full Tilt: Universal Constructors for General Shapes with Uniform External Forces.
Jose Balanza-Martinez, David Caballero, Angel A. Cantu, Luis Angel Garcia, Timothy Gomez, Austin Luchsinger, Rene Reyes, Robert Schweller, and Tim Wylie.
arXiv:1907.06741, 2019.
[url]
Covert Computation in Self-Assembled Circuits.
Angel A. Cantu, Austin Luchsinger, Robert Schweller, and Tim Wylie.
arXiv:1908.06068, 2019.
[url]
|
2018 |
Optimal Staged Self-Assembly of General Shapes.
Cameron Chalk, Eric Martinez, Robert Schweller, Luis Vega, Andrew Winslow, and Tim Wylie.
Algorithmica, 80(4), 1383-1409, 2018.
[url]
Self-Assembly of Any Shape with Constant Tile Types using High Temperature.
Cameron Chalk, Austin Luchsinger, Robert Schweller, and Tim Wylie.
Proc. of the 26th European Symposium on Algorithms (ESA'18), 14:1-14:14, 2018.
[url]
Freezing Simulates Non-freezing Tile Automata.
Cameron Chalk, Austin Luchsinger, Eric Martinez, Robert Schweller, Andrew Winslow, and Tim Wylie.
Proc. of 24th Intl. Conf. on DNA Computing and Molecular Programming (DNA'18), 155-172, 2018.
[url]
Optimal Staged Self-Assembly of Linear Assemblies.
Cameron Chalk, Eric Martinez, Robert Schweller, Luis Vega, Andrew Winslow, and Tim Wylie.
Proc. of 17th Intl. Conf. on Unconventional Computation and Natural Computation (UCNC'18), 32-45, 2018.
[url]
Tile Pattern-Building Games on a Grid are PSPACE-complete (Short Abstract).
Angel A. Cantu, Arturo Gonzalez, Cesar Lozano, Austin Luchsinger, Fernando Martinez, Eduardo Medina, Arnoldo Ramirez, and Tim Wylie.
The 21st Japan Conf. on Discrete and Computational Geometry, Graphs, and Games (JCDCG3'18), 18-21, 2018.
[url]
Crazy Sequential Representations of Numbers for Small Bases.
Tim Wylie.
arXiv:1810.05070, 2018.
[url]
|
2017 |
Concentration Independent Random Number Generation in Tile Self-Assembly.
Cameron Chalk, Bin Fu, Eric Martinez, Robert Schweller, and Tim Wylie.
Theoretical Computer Science, 667, 1-15, March 2017.
[url]
Universal Shape Replicators via Self-Assembly with Attractive and Repulsive Forces.
Cameron Chalk, Erik D. Demaine, Martin L. Demaine, Eric Martinez, Robert Schweller, Luis Vega, and Tim Wylie.
Proc. of the 28th ACM-SIAM Symposium on Discrete Algorithms (SODA'17), 225-238, 2017.
[url]
Complexities for High-Temperature Two-Handed Tile Self-Assembly.
Robert Schweller, Andrew Winslow, and Tim Wylie.
Proc. of the 23rd Intl. Conf. on DNA Computing and Molecular Programming (DNA'17), 98-109, 2017.
[url]
Verification in Staged Tile Self-Assembly.
Robert Schweller, Andrew Winslow, and Tim Wylie.
Proc. of the 16th Intl. Conf. on Unconventional Computation and Natural Computation (UCNC'17), 98-112, 2017.
[url]
Self-Assembly of Shapes at Constant Scale using Repulsive Forces.
Austin Luchsinger, Robert Schweller, and Tim Wylie.
Proc. of the 16th Intl. Conf. on Unconventional Computation and Natural Computation (UCNC'17), 82-97, 2017.
[url]
Verification in Staged Tile Self-Assembly.
Robert Schweller, Andrew Winslow, and Tim Wylie.
arXiv:1703.04598, 2017.
[url]
|
2016 |
Enabling High-Dimensional Range Queries using kNN Indexing Techniques: Approaches and Empirical Results.
Tim Wylie, Michael A. Schuh, and Rafal A. Angryk.
Journal of Combinatorial Optimization, 32(4), 1107-1132, 2016.
[url]
Optimal Staged Self-Assembly of General Shapes.
Cameron Chalk, Eric Martinez, Robert Schweller, Luis Vega, Andrew Winslow, and Tim Wylie.
Proc. of the 24th European Symposium of Algorithms (ESA'16), 57, 26:1--26:17, 2016.
[pdf]
An Interesting Gadget for Chain Pair Simplification.
Tim Wylie.
arXiv:1607.06539, 2016.
[url]
Concentration Independent Random Number Generation in Tile Self-Assembly.
Cameron Chalk, Bin Fu, Eric Martinez, Robert Schweller, and Tim Wylie.
arXiv:1506.00680v2, 2016.
[url]
Universal Shape Replicators via Self-Assembly with Attractive and Repulsive Forces.
Cameron Chalk, Erik D. Demaine, Martin L. Demaine, Eric Martinez, Robert Schweller, Luis Vega, and Tim Wylie.
arXiv:1608.00477, 2016.
[url]
Self-Assembly of Shapes at Constant Scale using Repulsive Forces.
Austin Luchsinger, Robert Schweller, and Tim Wylie.
arXiv:1608.04791, 2016.
[url]
|
2015 |
Whole Genome SNP Genotype Piecemeal Imputation.
Yining Wang, Tim Wylie, Paul Stothard, and Guohui Lin.
BMC Bioinformatics, 16 (1) 340, 2015.
[url]
[pdf]
On Visualization Techniques for Solar Data Mining.
Michael A. Schuh, Juan M. Banda, Tim Wylie, Patrick McInerney, Karthik Ganesan Pillai, and Rafal A. Angryk.
Journal of Astronomy and Computing, 10:32-42, Apr 2015.
[url]
[pdf]
Flipping Tiles: Concentration Independent Coin Flips in Tile Self-Assembly.
Cameron T. Chalk, Bin Fu, Alejandro Huerta, Mario A. Maldonado, Eric Martinez, Robert T. Schweller, and Tim Wylie.
Proc. of the 21st Intl. Conf. on DNA Computing and Molecular Programming (DNA'15), 87-103, 2015.
[pdf]
On the Chain Pair Simplification Problem.
Chenglin Fan, Omrit Filtser, Matthew J. Katz, Tim Wylie, and Binhai Zhu.
Proc. of the 14th Algorithms and Data Structures Symposium (WADS'15), LNCS 9214, 351-362, 2015.
[pdf]
Optimal Staged Self-Assembly of General Shapes.
Cameron Chalk, Eric Martinez, Robert Schweller, Luis Vega, Andrew Winslow, and Tim Wylie.
arXiv:1510.03919, 2015.
[url]
|
2014 |
Following a Curve with the Discrete Fréchet Distance.
Tim Wylie and Binhai Zhu.
Theoretical Computer Science, 556:34-44, Oct 2014.
[url]
[pdf]Approximating High-Dimensional Range Queries with kNN Indexing Techniques.
Michael A. Schuh, Tim Wylie, Chang Liu, and Rafal A. Angryk.
Proc. of the 20th Intl. Computing and Combinatorics Conf. (COCOON'14), LNCS 8591, 369-380, 2014.
Mitigating the Curse of Dimensionality for Exact kNN Retrieval.
Michael A. Schuh, Tim Wylie, and Rafal A. Angryk.
Proc. of the 27th Intl. Florida A.I. Research Society Conf. (FLAIRS'14), Pages 363-368, 2014.
[pdf] On the Chain Pair Simplification Problem.
Chenglin Fan, Omrit Filtser, Matthew J. Katz, Tim Wylie, and Binhai Zhu.
arXiv:1409.2457, 2014.
[url] Intermittent Map Matching with the Discrete Fréchet Distance.
Tim Wylie and Binhai Zhu.
arXiv:1409.2456, 2014.
[url]
|
2013 |
Protein Chain Pair Simplification Under the Discrete Fréchet Distance.
Tim Wylie and Binhai Zhu.
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10(6):1372-1383, Nov/Dec 2013.
[pdf]Discretely Following a Curve.
Tim Wylie.
Proc. of the 7th Intl. Conf. on Combinatorial Optimization and Applications (COCOA'13),
LNCS 8287, 13-24, 2013.
Cluster Analysis for Optimal Indexing.
Tim Wylie, Michael A. Schuh, John Sheppard, and Rafal A. Angryk.
Proc. of the 26th Intl. Florida A.I. Research Society Conf. (FLAIRS'13), 166-171, 2013.
[pdf] Improving the Performance of High-dimensional kNN Retrieval Through Localized Dataspace Segmentation and Hybrid Indexing.
Michael A. Schuh, Tim Wylie, and Rafal A. Angryk.
Proc. of the 17th East-European Conf. on Advances in Databases and Information Systems (ADBIS'13),
LNCS 8133, 344-357, 2013.
[pdf] When Too Similar is Bad: A Practical Example of the Solar Dynamics Observatory Content-Based Image-Retrieval System.
Juan M. Banda, Michael A. Schuh, Tim Wylie, Patrick McInerney, and Rafal A. Angryk.
New Trends in Databases and Information Systems, 241:87-95, 2013.
A Comprehensive Study of iDistance Partitioning Strategies for kNN Queries and High-Dimensional Data Indexing.
Michael A. Schuh, Tim Wylie, Juan M. Banda, and Rafal A. Angryk.
Proc. of the 29th British National Conf. on Databases (BNCOD'13),
LNCS 7968, 238-252, 2013.
[pdf] Spatiotemporal Co-occurrence Rules.
Karthik Ganesan Pillai, Rafal A. Angryk, Juan M. Banda, Tim Wylie, and Michael A. Schuh.
New Trends in Databases and Information Systems, 241:27-35, 2013.
The Discrete Fréchet Distance with Applications.
Tim Wylie.
Ph.D. Dissertation, Montana State University, 2013.
|
2012 |
A Polynomial Time Solution for Protein Chain Pair Simplification Under the Discrete Fréchet Distance.
Tim Wylie and Binhai Zhu.
Proc. of the 2012 Intl. Sym. on Bioinformatics Research and Applications (ISBRA’12),
LNBI 7292, 287-298, May, 2012.
Spatio-temporal Co-occurrence Pattern Mining in Data Sets with Evolving Regions.
Karthik Ganesan Pillai, Rafal A. Angryk, Juan M. Banda, Michael A. Schuh, and Tim Wylie.
IEEE Intl. Conf. on Data Mining Workshops, 805-812, 2012.
Discretely Following a Curve (Short Abstract).
Tim Wylie and Binhai Zhu.
Computational Geometry: Young Researchers Forum (CG:YRF), 33-34, 2012.
|
2011 |
|
2010 |
|