Hugh D. Potter

According to our database, Hugh D. Potter authored at least 6 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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., June, 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., June, 2024

2022

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

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

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

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

2013

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

Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013