Titus H. Klinge

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jack H. Lutz

> Home > Persons > Titus H. Klinge

Publications

2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/KlingeLL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KlingeLL20
Titus H. Klinge, James I. Lathrop, Jack H. Lutz:
Robust biomolecular finite automata. Theor. Comput. Sci. 816: 114-143 (2020)
2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/nc/HuangKLLL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/nc/HuangKLLL19
Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz:
Real-time computability of real numbers by chemical reaction networks. Nat. Comput. 18(1): 63-73 (2019)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/EllisKLLLMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/EllisKLLLMP19
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner, Hugh D. Potter:
Runtime Fault Detection in Programmed Molecular Systems. ACM Trans. Softw. Eng. Methodol. 28(2): 6:1-6:20 (2019)
2018
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-10267
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10267
Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz:
Real-Time Computability of Real Numbers by Chemical Reaction Networks. CoRR abs/1803.10267 (2018)
2017
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/uc/HuangKLLL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uc/HuangKLLL17
Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz:
Real-Time Computability of Real Numbers by Chemical Reaction Networks. UCNC 2017: 29-40
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-09494
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-09494
Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner:
Runtime Fault Detection in Programmed Molecular Systems. CoRR abs/1710.09494 (2017)
2015
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KlingeLL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KlingeLL15
Titus H. Klinge, James I. Lathrop, Jack H. Lutz:
Robust Biomolecular Finite Automata. CoRR abs/1505.03931 (2015)
2014
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/EllisHKLLLMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/EllisHKLLLMM14
Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, Andrew S. Miner:
Automated requirements analysis for a molecular watchdog timer. ASE 2014: 767-778
2012
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LutzLLKHMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LutzLLKHMS12
Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Eric R. Henderson, Divita Mathur, Dalia Abo Sheasha:
Engineering and verifying requirements for programmable self-assembling nanomachines. ICSE 2012: 1361-1364
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/re/LutzLLKMSBH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/LutzLLKMSBH12
Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, Donald M. Stull, Taylor Bergquist, Eric R. Henderson:
Requirements analysis for a product family of DNA nanodevices. RE 2012: 211-220

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.