@Proceedings{geary_et_al:LIPIcs.DNA.2020, title = {{LIPIcs, Volume 174, DNA 26, Complete Volume}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {1--230}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020}, URN = {urn:nbn:de:0030-drops-129529}, doi = {10.4230/LIPIcs.DNA.2020}, annote = {Keywords: LIPIcs, Volume 174, DNA 26, Complete Volume} } @InProceedings{geary_et_al:LIPIcs.DNA.2020.0, author = {Geary, Cody and Patitz, Matthew J.}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {0:i--0:xiv}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.0}, URN = {urn:nbn:de:0030-drops-129533}, doi = {10.4230/LIPIcs.DNA.2020.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} } @InProceedings{mohammed_et_al:LIPIcs.DNA.2020.1, author = {Mohammed, Abdulmelik and Jonoska, Nata\v{s}a and Saito, Masahico}, title = {{The Topology of Scaffold Routings on Non-Spherical Mesh Wireframes}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {1:1--1:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.1}, URN = {urn:nbn:de:0030-drops-129540}, doi = {10.4230/LIPIcs.DNA.2020.1}, annote = {Keywords: DNA origami, Scaffold routing, Graphs, Surfaces, Knots, Eulerian circuits} } @InProceedings{johnson_et_al:LIPIcs.DNA.2020.2, author = {Johnson, Robert F. and Qian, Lulu}, title = {{Simplifying Chemical Reaction Network Implementations with Two-Stranded DNA Building Blocks}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {2:1--2:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.2}, URN = {urn:nbn:de:0030-drops-129557}, doi = {10.4230/LIPIcs.DNA.2020.2}, annote = {Keywords: Molecular programming, DNA computing, Chemical Reaction Networks, DNA strand displacement} } @InProceedings{hashemi_et_al:LIPIcs.DNA.2020.3, author = {Hashemi, Hooman and Chugg, Ben and Condon, Anne}, title = {{Composable Computation in Leaderless, Discrete Chemical Reaction Networks}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {3:1--3:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.3}, URN = {urn:nbn:de:0030-drops-129560}, doi = {10.4230/LIPIcs.DNA.2020.3}, annote = {Keywords: Chemical Reaction Networks, Stable Function Computation, Output-Oblivious, Output-Monotonic} } @InProceedings{vasic_et_al:LIPIcs.DNA.2020.4, author = {Vasic, Marko and Soloveichik, David and Khurshid, Sarfraz}, title = {{CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {4:1--4:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.4}, URN = {urn:nbn:de:0030-drops-129574}, doi = {10.4230/LIPIcs.DNA.2020.4}, annote = {Keywords: molecular programming, formal methods} } @InProceedings{lathrop_et_al:LIPIcs.DNA.2020.5, author = {Lathrop, James I. and Lutz, Jack H. and Lutz, Robyn R. and Potter, Hugh D. and Riley, Matthew R.}, title = {{Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {5:1--5:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.5}, URN = {urn:nbn:de:0030-drops-129583}, doi = {10.4230/LIPIcs.DNA.2020.5}, annote = {Keywords: chemical reaction networks, molecular programming, phase transitions, population protocols, verification} } @InProceedings{klinge_et_al:LIPIcs.DNA.2020.6, author = {Klinge, Titus H. and Lathrop, James I. and Moreno, Sonia and Potter, Hugh D. and Raman, Narun K. and Riley, Matthew R.}, title = {{ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {6:1--6:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.6}, URN = {urn:nbn:de:0030-drops-129592}, doi = {10.4230/LIPIcs.DNA.2020.6}, annote = {Keywords: Tile assembly, Chemical reaction network, Sierpinski triangle} } @InProceedings{lankinen_et_al:LIPIcs.DNA.2020.7, author = {Lankinen, Antti and Mullor Ruiz, Ismael and Ouldridge, Thomas E.}, title = {{Implementing Non-Equilibrium Networks with Active Circuits of Duplex Catalysts}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {7:1--7:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.7}, URN = {urn:nbn:de:0030-drops-129602}, doi = {10.4230/LIPIcs.DNA.2020.7}, annote = {Keywords: DNA strand displacement, Catalysis, Information-processing networks} } @InProceedings{matsumura_et_al:LIPIcs.DNA.2020.8, author = {Matsumura, Yuta and Kawamata, Ibuki and Murata, Satoshi}, title = {{Design Automation of Polyomino Set That Self-Assembles into a Desired Shape}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {8:1--8:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.8}, URN = {urn:nbn:de:0030-drops-129614}, doi = {10.4230/LIPIcs.DNA.2020.8}, annote = {Keywords: DNA polyomino, DNA nanostructure, DNA tile, Agent based simulation, Self-assembly, Combinatorial optimization, Simulated annealing} } @InProceedings{doty_et_al:LIPIcs.DNA.2020.9, author = {Doty, David and Lee, Benjamin L and St\'{e}rin, Tristan}, title = {{scadnano: A Browser-Based, Scriptable Tool for Designing DNA Nanostructures}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {9:1--9:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.9}, URN = {urn:nbn:de:0030-drops-129624}, doi = {10.4230/LIPIcs.DNA.2020.9}, annote = {Keywords: computer-aided design, structural DNA nanotechnology, DNA origami} } @InProceedings{caballero_et_al:LIPIcs.DNA.2020.10, author = {Caballero, David and Gomez, Timothy and Schweller, Robert and Wylie, Tim}, title = {{Verification and Computation in Restricted Tile Automata}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {10:1--10:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.10}, URN = {urn:nbn:de:0030-drops-129635}, doi = {10.4230/LIPIcs.DNA.2020.10}, annote = {Keywords: Tile Automata, Turing Machines, Unique Assembly Verification} } @InProceedings{kostitsyna_et_al:LIPIcs.DNA.2020.11, author = {Kostitsyna, Irina and Wood, Cai and Woods, Damien}, title = {{Turning Machines}}, booktitle = {26th International Conference on DNA Computing and Molecular Programming (DNA 26)}, pages = {11:1--11:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-163-4}, ISSN = {1868-8969}, year = {2020}, volume = {174}, editor = {Geary, Cody and Patitz, Matthew J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.11}, URN = {urn:nbn:de:0030-drops-129649}, doi = {10.4230/LIPIcs.DNA.2020.11}, annote = {Keywords: model of computation, molecular robotics, self-assembly, nubot, reconfiguration} }