Titus H. Klinge
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2012–2022
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICSE | 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 |
| 2021 | DNA | Reactamole: Functional Reactive Molecular Programming. | Titus H. Klinge, James I. Lathrop, Peter-Michael Osera, Allison Rogers |
| 2021 | UC | Robust Real-Time Computing with Chemical Reaction Networks. | Willem Fletcher, Titus H. Klinge, James I. Lathrop, Dawn A. Nye, Matthew Rayman |
| 2020 | DNA | 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 |
| 2019 | DNA | Real-Time Equivalence of Chemical Reaction Networks and Analog Computers. | Xiang Huang, Titus H. Klinge, James I. Lathrop |
| 2018 | SIGCSE | A Functional Approach to Data Science in CS1. | Sarah Dahlby Albright, Titus H. Klinge, Samuel A. Rebelsky |
| 2017 | UC | Real-Time Computability of Real Numbers by Chemical Reaction Networks. | Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz |
| 2012 | ICSE | 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 |
| 2012 | RE | 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 |