James I. Lathrop

According to our database, James I. Lathrop authored at least 35 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Verifying Chemical Reaction Networks with the Isabelle Theorem Prover.

James I. Lathrop, Peter-Michael Osera, Addison W. Schmidt, Jesse Slater

Proceedings of the 59th Annual Allerton Conference on Communication, 2023

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

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

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

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Robust Real-Time Computing with Chemical Reaction Networks.

Willem Fletcher, Titus H. Klinge, James I. Lathrop, Dawn A. Nye, Matthew Rayman

Proceedings of the Unconventional Computation and Natural Computation, 2021

CRNRepair: Automated Program Repair of Chemical Reaction Networks.

Ibrahim Mesecan, Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Tomas Haddad Caldas

Proceedings of the 10th IEEE/ACM International Workshop on Genetic Improvement, 2021

Reactamole: Functional Reactive Molecular Programming.

Titus H. Klinge, James I. Lathrop, Peter-Michael Osera, Allison Rogers

Proceedings of the 27th International Conference on DNA Computing and Molecular Programming, 2021

2020

Robust biomolecular finite automata.

Titus H. Klinge, James I. Lathrop, Jack H. Lutz

Theor. Comput. Sci., 2020

Modulated Signals in Chemical Reaction Networks.

Titus H. Klinge, James I. Lathrop

CoRR, 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

Proceedings of the 10th International Workshop on Requirements Engineering Education and Training, 2020

ChemTest: An Automated Software Testing Framework for an Emerging Paradigm.

Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Titus H. Klinge

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

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

Proceedings of the 26th International Conference on DNA Computing and Molecular Programming, 2020

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

Proceedings of the 26th International Conference on DNA Computing and Molecular Programming, 2020

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

Real-time computability of real numbers by chemical reaction networks.

Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz

Nat. Comput., 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

Robust chemical circuits.

Samuel J. Ellis, Titus H. Klinge, James I. Lathrop

Biosyst., 2019

Real-Time Equivalence of Chemical Reaction Networks and Analog Computers.

Xiang Huang, Titus H. Klinge, James I. Lathrop

Proceedings of the DNA Computing and Molecular Programming - 25th International Conference, 2019

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

Robust Combinatorial Circuits in Chemical Reaction Networks.

Samuel J. Ellis, Titus H. Klinge, James I. Lathrop

Proceedings of the Theory and Practice of Natural Computing - 6th International Conference, 2017

State logging in chemical reaction networks.

Samuel J. Ellis, James I. Lathrop, Robyn R. Lutz

Proceedings of the 4th ACM International Conference on Nanoscale Computing and Communication, 2017

2014

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

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

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

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

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

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Multi-Resolution Cellular Automata for Real Computation.

James I. Lathrop, Jack H. Lutz, Brian Patterson

Proceedings of the Models of Computation in Context, 2011

2009

Strict self-assembly of discrete Sierpinski triangles.

James I. Lathrop, Jack H. Lutz, Scott M. Summers

Theor. Comput. Sci., 2009

Self-assembly of the Discrete Sierpinski Carpet and Related Fractals.

Steven M. Kautz, James I. Lathrop

Proceedings of the DNA Computing and Molecular Programming, 15th International Conference, 2009

2008

Computability and Complexity in Self-Assembly.

James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers

Electron. Colloquium Comput. Complex., 2008

Complexes of on-line self assembly.

Neeraj Koul, Jim Lathrop, Jack H. Lutz, Vasant G. Honavar

Proceedings of the 2008 IEEE International Conference on Electro/Information Technology, 2008

2004

Finite-state dimension.

Jack Jie Dai, James I. Lathrop, Jack H. Lutz, Elvira Mayordomo

Theor. Comput. Sci., 2004

Program induction: building a wall.

Dan Ashlock, James I. Lathrop

Proceedings of the IEEE Congress on Evolutionary Computation, 2004

1999

Recursive Computational Depth.

James I. Lathrop, Jack H. Lutz

Inf. Comput., 1999

1998

A Fully Characterized Test Suite for Genetic Programming.

Dan Ashlock, James I. Lathrop

Proceedings of the Evolutionary Programming VII, 7th International Conference, 1998

1997

A universal upper bound on the performance of the Lempel-Ziv algorithm on maliciously-constructed data.

James I. Lathrop, Martin Strauss

Proceedings of the Compression and Complexity of SEQUENCES 1997, 1997

1994

Computational Depth and Reducibility.

David W. Juedes, James I. Lathrop, Jack H. Lutz

Theor. Comput. Sci., 1994

1993

Computational Depth and Reducibility (Extended Abstract).

David W. Juedes, James I. Lathrop, Jack H. Lutz

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993