James I. Lathrop

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 26

Top Topics

Finite Automata

Software Requirements

Chemical Reaction

Top Venues

Publications

Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, Matthew R. Riley
ALCH: An imperative language for chemical reaction network-controlled tile assembly. Nat. Comput. 23 (2) (2024)
James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, Matthew R. Riley
Population-induced phase transitions and the verification of chemical reaction networks. Nat. Comput. 23 (2) (2024)
James I. Lathrop, Peter-Michael Osera, Addison W. Schmidt, Jesse Slater
Verifying Chemical Reaction Networks with the Isabelle Theorem Prover. Allerton (2023)
James I. Lathrop, Robyn R. Lutz, Cameron Brecount, Hugh D. Potter, Kathryn Rohlfing, Jesse Slater, Joshua Wallin
SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line. RE (2022)
Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, Titus H. Klinge
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks. ICSE (2022)
Willem Fletcher, Titus H. Klinge, James I. Lathrop, Dawn A. Nye, Matthew Rayman
Robust Real-Time Computing with Chemical Reaction Networks. UCNC (2021)
Titus H. Klinge, James I. Lathrop, Peter-Michael Osera, Allison Rogers
Reactamole: Functional Reactive Molecular Programming. DNA (2021)
Ibrahim Mesecan, Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Tomas Haddad Caldas
CRNRepair: Automated Program Repair of Chemical Reaction Networks. GI@ICSE (2021)
Willem Fletcher, Titus H. Klinge, James I. Lathrop, Dawn A. Nye, Matthew Rayman
Robust Real-time Computing with Chemical Reaction Networks. CoRR (2021)
Titus H. Klinge, James I. Lathrop
Modulated Signals in Chemical Reaction Networks. CoRR (2020)
Titus H. Klinge, James I. Lathrop, Jack H. Lutz
Robust biomolecular finite automata. Theor. Comput. Sci. 816 (2020)
Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Titus H. Klinge
ChemTest: An Automated Software Testing Framework for an Emerging Paradigm. ASE (2020)
Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, Matthew R. Riley
ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly. DNA (2020)
James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, Matthew R. Riley
Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks. DNA (2020)
Robyn R. Lutz, James I. Lathrop, Cameron Brecount, Kendal Gast, Kathryn Rohlfing, Joshua Wallin
Using an Astronaut Jetpack Project to Teach Human-CPS Requirements Engineering. REET@RE (2020)
Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz
Real-time computability of real numbers by chemical reaction networks. Nat. Comput. 18 (1) (2019)
James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, Matthew R. Riley
Quorum Sensing and Verification in Chemical Reaction Networks. CoRR (2019)
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop
Robust chemical circuits. Biosyst. 186 (2019)
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner, Hugh D. Potter
Runtime Fault Detection in Programmed Molecular Systems. ACM Trans. Softw. Eng. Methodol. 28 (2) (2019)
Xiang Huang, Titus H. Klinge, James I. Lathrop
Real-Time Equivalence of Chemical Reaction Networks and Analog Computers. DNA (2019)
Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz
Real-Time Computability of Real Numbers by Chemical Reaction Networks. CoRR (2018)
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop
Robust Chemical Circuits. CoRR (2018)
Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz
Real-Time Computability of Real Numbers by Chemical Reaction Networks. UCNC (2017)
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner
Runtime Fault Detection in Programmed Molecular Systems. CoRR (2017)
Samuel J. Ellis, James I. Lathrop, Robyn R. Lutz
State logging in chemical reaction networks. NANOCOM (2017)
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop
Robust Combinatorial Circuits in Chemical Reaction Networks. TPNC (2017)
Titus H. Klinge, James I. Lathrop, Jack H. Lutz
Robust Biomolecular Finite Automata. CoRR (2015)
Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, Andrew S. Miner
Automated requirements analysis for a molecular watchdog timer. ASE (2014)
Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Eric R. Henderson, Divita Mathur, Dalia Abo Sheasha
Engineering and verifying requirements for programmable self-assembling nanomachines. ICSE (2012)
Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, Donald M. Stull, Taylor Bergquist, Eric R. Henderson
Requirements analysis for a product family of DNA nanodevices. RE (2012)
James I. Lathrop, Jack H. Lutz, Brian Patterson
Multi-Resolution Cellular Automata for Real Computation. CiE (2011)
James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers
Computability and Complexity in Self-assembly. Theory Comput. Syst. 48 (3) (2011)
James I. Lathrop, Jack H. Lutz, Scott M. Summers
Strict self-assembly of discrete Sierpinski triangles. Theor. Comput. Sci. 410 (4-5) (2009)
James I. Lathrop, Jack H. Lutz, Scott M. Summers
Strict Self-Assembly of Discrete Sierpinski Triangles CoRR (2009)
Steven M. Kautz, James I. Lathrop
Self-assembly of the discrete Sierpinski carpet and related fractals CoRR (2009)
Steven M. Kautz, James I. Lathrop
Self-assembly of the Discrete Sierpinski Carpet and Related Fractals. DNA (2009)
James I. Lathrop, Jack H. Lutz, Scott M. Summers
Strict Self-Assembly of Discrete Sierpinski Triangles. Electron. Colloquium Comput. Complex. 15 (035) (2008)
James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers
Computability and Complexity in Self-assembly. CiE (2008)
James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers
Computability and Complexity in Self-Assembly. Electron. Colloquium Comput. Complex. 15 (031) (2008)
James I. Lathrop, Jack H. Lutz, Scott M. Summers
Strict Self-assembly of Discrete Sierpinski Triangles. CiE (2007)
Daniel A. Ashlock, James I. Lathrop
Program induction: building a wall. IEEE Congress on Evolutionary Computation (2004)
Jack Jie Dai, James I. Lathrop, Jack H. Lutz, Elvira Mayordomo
Finite-state dimension. Theor. Comput. Sci. 310 (1-3) (2004)
Jack Jie Dai, James I. Lathrop, Jack H. Lutz, Elvira Mayordomo
Finite-State Dimension. ICALP (2001)
James I. Lathrop, Jack H. Lutz
Recursive Computational Depth. Inf. Comput. 153 (1) (1999)
Dan Ashlock, James I. Lathrop
A Fully Characterized Test Suite for Genetic Programming. Evolutionary Programming (1998)
James I. Lathrop, Martin Strauss
A universal upper bound on the performance of the Lempel-Ziv algorithm on maliciously-constructed data. SEQUENCES (1997)
James I. Lathrop, Jack H. Lutz
Recursive Computational Depth. ICALP (1997)
David W. Juedes, James I. Lathrop, Jack H. Lutz
Computational Depth and Reducibility. Theor. Comput. Sci. 132 (2) (1994)
David W. Juedes, James I. Lathrop, Jack H. Lutz
Computational Depth and Reducibility (Extended Abstract). ICALP (1993)