Titus H. Klinge

According to our database, Titus H. Klinge authored at least 18 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Inference and Test Generation Using Program Invariants in Chemical Reaction Networks.

Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, Titus H. Klinge

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Robust Real-Time Computing with Chemical Reaction Networks.

Willem Fletcher, Titus H. Klinge, James I. Lathrop, Dawn A. Nye, Matthew Rayman

Proceedings of the Unconventional Computation and Natural Computation, 2021

Reactamole: Functional Reactive Molecular Programming.

Titus H. Klinge, James I. Lathrop, Peter-Michael Osera, Allison Rogers

Proceedings of the 27th International Conference on DNA Computing and Molecular Programming, 2021

2020

Robust biomolecular finite automata.

Titus H. Klinge, James I. Lathrop, Jack H. Lutz

Theor. Comput. Sci., 2020

Modulated Signals in Chemical Reaction Networks.

Titus H. Klinge, James I. Lathrop

CoRR, 2020

ChemTest: An Automated Software Testing Framework for an Emerging Paradigm.

Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Titus H. Klinge

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly.

Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, Matthew R. Riley

Proceedings of the 26th International Conference on DNA Computing and Molecular Programming, 2020

2019

Runtime Fault Detection in Programmed Molecular Systems.

Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner, Hugh D. Potter

ACM Trans. Softw. Eng. Methodol., 2019

Real-time computability of real numbers by chemical reaction networks.

Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz

Nat. Comput., 2019

Robust chemical circuits.

Samuel J. Ellis, Titus H. Klinge, James I. Lathrop

Biosyst., 2019

Real-Time Equivalence of Chemical Reaction Networks and Analog Computers.

Xiang Huang, Titus H. Klinge, James I. Lathrop

Proceedings of the DNA Computing and Molecular Programming - 25th International Conference, 2019

2018

A Functional Approach to Data Science in CS1.

Sarah Dahlby Albright, Titus H. Klinge, Samuel A. Rebelsky

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

2017

Runtime Fault Detection in Programmed Molecular Systems.

Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner

CoRR, 2017

Robust Combinatorial Circuits in Chemical Reaction Networks.

Samuel J. Ellis, Titus H. Klinge, James I. Lathrop

Proceedings of the Theory and Practice of Natural Computing - 6th International Conference, 2017

2016

Robust Signal Restoration in Chemical Reaction Networks.

Titus H. Klinge

Proceedings of the 3rd ACM International Conference on Nanoscale Computing and Communication, 2016

2014

Automated requirements analysis for a molecular watchdog timer.

Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, Andrew S. Miner

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2012

Requirements analysis for a product family of DNA nanodevices.

Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, Donald M. Stull, Taylor Bergquist, Eric R. Henderson

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Engineering and verifying requirements for programmable self-assembling nanomachines.

Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Eric R. Henderson, Divita Mathur, Dalia Abo Sheasha

Proceedings of the 34th International Conference on Software Engineering, 2012