Publications

Refereed Journal Papers

2022

  1. ALCH: An imperative language for chemical reaction network-controlled tile assembly
    Klinge, Titus H., Lathrop, James I., Moreno, Sonia, Potter, Hugh D., Raman, Narun K.,  and Riley, Matthew R.
    Natural Computing (Jan 2022)

2020

  1. Robust biomolecular finite automata
    Klinge, Titus H., Lathrop, James I.,  and Lutz, Jack H.
    Theoretical Computer Science (Jan 2020)

2019

  1. Robust chemical circuits
    Ellis, Samuel J.,  Klinge, Titus H.,  and Lathrop, James I.
    Biosystems (Jan 2019)
  2. Real-time computability of real numbers by chemical reaction networks
    Huang, Xiang,  Klinge, Titus H., Lathrop, James I., Li, Xiaoyuan,  and Lutz, Jack H.
    Natural Computing (Mar 2019)
  3. Runtime Fault Detection in Programmed Molecular Systems
    Ellis, Samuel J.,  Klinge, Titus H., Lathrop, James I., Lutz, Jack H., Lutz, Robyn R., Miner, Andrew S.,  and Potter, Hugh D.
    ACM Transactions on Software Engineering and Methodology (Mar 2019)


Refereed Conference Papers

2022

  1. Inference and Test Generation Using Program Invariants in Chemical Reaction Networks
    Gerten, Michael C., Marsh, Alexis L., Lathrop, James I., Cohen, Myra B., Miner, Andrew S.,  and Klinge, Titus H.
    In 44th International Conference on Software Engineering (2022)

2021

  1. Robust Real-Time Computing with Chemical Reaction Networks
    Fletcher, Willem,  Klinge, Titus H., Lathrop, James I., Nye, Dawn A.,  and Rayman, Matthew
    In 19th International Conference on Unconventional Computation and Natural Computation (2021)
  2. Reactamole: Functional Reactive Molecular Programming
    Klinge, Titus H., Lathrop, James I., Osera, Peter-Michael,  and Rogers, Allison
    In 27th International Conference on DNA Computing and Molecular Programming (2021)
  3. ChemTest: An Automated Software Testing Framework for an Emerging Paradigm
    Gerten, Michael C., Lathrop, James I., Cohen, Myra B.,  and Klinge, Titus H.
    In 35th IEEE/ACM International Conference on Automated Software Engineering (2021)

2020

  1. ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly
    Klinge, Titus H., Lathrop, James I., Moreno, Sonia, Potter, Hugh D., Raman, Narun K.,  and Riley, Matthew R.
    In 26th International Conference on DNA Computing and Molecular Programming (2020)

2019

  1. Real-Time Equivalence of Chemical Reaction Networks and Analog Computers
    Huang, Xiang,  Klinge, Titus H.,  and Lathrop, James I.
    In 25th International Conference on DNA Computing and Molecular Programming (2019)

2018

  1. A Functional Approach to Data Science in CS1
    Dahlby Albright, Sarah,  Klinge, Titus H.,  and Rebelsky, Samuel A.
    In 49th ACM Technical Symposium on Computer Science Education (2018)

2017

  1. Robust Combinatorial Circuits in Chemical Reaction Networks
    Ellis, Samuel J.,  Klinge, Titus H.,  and Lathrop, James I.
    In 6th International Conference on Theory and Practice of Natural Computing (2017)
  2. Real-Time Computability of Real Numbers by Chemical Reaction Networks
    Huang, Xiang,  Klinge, Titus H., Lathrop, James I., Li, Xiaoyuan,  and Lutz, Jack H.
    In 14th International Conference on Unconventional Computation and Natural Computation (2017)

2016

  1. Robust Signal Restoration in Chemical Reaction Networks
    Klinge, Titus H.
    In 3rd ACM International Conference on Nanoscale Computing and Communication (2016)

2014

  1. Automated Requirements Analysis for a Molecular Watchdog Timer
    Ellis, Samuel J., Henderson, Eric R.,  Klinge, Titus H., Lathrop, James I., Lutz, Jack H., Lutz, Robyn R., Mathur, Divita,  and Miner, Andrew S.
    In 29th ACM/IEEE International Conference on Automated Software Engineering (2014)

2012

  1. Engineering and Verifying Requirements for Programmable Self-Assembling Nanomachines
    Lutz, Robyn, Lutz, Jack, Lathrop, James,  Klinge, Titus, Henderson, Eric, Mathur, Divita,  and Sheasha, Dalia Abo
    In 34th International Conference on Software Engineering (2012)