Hugh D. Potter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2020–2026
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | RC | Discrete Semantics for Reversible Transistor Network Verification. | Hannah Blyton, Hugh D. Potter |
| 2022 | RE | 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 |
| 2020 | DNA | 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 |
| 2020 | DNA | 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 |