Author of the publication

Verification and Computation in Restricted Tile Automata.

, , , and . DNA, volume 174 of LIPIcs, page 10:1-10:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Unique Assembly Verification in Two-Handed Self-Assembly., , , and . Algorithmica, 85 (8): 2427-2453 (August 2023)Covert Computation in the Abstract Tile-Assembly Model., , , , , , and . SAND, volume 257 of LIPIcs, page 12:1-12:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Uniform Robot Relocation Is Hard in only Two Directions Even Without Obstacles., , , , , and . UCNC, volume 14003 of Lecture Notes in Computer Science, page 17-31. Springer, (2023)Complexity of verification in self-assembly with prebuilt assemblies., , , and . J. Comput. Syst. Sci., (2023)Building squares with optimal state complexity in restricted active self-assembly., , , , , , , , and . J. Comput. Syst. Sci., (December 2023)Building Squares with Optimal State Complexity in Restricted Active Self-Assembly., , , , , , , , and . SAND, volume 221 of LIPIcs, page 6:1-6:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Complexity of Reconfiguration in Surface Chemical Reaction Networks., , , , , , , , , and 2 other author(s). DNA, volume 276 of LIPIcs, page 10:1-10:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Relocating Units in Robot Swarms with Uniform Control Signals is PSPACE-Complete., , , , , and . CCCG, page 49-55. (2020)Hierarchical Shape Construction and Complexity for Slidable Polyominoes under Uniform External Forces., , , , , , , , and . SODA, page 2625-2641. SIAM, (2020)Complexity of Solo Chess with Unlimited Moves., , , , , and . CoRR, (2023)