Research

Research Interests

Recent Papers

  1. Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Titus H. Klinge, ChemTest: An Automated Software Testing Framework for an Emerging Paradigm, Proceedings of the Thirty-Fifth IEEE/ACM International Conference on Automated Software Engineering (ASE 2020, Online Event, September 21-25, 2020), to appear. ACM Distinguished Paper Award.

  2. Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, and Matthew R. Riley. ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly. Proceedings of the Twenty-Sixth International Conference on DNA Computing and Molecular Programming (DNA 2020, Online Event, September 14-17, 2020), to appear.

  3. Titus H. Klinge, James I. Lathrop, and Jack H. Lutz. Robust biomolecular finite automata, Theoretical Computer Science 816 (2020), pp. 114-143.

  4. Xiang Huang, Titus H. Klinge, and James I. Lathrop. Real-Time Equivalence of Chemical Reaction Networks and Analog Computers Proceedings of the Twenty-Fifth International Conference on DNA Computing and Molecular Programming (DNA 2019, Seattle, WA, August 5-9, 2019), Springer 2019.

  5. Samuel J. Ellis, Titus H. Klinge, and James I. Lathrop, Robust Chemical Circuits, BioSystems 186 (2019), 103983.

  6. 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 Transactions on Software Engineering and Methodology 28 (2019), Article 6 (20 pages).

  7. 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 (2019), pp. 63-73.

  8. Sarah Dahlby Albright, Titus H. Klinge, and Samuel Rebelsky, A Functional Approach to Data Science in CS1, Proceedings of the Fourty-Ninth Technical Symposium on Computer Science Education (SIGCSE 2018, Baltimore, MD, February 21-24, 2018), ACM, 2018.

  9. Samuel J. Ellis, Titus H. Klinge, and James I. Lathrop, Robust Combinatorial Circuits in Chemical Reaction Networks, Proceedings of the Sixth International Conference on the Theory and Practice of Natural Computing (TPNC 2017, Prague, Czech Republic, December 18-20, 2017), Springer, 2017, pp. 178-189.

  10. Xiang Huang, Xiaoyuan Li, Titus H. Klinge, James I. Lathrop, and Jack H. Lutz, Real-Time Computability of Real Numbers by Chemical Reaction Networks, Proceedings of the Sixteenth International Conference on Unconventional Computation and Natural Computation (UCNC 2017, Fayetteville, AR, June 5-9, 2017), Springer, 2017, pp. 29-40.

  11. Titus H. Klinge, Robust Signal Restoration in Chemical Reaction Networks, Proceedings of the Third ACM International Conference on Nanoscale Computing and Communication (NANOCOM 2016, New York, NY, September 28-30, 2016), ACM, 2016, pp. 6:1-6:6.

  12. 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, Proceedings of the Twenty-ninth IEEE/ACM International Conference on Automated Software Engineering (ASE 2014, Vasteras, Sweden, September 15-19, 2014), pp. 767-778. IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice.

  13. Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, D. M. Stull, Taylor G. Bergquist, and Eric R. Henderson, Requirements Analysis for a Product Family of DNA Nanodevices, Proceedings of the Twentieth IEEE International Requirements Engineering Conference (RE 2012, Chicago, IL, September 24-28, 2012), pp. 211-220.

  14. Robyn Lutz, Jack Lutz, James Lathrop, Titus Klinge, Eric Henderson, Divita Mathur, and Dalia Abo Sheasha, Engineering and Verifying Requirements for Programmable Self-Assembling Nanomachines, Proceedings of the Thirty-Fourth International Conference on Software Engineering (ICSE 2012, Zurich, Switzerland, June 2-9, 2012), pp. 1361-1364.