Matthew R. Riley

According to our database, Matthew R. Riley authored at least 4 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

Proceedings of the 26th International Conference on DNA Computing and Molecular Programming, 2020

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

Proceedings of the 26th International Conference on DNA Computing and Molecular Programming, 2020

2019

Quorum Sensing and Verification in Chemical Reaction Networks.

James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, Matthew R. Riley

CoRR, 2019

Robustness and games against nature in molecular programming.

Jack H. Lutz, Neil Lutz, Robyn R. Lutz, Matthew R. Riley

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019