Engineering and verifying requirements for programmable self-assembling nanomachines. - Robyn R. Lutz; Jack H. Lutz; James I. Lathrop; Titus H. Klinge; Eric R. Henderson; Divita Mathur; Dalia Abo Sheasha (ICSE, 2012)

Requirements analysis for a product family of DNA nanodevices. - Robyn R. Lutz; Jack H. Lutz; James I. Lathrop; Titus H. Klinge; Divita Mathur; Donald M. Stull; Taylor Bergquist; Eric R. Henderson (RE, 2012)

Automated requirements analysis for a molecular watchdog timer. - Samuel J. Ellis; Eric R. Henderson; Titus H. Klinge; James I. Lathrop; Jack H. Lutz; Robyn R. Lutz; Divita Mathur; Andrew S. Miner (ASE, 2014)

Robust Signal Restoration in Chemical Reaction Networks. - Titus H. Klinge (NANOCOM, 2016)

Robust Combinatorial Circuits in Chemical Reaction Networks. - Samuel J. Ellis; Titus H. Klinge; James I. Lathrop (TPNC, 2017)

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 (CoRR, 2017)

A Functional Approach to Data Science in CS1. - Sarah Dahlby Albright; Titus H. Klinge; Samuel A. Rebelsky (SIGCSE, 2018)

Real-Time Equivalence of Chemical Reaction Networks and Analog Computers. - Xiang Huang 001; Titus H. Klinge; James I. Lathrop (DNA, 2019)

Robust chemical circuits. - Samuel J. Ellis; Titus H. Klinge; James I. Lathrop (Biosyst., 2019)

Real-time computability of real numbers by chemical reaction networks. - Xiang Huang 001; Titus H. Klinge; James I. Lathrop; Xiaoyuan Li; Jack H. Lutz (Nat. Comput., 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)

ChemTest: An Automated Software Testing Framework for an Emerging Paradigm. - Michael C. Gerten; James I. Lathrop; Myra B. Cohen; Titus H. Klinge (ASE, 2020)

Modulated Signals in Chemical Reaction Networks. - Titus H. Klinge; James I. Lathrop (CoRR, 2020)

Robust biomolecular finite automata. - Titus H. Klinge; James I. Lathrop; Jack H. Lutz (Theor. Comput. Sci., 2020)

Robust Real-Time Computing with Chemical Reaction Networks. - Willem Fletcher; Titus H. Klinge; James I. Lathrop; Dawn A. Nye; Matthew Rayman (UCNC, 2021)

Inference and Test Generation Using Program Invariants in Chemical Reaction Networks. - Michael C. Gerten; Alexis L. Marsh; James I. Lathrop; Myra B. Cohen; Andrew S. Miner; Titus H. Klinge (ICSE, 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)

Reactamole: functional reactive molecular programming. - Titus H. Klinge; James I. Lathrop; Peter-Michael Osera; Allison Rogers (Nat. Comput., 2024)