Computational Depth and Reducibility (Extended Abstract). - David W. Juedes; James I. Lathrop; Jack H. Lutz (ICALP, 1993)

Computational Depth and Reducibility. - David W. Juedes; James I. Lathrop; Jack H. Lutz (Theor. Comput. Sci., 1994)

A universal upper bound on the performance of the Lempel-Ziv algorithm on maliciously-constructed data. - James I. Lathrop; Martin Strauss 001 (SEQUENCES, 1997)

A Fully Characterized Test Suite for Genetic Programming. - Dan Ashlock; James I. Lathrop (Evolutionary Programming, 1998)

Recursive Computational Depth. - James I. Lathrop; Jack H. Lutz (Inf. Comput., 1999)

Program induction: building a wall. - Dan Ashlock; James I. Lathrop (IEEE Congress on Evolutionary Computation, 2004)

Finite-state dimension. - Jack Jie Dai; James I. Lathrop; Jack H. Lutz; Elvira Mayordomo (Theor. Comput. Sci., 2004)

Complexes of on-line self assembly. - Neeraj Koul; Jim Lathrop; Jack H. Lutz; Vasant G. Honavar (EIT, 2008)

Computability and Complexity in Self-Assembly. - James I. Lathrop; Jack H. Lutz; Matthew J. Patitz; Scott M. Summers (Electron. Colloquium Comput. Complex., 2008)

Self-assembly of the Discrete Sierpinski Carpet and Related Fractals. - Steven M. Kautz; James I. Lathrop (DNA, 2009)

Strict self-assembly of discrete Sierpinski triangles. - James I. Lathrop; Jack H. Lutz; Scott M. Summers (Theor. Comput. Sci., 2009)

Multi-Resolution Cellular Automata for Real Computation. - James I. Lathrop; Jack H. Lutz; Brian Patterson (CiE, 2011)

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)

State logging in chemical reaction networks. - Samuel J. Ellis; James I. Lathrop; Robyn R. Lutz (NANOCOM, 2017)

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)

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)

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)

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)

Using an Astronaut Jetpack Project to Teach Human-CPS Requirements Engineering. - Robyn R. Lutz; James I. Lathrop; Cameron Brecount; Kendal Gast; Kathryn Rohlfing; Joshua Wallin (REET@RE, 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)

CRNRepair: Automated Program Repair of Chemical Reaction Networks. - Ibrahim Mesecan; Michael C. Gerten; James I. Lathrop; Myra B. Cohen; Tomas Haddad Caldas (GI@ICSE, 2021)

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)

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 (RE, 2022)

Verifying Chemical Reaction Networks with the Isabelle Theorem Prover. - James I. Lathrop; Peter-Michael Osera; Addison W. Schmidt; Jesse Slater (Allerton, 2023)

Traceback: A Fault Localization Technique for Molecular Programs. - Michael C. Gerten; James I. Lathrop; Myra B. Cohen (ISSTA, 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., 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., 2024)

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