James I. Lathrop

52 papers A* 7A 3B 6C 3Journal 24Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Real-time computing and robust memory with deterministic chemical reaction networks. Nat. Comput. Willem Fletcher, Titus H. Klinge, James I. Lathrop, Dawn A. Nye, Matthew Rayman
2024	J	`jnl`	ALCH: An imperative language for chemical reaction network-controlled tile assembly. Nat. Comput. Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, Matthew R. Riley
2024	J	`jnl`	Population-induced phase transitions and the verification of chemical reaction networks. Nat. Comput. James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, Matthew R. Riley
2024	J	`jnl`	Reactamole: functional reactive molecular programming. Nat. Comput. Titus H. Klinge, James I. Lathrop, Peter-Michael Osera, Allison Rogers
2024	A	`conf`	Traceback: A Fault Localization Technique for Molecular Programs. ISSTA Michael C. Gerten, James I. Lathrop, Myra B. Cohen
2023	—	`conf`	Verifying Chemical Reaction Networks with the Isabelle Theorem Prover. Allerton James I. Lathrop, Peter-Michael Osera, Addison W. Schmidt, Jesse Slater
2022	A*	`conf`	Inference and Test Generation Using Program Invariants in Chemical Reaction Networks. ICSE Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, Titus H. Klinge
2022	A	`conf`	SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line. RE James I. Lathrop, Robyn R. Lutz, Cameron Brecount, Hugh D. Potter, Kathryn Rohlfing, Jesse Slater, Joshua Wallin
2021	—	`conf`	CRNRepair: Automated Program Repair of Chemical Reaction Networks. GI@ICSE Ibrahim Mesecan, Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Tomas Haddad Caldas
2021	B	`conf`	Reactamole: Functional Reactive Molecular Programming. DNA Titus H. Klinge, James I. Lathrop, Peter-Michael Osera, Allison Rogers
2021	—	`conf`	Robust Real-Time Computing with Chemical Reaction Networks. UCNC Willem Fletcher, Titus H. Klinge, James I. Lathrop, Dawn A. Nye, Matthew Rayman
2021	J	`jnl`	Robust Real-time Computing with Chemical Reaction Networks. CoRR Willem Fletcher, Titus H. Klinge, James I. Lathrop, Dawn A. Nye, Matthew Rayman
2020	B	`conf`	ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly. DNA Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, Matthew R. Riley
2020	A*	`conf`	ChemTest: An Automated Software Testing Framework for an Emerging Paradigm. ASE Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Titus H. Klinge
2020	J	`jnl`	Modulated Signals in Chemical Reaction Networks. CoRR Titus H. Klinge, James I. Lathrop
2020	B	`conf`	Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks. DNA James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, Matthew R. Riley
2020	J	`jnl`	Robust biomolecular finite automata. Theor. Comput. Sci. Titus H. Klinge, James I. Lathrop, Jack H. Lutz
2020	—	`conf`	Using an Astronaut Jetpack Project to Teach Human-CPS Requirements Engineering. REET@RE Robyn R. Lutz, James I. Lathrop, Cameron Brecount, Kendal Gast, Kathryn Rohlfing, Joshua Wallin
2019	J	`jnl`	Quorum Sensing and Verification in Chemical Reaction Networks. CoRR James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, Matthew R. Riley
2019	B	`conf`	Real-Time Equivalence of Chemical Reaction Networks and Analog Computers. DNA Xiang Huang, Titus H. Klinge, James I. Lathrop
2019	J	`jnl`	Real-time computability of real numbers by chemical reaction networks. Nat. Comput. Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz
2019	J	`jnl`	Robust chemical circuits. Biosyst. Samuel J. Ellis, Titus H. Klinge, James I. Lathrop
2019	J	`jnl`	Runtime Fault Detection in Programmed Molecular Systems. ACM Trans. Softw. Eng. Methodol. Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner, Hugh D. Potter
2018	J	`jnl`	Real-Time Computability of Real Numbers by Chemical Reaction Networks. CoRR Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz
2018	J	`jnl`	Robust Chemical Circuits. CoRR Samuel J. Ellis, Titus H. Klinge, James I. Lathrop
2017	—	`conf`	Real-Time Computability of Real Numbers by Chemical Reaction Networks. UCNC Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz
2017	—	`conf`	Robust Combinatorial Circuits in Chemical Reaction Networks. TPNC Samuel J. Ellis, Titus H. Klinge, James I. Lathrop
2017	J	`jnl`	Runtime Fault Detection in Programmed Molecular Systems. CoRR Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner
2017	—	`conf`	State logging in chemical reaction networks. NANOCOM Samuel J. Ellis, James I. Lathrop, Robyn R. Lutz
2015	J	`jnl`	Robust Biomolecular Finite Automata. CoRR Titus H. Klinge, James I. Lathrop, Jack H. Lutz
2014	A*	`conf`	Automated requirements analysis for a molecular watchdog timer. ASE Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, Andrew S. Miner
2012	A*	`conf`	Engineering and verifying requirements for programmable self-assembling nanomachines. ICSE Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Eric R. Henderson, Divita Mathur, Dalia Abo Sheasha
2012	A	`conf`	Requirements analysis for a product family of DNA nanodevices. RE Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, Donald M. Stull, Taylor Bergquist, Eric R. Henderson
2011	J	`jnl`	Computability and Complexity in Self-assembly. Theory Comput. Syst. James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers
2011	C	`conf`	Multi-Resolution Cellular Automata for Real Computation. CiE James I. Lathrop, Jack H. Lutz, Brian Patterson
2009	B	`conf`	Self-assembly of the Discrete Sierpinski Carpet and Related Fractals. DNA Steven M. Kautz, James I. Lathrop
2009	J	`jnl`	Self-assembly of the discrete Sierpinski carpet and related fractals CoRR Steven M. Kautz, James I. Lathrop
2009	J	`jnl`	Strict Self-Assembly of Discrete Sierpinski Triangles CoRR James I. Lathrop, Jack H. Lutz, Scott M. Summers
2009	J	`jnl`	Strict self-assembly of discrete Sierpinski triangles. Theor. Comput. Sci. James I. Lathrop, Jack H. Lutz, Scott M. Summers
2008	J	`jnl`	Computability and Complexity in Self-Assembly. Electron. Colloquium Comput. Complex. James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers
2008	C	`conf`	Computability and Complexity in Self-assembly. CiE James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers
2008	J	`jnl`	Strict Self-Assembly of Discrete Sierpinski Triangles. Electron. Colloquium Comput. Complex. James I. Lathrop, Jack H. Lutz, Scott M. Summers
2007	C	`conf`	Strict Self-assembly of Discrete Sierpinski Triangles. CiE James I. Lathrop, Jack H. Lutz, Scott M. Summers
2004	J	`jnl`	Finite-state dimension. Theor. Comput. Sci. Jack Jie Dai, James I. Lathrop, Jack H. Lutz, Elvira Mayordomo
2004	B	`conf`	Program induction: building a wall. IEEE Congress on Evolutionary Computation Dan Ashlock, James I. Lathrop
2001	A*	`conf`	Finite-State Dimension. ICALP Jack Jie Dai, James I. Lathrop, Jack H. Lutz, Elvira Mayordomo
1999	J	`jnl`	Recursive Computational Depth. Inf. Comput. James I. Lathrop, Jack H. Lutz
1998	—	`conf`	A Fully Characterized Test Suite for Genetic Programming. Evolutionary Programming Dan Ashlock, James I. Lathrop
1997	—	`conf`	A universal upper bound on the performance of the Lempel-Ziv algorithm on maliciously-constructed data. SEQUENCES James I. Lathrop, Martin Strauss
1997	A*	`conf`	Recursive Computational Depth. ICALP James I. Lathrop, Jack H. Lutz
1994	J	`jnl`	Computational Depth and Reducibility. Theor. Comput. Sci. David W. Juedes, James I. Lathrop, Jack H. Lutz
1993	A*	`conf`	Computational Depth and Reducibility (Extended Abstract). ICALP David W. Juedes, James I. Lathrop, Jack H. Lutz