Titus H. Klinge

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 21

Top Topics

Finite Automata

Linear Inequalities

Requirements Analysis

Top Venues

Publications

Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, Matthew R. Riley
ALCH: An imperative language for chemical reaction network-controlled tile assembly. Nat. Comput. 23 (2) (2024)
Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, Titus H. Klinge
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks. ICSE (2022)
Willem Fletcher, Titus H. Klinge, James I. Lathrop, Dawn A. Nye, Matthew Rayman
Robust Real-Time Computing with Chemical Reaction Networks. UCNC (2021)
Titus H. Klinge, James I. Lathrop, Peter-Michael Osera, Allison Rogers
Reactamole: Functional Reactive Molecular Programming. DNA (2021)
Willem Fletcher, Titus H. Klinge, James I. Lathrop, Dawn A. Nye, Matthew Rayman
Robust Real-time Computing with Chemical Reaction Networks. CoRR (2021)
Titus H. Klinge, James I. Lathrop
Modulated Signals in Chemical Reaction Networks. CoRR (2020)
Titus H. Klinge, James I. Lathrop, Jack H. Lutz
Robust biomolecular finite automata. Theor. Comput. Sci. 816 (2020)
Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Titus H. Klinge
ChemTest: An Automated Software Testing Framework for an Emerging Paradigm. ASE (2020)
Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, Matthew R. Riley
ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly. DNA (2020)
Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz
Real-time computability of real numbers by chemical reaction networks. Nat. Comput. 18 (1) (2019)
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop
Robust chemical circuits. Biosyst. 186 (2019)
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner, Hugh D. Potter
Runtime Fault Detection in Programmed Molecular Systems. ACM Trans. Softw. Eng. Methodol. 28 (2) (2019)
Xiang Huang, Titus H. Klinge, James I. Lathrop
Real-Time Equivalence of Chemical Reaction Networks and Analog Computers. DNA (2019)
Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz
Real-Time Computability of Real Numbers by Chemical Reaction Networks. CoRR (2018)
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop
Robust Chemical Circuits. CoRR (2018)
Sarah Dahlby Albright, Titus H. Klinge, Samuel A. Rebelsky
A Functional Approach to Data Science in CS1. SIGCSE (2018)
Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz
Real-Time Computability of Real Numbers by Chemical Reaction Networks. UCNC (2017)
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner
Runtime Fault Detection in Programmed Molecular Systems. CoRR (2017)
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop
Robust Combinatorial Circuits in Chemical Reaction Networks. TPNC (2017)
Titus H. Klinge
Robust Signal Restoration in Chemical Reaction Networks. NANOCOM (2016)
Titus H. Klinge, James I. Lathrop, Jack H. Lutz
Robust Biomolecular Finite Automata. CoRR (2015)
Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, Andrew S. Miner
Automated requirements analysis for a molecular watchdog timer. ASE (2014)
Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Eric R. Henderson, Divita Mathur, Dalia Abo Sheasha
Engineering and verifying requirements for programmable self-assembling nanomachines. ICSE (2012)
Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, Donald M. Stull, Taylor Bergquist, Eric R. Henderson
Requirements analysis for a product family of DNA nanodevices. RE (2012)