James I. Lathrop

Myra B. Cohen

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Verifying Chemical Reaction Networks with the Isabelle Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the 59th Annual Allerton Conference on Communication, 2023

2022

SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

Inference and Test Generation Using Program Invariants in Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Robust Real-Time Computing with Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2021

CRNRepair: Automated Program Repair of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Workshop on Genetic Improvement, 2021

2020

Robust biomolecular finite automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Modulated Signals in Chemical Reaction Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Using an Astronaut Jetpack Project to Teach Human-CPS Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Requirements Engineering Education and Training, 2020

ChemTest: An Automated Software Testing Framework for an Emerging Paradigm.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Runtime Fault Detection in Programmed Molecular Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2019

Real-time computability of real numbers by chemical reaction networks.

[BibT_eX]

[DOI]

Nat. Comput., 2019

Quorum Sensing and Verification in Chemical Reaction Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Robust chemical circuits.

[BibT_eX]

[DOI]

Samuel J. Ellis

Biosyst., 2019

Real-Time Equivalence of Chemical Reaction Networks and Analog Computers.

[BibT_eX]

[DOI]

Xiang Huang

Proceedings of the DNA Computing and Molecular Programming - 25th International Conference, 2019

2017

Runtime Fault Detection in Programmed Molecular Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Robust Combinatorial Circuits in Chemical Reaction Networks.

[BibT_eX]

[DOI]

Samuel J. Ellis

Proceedings of the Theory and Practice of Natural Computing - 6th International Conference, 2017

State logging in chemical reaction networks.

[BibT_eX]

[DOI]

Samuel J. Ellis

Robyn R. Lutz

Proceedings of the 4th ACM International Conference on Nanoscale Computing and Communication, 2017

2014

Automated requirements analysis for a molecular watchdog timer.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2012

Requirements analysis for a product family of DNA nanodevices.

[BibT_eX]

[DOI]

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Engineering and verifying requirements for programmable self-assembling nanomachines.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Multi-Resolution Cellular Automata for Real Computation.

[BibT_eX]

[DOI]

Brian Patterson

Proceedings of the Models of Computation in Context, 2011

2009

Strict self-assembly of discrete Sierpinski triangles.

[BibT_eX]

[DOI]

Scott M. Summers

Theor. Comput. Sci., 2009

Self-assembly of the Discrete Sierpinski Carpet and Related Fractals.

[BibT_eX]

[DOI]

Steven M. Kautz

Proceedings of the DNA Computing and Molecular Programming, 15th International Conference, 2009

2008

Computability and Complexity in Self-Assembly.

[BibT_eX]

[DOI]

Electron. Colloquium Comput. Complex., 2008

Complexes of on-line self assembly.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Electro/Information Technology, 2008

2004

Finite-state dimension.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Program induction: building a wall.

[BibT_eX]

[DOI]

Dan Ashlock

Proceedings of the IEEE Congress on Evolutionary Computation, 2004

1999

Recursive Computational Depth.

[BibT_eX]

[DOI]

Inf. Comput., 1999

1998

A Fully Characterized Test Suite for Genetic Programming.

[BibT_eX]

[DOI]

Dan Ashlock

Proceedings of the Evolutionary Programming VII, 7th International Conference, 1998

1997

A universal upper bound on the performance of the Lempel-Ziv algorithm on maliciously-constructed data.

[BibT_eX]

[DOI]

Martin Strauss

Proceedings of the Compression and Complexity of SEQUENCES 1997, 1997

1994

Computational Depth and Reducibility.

[BibT_eX]

[DOI]

David W. Juedes

Theor. Comput. Sci., 1994

1993

Computational Depth and Reducibility (Extended Abstract).

[BibT_eX]

[DOI]

David W. Juedes