Search Results - Lathrop, James I.

Refine Results
  1. 1
    Reactamole: functional reactive molecular programming

    Reactamole: functional reactive molecular programming by Klinge, Titus H., Lathrop, James I., Osera, Peter-Michael, Rogers, Allison

    Published in Natural computing
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Population-induced phase transitions and the verification of chemical reaction networks

    Population-induced phase transitions and the verification of chemical reaction networks by Lathrop, James I., Lutz, Jack H., Lutz, Robyn R., Potter, Hugh D., Riley, Matthew R.

    Published in Natural computing
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    ALCH: An imperative language for chemical reaction network-controlled tile assembly

    ALCH: An imperative language for chemical reaction network-controlled tile assembly by Klinge, Titus H., Lathrop, James I., Moreno, Sonia, Potter, Hugh D., Raman, Narun K., Riley, Matthew R.

    Published in Natural computing
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Robust chemical circuits

    Robust chemical circuits by Ellis, Samuel J., Klinge, Titus H., Lathrop, James I.

    Published in BioSystems
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Strict self-assembly of discrete Sierpinski triangles

    Strict self-assembly of discrete Sierpinski triangles by Lathrop, James I., Lutz, Jack H., Summers, Scott M.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Inference and Test Generation Using Program Invariants in Chemical Reaction Networks

    Inference and Test Generation Using Program Invariants in Chemical Reaction Networks by Gerten, Michael C., Marsh, Alexis L., Lathrop, James I., Cohen, Myra B., Miner, Andrew S., Klinge, Titus H.

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Real-time computability of real numbers by chemical reaction networks

    Real-time computability of real numbers by chemical reaction networks by Huang, Xiang, Klinge, Titus H., Lathrop, James I., Li, Xiaoyuan, Lutz, Jack H.

    Published in Natural computing
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Computability and Complexity in Self-assembly

    Computability and Complexity in Self-assembly by Lathrop, James I., Lutz, Jack H., Patitz, Matthew J., Summers, Scott M.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Finite-state dimension

    Finite-state dimension by Dai, Jack J., Lathrop, James I., Lutz, Jack H., Mayordomo, Elvira

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Robust biomolecular finite automata

    Robust biomolecular finite automata by Klinge, Titus H., Lathrop, James I., Lutz, Jack H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Verifying Chemical Reaction Networks with the Isabelle Theorem Prover

    Verifying Chemical Reaction Networks with the Isabelle Theorem Prover by Lathrop, James I., Osera, Peter-Michael, Schmidt, Addison W., Slater, Jesse C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Real-time computing and robust memory with deterministic chemical reaction networks

    Real-time computing and robust memory with deterministic chemical reaction networks by Fletcher, Willem, Klinge, Titus H., Lathrop, James I., Nye, Dawn A., Rayman, Matthew

    Published in Natural computing
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  13. 13
    ChemTest: An Automated Software Testing Framework for an Emerging Paradigm

    ChemTest: An Automated Software Testing Framework for an Emerging Paradigm by Gerten, Michael C., Lathrop, James I., Cohen, Myra B., Klinge, Titus H.

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Runtime Fault Detection in Programmed Molecular Systems

    Runtime Fault Detection in Programmed Molecular Systems by Ellis, Samuel J., Klinge, Titus H., Lathrop, James I., Lutz, Jack H., Lutz, Robyn R., Miner, Andrew S., Potter, Hugh D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Strict self-assembly of discrete Sierpinski triangles: Computational Paradigms from Nature

    Strict self-assembly of discrete Sierpinski triangles: Computational Paradigms from Nature by LATHROP, James I, LUTZ, Jack H, SUMMERS, Scott M

    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line

    SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line by Lathrop, James I., Lutz, Robyn R., Brecount, Cameron, Potter, Hugh, Rohlfing, Kathryn, Slater, Jesse, Wallin, Joshua

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Modulated Signals in Chemical Reaction Networks

    Modulated Signals in Chemical Reaction Networks by Klinge, Titus H, Lathrop, James I

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Recursive Computational Depth

    Recursive Computational Depth by Lathrop, James I., Lutz, Jack H.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Robust Real-time Computing with Chemical Reaction Networks

    Robust Real-time Computing with Chemical Reaction Networks by Fletcher, Willem, Klinge, Titus H, Lathrop, James I, Nye, Dawn A, Rayman, Matthew

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Robust Biomolecular Finite Automata

    Robust Biomolecular Finite Automata by Klinge, Titus H, Lathrop, James I, Lutz, Jack H

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: