Publications

Journal Publications

  • [PDF][DOI]  James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, Mathew R. Riley.  Population-induced phase transitions and the verification of chemical reaction networks, Natural Computing, to appear.
  • [PDF] [DOI] Titus H. Klinge, James I. Lathrop, and Jack H. Lutz. Robust biomolecular finite automata. Theoretical Computer Science, 816:114-143, 2020.
  • [PDF] [DOI] Samuel J. Ellis, Titus H. Klinge, and James I. Lathrop. Robust chemical circuits. Biosystems, 186:103983, 2019. Selected papers from the International Conference on the Theory and Practice of Natural Computing 2017
  • [PDF] Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner, and Hugh D. Potter. Runtime Fault Detection in Programmed Molecular Systems. ACM Trans. Softw. Eng. Methodol., 28(2):6:1–6:20, mar 2019.
  • [PDF] Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, and Jack H. Lutz. Real-time computability of real numbers by chemical reaction networks. Natural Computing, 18(1):63-73, 2019.
  • [PDF] James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, and Scott M. Summers. Computability and complexity in self-assembly. Theory of Computing Systems, 48:617-647, 2011.
  • [PDF] James I. Lathrop, Jack H. Lutz, and Scott M. Summers. Strict self-assembly of discrete Sierpinski triangles. Theoretical Computer Science, 410:384-405, 2009.
  • [PDF] Jack Jie Dai, James I. Lathrop, Jack H. Lutz, and Elvira Mayordomo. Finite-state dimension. Theoretical Computer Science, 310:1-33, 2004.
  • [PDF] James I. Lathrop and Jack H. Lutz. Recursive computational depth. Information and Computation, 153:139-172, 1999.
  • [PDF] David W. Juedes, James I. Lathrop, and Jack H. Lutz. Computational Depth and Reducibility. Theoretical Computer Science, 132:37-70, 1994.

 Conference Publications

  • Michael C. Gerten, James I. Lathrop, Myra B. Cohen, and Titus H. Klinge. ChemTest: An automated software testing framework for an emerging paradigm. In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020. to appear
  • James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, and Matthew R. Riley. Population-induced phase transitions and the verification of chemical reaction networks. In Proceedings of the 26th International Conference on DNA Computing and Molecular Programming (DNA 2020), 2020. to appear
  • Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun Raman, and Matthew R. Riley. ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly. In Proceedings of the 26th International Conference on DNA Computing and Molecular Programming (DNA 2020), 2020. to appear
  • Robyn R. Lutz, James I. lathrop, Cameron Brecount, Kendal Gast, Kathryn Rohlfing, and Josha Wallin. Using an Astronaut Jetpack Project to Teach Human-CPS Requirements Engineering. In 10th International Workshop on Requirements Engineering Education and Training (REET20) at the 28th IEEE Requirements Engineering Conference (RE 2020), 2020. to appear
  • Xiang Huang, Titus H. Klinge, and James I. Lathrop. Real-Time Equivalence of Chemical Reaction Networks and Analog Computers. In Proceedings of the 25th International COnference on DNA Computing and Molecular Programming, pages 37-53, Cham, 2019. Springer International Publishing.
  • Samuel J. Ellis, Titus H. Klinge, and James I. Lathrop. Robust Combinatorial Circuits in Chemical Reaction Networks. In 6th Internaltion Conference on Theory and Practice of Natural Computing, pages 178-189, Cham, 2017. Springer International Publishing.
  • Samuel J. Ellis, James I. Lathrop, and Robyn R. Lutz. State logging in chemical reaction networks. In Proceedings of the 4th ACM International Conference on Nanoscale Computing and Communication, NANOCOM 2017, Washington, DC, USA, September 27-29, 2017, pages 23:1–23:6, 2017.
  • Xiang Huang, Xiaoyuan Li, Titus H. Klinge, James I. Lathrop, and Jack H. Lutz. Real-time computability of real numbers by chemical reaction networks. In Proceedings of the Sixteenth International Conference on Unconventional Computation and Natural Computing, pages 29-40, 2017.
  • Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, and Andrew S. Miner. Automated requirements analysis for a molecular watchdog timer. In Proceedings of the Twenty-ninth IEEE/ACM International Conference on Automated Software Engineering, pages 767-778, 2014. IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice
  • Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus Klinge, Divita Mathur, Donald M. Stull, Taylor Bergquist, and Eric Henderson. Requirements analysis for a product family of DNA nanodevices. In Proceedings of the Twentieth IEEE International Requirements Engineering Conference, pages 211-220, 2012.
  • Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus Klinge, Eric Henderson, Divita Mathur, and Dalia Abo Sheasha. Engineering and verifying requirements for programmable self-assembling nanomachines. In Proceedings of the Thirty-Fourth International Conference on Software Engineering, pages 1361-1364, 2012.
  • James I. Lathrop, Jack H. Lutz, and Brian Patterson. Multi-Resolution Cellular Automata for Real Computation. In Models of Computation in Context: Proceedings of the Seventh Conference on Computability in Europe, pages 181-190, 2011.
  • Steven M. Kautz and James I. Lathrop. Self-assembly of the Discrete Sierpinski Carpet and Related Fractals. In DNA, pages 78-87, 2009.
  • James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, and Scott M. Summers. Computability and Complexity in Self-assembly. In Logic and Theory of Algorithms: Computability in Europe, pages 349-358, 2008.
  • James I. Lathrop, Jack H. Lutz, and Scott M. Summers. Strict Self-assembly of Discrete Sierpinski Triangles. In Computation and Logic in the Real World: Computability in Europe, pages 455-464, 2007.
  • Daniel Ashlock and James I. Lathrop. Program induction: building a wall. In IEEE Congress on Evolutionary Computation, pages 1844-1850, 2004.
  • Jack Jie Dai, James I. Lathrop, Jack H. Lutz, and Elvira Mayordomo. Finite-State Dimension. In Proceedings of the 28th International Colloquium on Automata, Languages and Programming, pages 1028-1039, 2001.
  • J. Dekker, J. Lathrop, B. Atchison, and D. Todey. The weedy Setaria spp. phenotype: how environment and seeds interact from embryogenesis through germination. In The BCPC Conference: Weeds, 2001, Volume 1 and Volume 2. Proceedings of an international conference held at the Brighton Hilton Metropole Hotel, Brighton, UK, 12-15 November 2001 , pages 65-74, 2001.
  • Dan Ashlock and James I. Lathrop. A Fully Characterized Test Suite for Genetic Programming. In Evolutionary Programming, pages 537-546, 1998.
  • J. Lathrop and M. Strauss. A Universal Upper Bound on the Performance of the Lempel-Ziv Algorithm on Maliciously-Constructed Data. In Proceedings of the Compression and Complexity of Sequences 1997, pages 123-135, 1997.
  • James I. Lathrop. Compression depth and genetic programs. , 1997.
  • James I. Lathrop and Jack H. Lutz. Recursive Computational Depth. In Proceedings of the 24th International Colloquium on Automata, Languages and Programming, pages 132-142, 1997.
  • David W. Juedes, James I. Lathrop, and Jack H. Lutz. Computational Depth and Reducibility (Extended Abstract). In Proceedings of the 20th International Colloquium on Automata, Languages and Programming, pages 277-288, 1993.

Popular Publications

  • James I. Lathrop and Rich Valde. Keep on Trucking with Java. Real-time Control, pages 55-57, 2002.
  • James I. Lathrop. Java brings opportunities to industrial automation. Control Engineering, 5, 2001.