Hugh D. Potter

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

Collaborative distances:

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

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

2020

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

Proceedings of the 26th International Conference on DNA Computing and Molecular Programming, 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

Proceedings of the 26th International Conference on DNA Computing and Molecular Programming, 2020

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