Titus H. Klinge

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