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 | 22 | 2018 |
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 | 22 | 2012 |
Robust biomolecular finite automata TH Klinge, JI Lathrop, JH Lutz Theoretical Computer Science 816, 114-143, 2020 | 21* | 2020 |
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 | 19 | 2019 |
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 | 15 | 2014 |
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 | 15 | 2012 |
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 | 11 | 2020 |
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 23 (2), 365-385, 2024 | 9 | 2024 |
Robust Chemical Circuits SJ Ellis, TH Klinge, JI Lathrop Biosystems, 2019 | 9* | 2019 |
Modular and robust computation with deterministic chemical reaction networks TH Klinge Iowa State University, 2016 | 9* | 2016 |
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 | 8 | 2019 |
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 | 6 | 2019 |
Robust signal restoration in chemical reaction networks TH Klinge Proceedings of the 3rd ACM International Conference on Nanoscale Computing …, 2016 | 6 | 2016 |
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 | 4 | 2022 |
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 | 4 | 2021 |
Reactamole: functional reactive molecular programming TH Klinge, JI Lathrop, PM Osera, A Rogers Natural Computing 23 (3), 477-495, 2024 | 2 | 2024 |
Modulated signals in chemical reaction networks TH Klinge, JI Lathrop arXiv preprint arXiv:2009.06703, 2020 | 1 | 2020 |
Real-time computing and robust memory with deterministic chemical reaction networks W Fletcher, TH Klinge, JI Lathrop, DA Nye, M Rayman Natural Computing, 1-15, 2024 | | 2024 |
Robust Real-Time Computing W Fletcher¹, TH Klinge, JI Lathrop, DA Nye Unconventional Computation and Natural Computation: 19th International …, 2021 | | 2021 |
LIPIcs, Volume 174, DNA 26, Complete Volume}} C Geary, MJ Patitz, RF Johnson, L Qian, H Hashemi, B Chugg, A Condon, ... 26th International Conference on DNA Computing and Molecular Programming …, 2020 | | 2020 |