James I. Lathrop
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
8
Active years
1993–2024
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISSTA | Traceback: A Fault Localization Technique for Molecular Programs. | Michael C. Gerten, James I. Lathrop, Myra B. Cohen |
| 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 |
| 2022 | RE | SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line. | James I. Lathrop, Robyn R. Lutz, Cameron Brecount, Hugh D. Potter, Kathryn Rohlfing, Jesse Slater, Joshua Wallin |
| 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 |
| 2020 | DNA | Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks. | James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, Matthew R. Riley |
| 2020 | RE | Using an Astronaut Jetpack Project to Teach Human-CPS Requirements Engineering. | Robyn R. Lutz, James I. Lathrop, Cameron Brecount, Kendal Gast, Kathryn Rohlfing, Joshua Wallin |
| 2019 | DNA | Real-Time Equivalence of Chemical Reaction Networks and Analog Computers. | Xiang Huang, Titus H. Klinge, James I. Lathrop |
| 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 |
| 2011 | CiE | Multi-Resolution Cellular Automata for Real Computation. | James I. Lathrop, Jack H. Lutz, Brian Patterson |
| 2009 | DNA | Self-assembly of the Discrete Sierpinski Carpet and Related Fractals. | Steven M. Kautz, James I. Lathrop |
| 2008 | CiE | Computability and Complexity in Self-assembly. | James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers |
| 2007 | CiE | Strict Self-assembly of Discrete Sierpinski Triangles. | James I. Lathrop, Jack H. Lutz, Scott M. Summers |
| 2004 | CEC | Program induction: building a wall. | Dan Ashlock, James I. Lathrop |
| 2001 | ICALP | Finite-State Dimension. | Jack Jie Dai, James I. Lathrop, Jack H. Lutz, Elvira Mayordomo |
| 1997 | ICALP | Recursive Computational Depth. | James I. Lathrop, Jack H. Lutz |
| 1993 | ICALP | Computational Depth and Reducibility (Extended Abstract). | David W. Juedes, James I. Lathrop, Jack H. Lutz |