Publications

George Stelle, Darko Stefanovic (2018). Verifiably Lazy: Verified Compilation of Call-by-Need. IFL.
Preprint DOI
Darko Stefanovic (2018). A simplified account of cooperative effects in molecular walker teams. NanoCom.
PDF DOI
Aurora Fabry-Wood, Madalyn E. Fetrow, Carl W. Brown, III, Nicholas A. Baker, Nadiezda Fernandez Oropeza, Andrew P. Shreve, Gabriel A. Montaño, Darko Stefanovic, Matthew R. Lakin, Steven W. Graves (2017). A Microsphere-Supported Lipid Bilayer Platform for DNA Reactions on a Fluid Surface. ACS Applied Materials & Interfaces, 9 (35), 30185-30195.
DOI
Drew Blount, Peter Banda, Christof Teuscher, Darko Stefanovic (2017). Feedforward Chemical Neural Network: A Cellular Chemical System That Learns XOR. Artificial Life, 23, 295-317.
DOI
Matthew R. Lakin, Darko Stefanovic (2017). Towards Temporal Logic Computation Using DNA Strand Displacement Reactions. UCNC.
Preprint DOI
Matthew R. Lakin, Milan N. Stojanovic, Darko Stefanovic (2017). Implementing Molecular Logic Gates, Circuits, and Cascades Using DNAzymes. A. Adamatzky (ed.), Advances in Unconventional Computing Volume 2: Prototypes, Models and Algorithms, Emergence, Complexity and Computation, volume 23, chapter 1, pages 1-28. Springer International Publishing.
DOI
Dandan Mo, Matthew R. Lakin, Darko Stefanovic (2016). Logic Circuits Based on Molecular Spider Systems. BioSystems, 146, 10-25.
DOI
Matthew R. Lakin, Darko Stefanovic, Andrew Phillips (2016). Modular Verification of Chemical Reaction Network Encodings via Serializability Analysis. Theoretical Computer Science, 632, 21-42.
DOI
George Stelle, Darko Stefanovic, Stephen Olivier, Stephanie Forrest (2016). Cactus Environment Machine: Shared Environment Call-by-Need. TFP.
Preprint DOI
Matthew R. Lakin, Darko Stefanovic (2016). Supervised Learning in Adaptive DNA Strand Displacement Networks. ACS Synthetic Biology, 5(8), 885-897.
DOI