| Publication | Date of Publication | Type |
|---|
| A novel reduction from \#SAT to \#2SAT based on symmetry: \textit{simply drop the large clauses} | 2026-07-08 | Paper |
| Easier ways to prove counting hard: a dichotomy for generalized \#SAT, applied to constraint graphs | 2026-06-08 | Paper |
| Complexity of solo chess with unlimited moves | 2026-01-28 | Paper |
| ETH lower bounds for n-queens: time waits for nobody | 2026-01-13 | Paper |
Reachability in restricted chemical reaction networks
Theoretical Computer Science | 2025-11-10 | Paper |
Uniform robot relocation is hard in only two directions even without obstacles
Natural Computing | 2025-07-21 | Paper |
| Computing threshold circuits with void reactions in step chemical reaction networks | 2025-04-15 | Paper |
| Agent motion planning as block asynchronous cellular automata: pushing, pulling, suplexing, and more | 2025-03-12 | Paper |
#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
(available as arXiv preprint) | 2025-01-01 | Paper |
| Unique assembly verification in two-handed self-assembly | 2024-06-24 | Paper |
Uniform robot relocation is hard in only two directions even without obstacles
Unconventional Computation and Natural Computation | 2024-01-12 | Paper |
Simulation of multiple stages in single bin active tile self-assembly
Unconventional Computation and Natural Computation | 2024-01-12 | Paper |
| Verification and computation in restricted tile automata | 2023-10-27 | Paper |
| scientific article; zbMATH DE number 7740878 (Why is no real title available?) | 2023-09-20 | Paper |
Fast reconfiguration of robot swarms with uniform control signals
Natural Computing | 2023-09-08 | Paper |
Building squares with optimal state complexity in restricted active self-assembly
Journal of Computer and System Sciences | 2023-08-21 | Paper |
Building squares with optimal state complexity in restricted active self-assembly
Journal of Computer and System Sciences | 2023-08-21 | Paper |
Unique assembly verification in two-handed self-assembly
Algorithmica | 2023-08-17 | Paper |
Unique assembly verification in two-handed self-assembly
Algorithmica | 2023-08-17 | Paper |
Complexity of verification in self-assembly with prebuilt assemblies
Journal of Computer and System Sciences | 2023-06-12 | Paper |
| The complexity of multiple handed self-assembly | 2022-07-06 | Paper |
| Building squares with optimal state complexity in restricted active self-assembly | 2022-01-01 | Paper |
| Complexity of verification in self-assembly with prebuilt assemblies | 2022-01-01 | Paper |
Hierarchical Shape Construction and Complexity for Slidable Polyominoes under Uniform External Forces
Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms | 2021-02-02 | Paper |
