Robustness and games against nature in molecular programming. - Jack H. Lutz; Neil Lutz; Robyn R. Lutz; Matthew R. Riley (ICSE (NIER), 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)

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 (Nat. Comput., 2024)