Follow
Titus H. Klinge
Titus H. Klinge
Affiliate Assistant Professor of Computer Science, Iowa State University
Verified email at iastate.edu - Homepage
Title
Cited by
Cited by
Year
Requirements analysis for a product family of DNA nanodevices
RR Lutz, JH Lutz, JI Lathrop, TH Klinge, D Mathur, DM Stull, TG Bergquist, ...
2012 20th IEEE International Requirements Engineering Conference (RE), 211-220, 2012
212012
Robust biomolecular finite automata
TH Klinge, JI Lathrop, JH Lutz
Theoretical Computer Science 816, 114-143, 2020
19*2020
A functional approach to data science in CS1
S Dahlby Albright, TH Klinge, SA Rebelsky
Proceedings of the 49th ACM Technical Symposium on Computer Science …, 2018
172018
Runtime Fault Detection in Programmed Molecular Systems
SJ Ellis, TH Klinge, JI Lathrop, JH Lutz, RR Lutz, AS Miner, HD Potter
ACM Transactions on Software Engineering and Methodology (TOSEM) 28 (2), 6, 2019
162019
Automated requirements analysis for a molecular watchdog timer
SJ Ellis, ER Henderson, TH Klinge, JI Lathrop, JH Lutz, RR Lutz, D Mathur, ...
Proceedings of the 29th ACM/IEEE International Conference on Automated …, 2014
152014
Engineering and verifying requirements for programmable self-assembling nanomachines
R Lutz, J Lutz, J Lathrop, T Klinge, E Henderson, D Mathur, DA Sheasha
2012 34th International Conference on Software Engineering (ICSE), 1361-1364, 2012
152012
Modular and robust computation with deterministic chemical reaction networks
TH Klinge
Iowa State University, 2016
9*2016
ChemTest: An Automated Software Testing Framework for an Emerging Paradigm
MC Gerten, JI Lathrop, MB Cohen, TH Klinge
2020 35th IEEE/ACM International Conference on Automated Software …, 2020
82020
ALCH: an imperative language for chemical reaction network-controlled tile assembly
TH Klinge, JI Lathrop, S Moreno, HD Potter, NK Raman, MR Riley
Natural Computing, 1-21, 2022
72022
Real-time computability of real numbers by chemical reaction networks
X Huang, TH Klinge, JI Lathrop, X Li, JH Lutz
Natural Computing 18 (1), 63-73, 2019
72019
Robust Chemical Circuits
SJ Ellis, TH Klinge, JI Lathrop
Biosystems, 2019
6*2019
Robust signal restoration in chemical reaction networks
TH Klinge
Proceedings of the 3rd ACM International Conference on Nanoscale Computing …, 2016
62016
Real-time equivalence of chemical reaction networks and analog computers
X Huang, TH Klinge, JI Lathrop
International Conference on DNA Computing and Molecular Programming, 37-53, 2019
52019
Robust real-time computing with chemical reaction networks
W Fletcher, TH Klinge, JI Lathrop, DA Nye, M Rayman
Unconventional Computation and Natural Computation: 19th International …, 2021
32021
Inference and test generation using program invariants in chemical reaction networks
MC Gerten, AL Marsh, JI Lathrop, MB Cohen, AS Miner, TH Klinge
Proceedings of the 44th International Conference on Software Engineering …, 2022
12022
Reactamole: Functional Reactive Molecular Programming
TH Klinge, JI Lathrop, PM Osera, A Rogers
27th International Conference on DNA Computing and Molecular Programming …, 2021
12021
Modulated signals in chemical reaction networks
TH Klinge, JI Lathrop
arXiv preprint arXiv:2009.06703, 2020
12020
Automated requirements analysis for a molecular watchdog timer
E Henderson, S Ellis, T Klinge, J Lathrop, R Lutz, J Lutz, D Mathur, ...
2014
Requirements analysis for a product family of DNA nanodevices
E Henderson, J Lutz, J Lathrop, T Klinge, R Lutz, DM Stull, T Bergquist
2012
Engineering and verifying requirements for programmable self-assembling nanomachines
E Henderson, R Lutz, J Lutz, J Lathrop, T Klinge, D Mathur, ...
2012
The system can't perform the operation now. Try again later.
Articles 1–20