James I. Lathrop

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