@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}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing