Leveraging GPUs in Ab Initio Nuclear Physics Calculations. - Dossay Oryspayev; Hugh D. Potter; Pieter Maris; Masha Sosonkina; James P. Vary; Sven Binder; Angelo Calci; Joachim Langhammer; Robert Roth (IPDPS Workshops, 2013)

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)

Runtime Fault Detection in Programmed Molecular Systems. - Samuel J. Ellis; Titus H. Klinge; James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Andrew S. Miner; Hugh D. Potter (ACM Trans. Softw. Eng. Methodol., 2019)

SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line. - James I. Lathrop; Robyn R. Lutz; Cameron Brecount; Hugh D. Potter; Kathryn Rohlfing; Jesse Slater; Joshua Wallin (RE, 2022)

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)