Population-induced phase transitions and the verification of chemical reaction networks - James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Hugh D. Potter; Matthew R. Riley (Nat. Comput., 2024)

ALCH: An imperative language for chemical reaction network-controlled tile assembly - Titus H. Klinge; James I. Lathrop; Sonia Moreno; Hugh D. Potter; Narun K. Raman; Matthew R. Riley (Nat. Comput., 2024)

Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks - James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Hugh D. Potter; Matthew R. Riley (26th International Conference on DNA Computing and Molecular Programming, DNA 26, September 14-17, 2020, Oxford, UK (Virtual Conference), 2020)

ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly - Titus H. Klinge; James I. Lathrop; Sonia Moreno; Hugh D. Potter; Narun K. Raman; Matthew R. Riley (26th International Conference on DNA Computing and Molecular Programming, DNA 26, September 14-17, 2020, Oxford, UK (Virtual Conference), 2020)

Robustness and games against nature in molecular programming - Jack H. Lutz; Neil Lutz; Robyn R. Lutz; Matthew R. Riley (Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2019, Montreal, QC, Canada, May 29-31, 2019, 2019)

Robustness and Games Against Nature in Molecular Programming - Jack H. Lutz; Neil Lutz; Robyn R. Lutz; Matthew R. Riley (CoRR, 2019)

Quorum Sensing and Verification in Chemical Reaction Networks - James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Hugh D. Potter; Matthew R. Riley (CoRR, 2019)