Hugh D. Potter

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Chemical Reaction

Top Venues

Publications

Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, Matthew R. Riley
ALCH: An imperative language for chemical reaction network-controlled tile assembly. Nat. Comput. 23 (2) (2024)
James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, Matthew R. Riley
Population-induced phase transitions and the verification of chemical reaction networks. Nat. Comput. 23 (2) (2024)
James I. Lathrop, Robyn R. Lutz, Cameron Brecount, Hugh D. Potter, Kathryn Rohlfing, Jesse Slater, Joshua Wallin
SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line. RE (2022)
Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, Matthew R. Riley
ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly. DNA (2020)
James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, Matthew R. Riley
Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks. DNA (2020)
James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, Matthew R. Riley
Quorum Sensing and Verification in Chemical Reaction Networks. CoRR (2019)
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner, Hugh D. Potter
Runtime Fault Detection in Programmed Molecular Systems. ACM Trans. Softw. Eng. Methodol. 28 (2) (2019)