default search action
David Soloveichik
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c28]Austin Luchsinger
, David Doty
Brief Announcement: Optimally Encoding Information in Chemical Reaction Networks. PODC 2024: 61-64 - 2023
- [j17]Ho-Lin Chen
Rate-independent Computation in Continuous Chemical Reaction Networks. J. ACM 70(3): 22:1-22:61 (2023) - [c27]Joshua Petrack, David Soloveichik, David Doty:
Thermodynamically Driven Signal Amplification. DNA 2023: 8:1-8:22 - [c26]Austin Luchsinger, David Doty, David Soloveichik:
Optimal Information Encoding in Chemical Reaction Networks. DNA 2023: 9:1-9:16 - [i24]Joshua Petrack, David Soloveichik, David Doty:
Thermodynamically Driven Signal Amplification. CoRR abs/2307.01550 (2023) - [i23]Austin Luchsinger, David Doty, David Soloveichik:
Optimal Information Encoding in Chemical Reaction Networks. CoRR abs/2307.01939 (2023) - [i22]David Doty, Niels Kornerup
Harvesting Brownian Motion: Zero Energy Computational Sampling. CoRR abs/2309.06957 (2023) - 2021
- [j16]Cameron T. Chalk
Composable Rate-Independent Computation in Continuous Chemical Reaction Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 18(1): 250-260 (2021) - [j15]Keenan Breik
Programming Substrate-Independent Kinetic Barriers With Thermodynamic Binding Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 18(1): 283-295 (2021) - [c25]Keenan Breik, Austin Luchsinger, David Soloveichik:
Molecular Machines from Topological Linkages. DNA 2021: 7:1-7:20 - [i21]Ho-Lin Chen, David Doty, David Soloveichik, Wyatt Reeves:
Rate-Independent Computation in Continuous Chemical Reaction Networks. CoRR abs/2107.13681 (2021) - [i20]Marko Vasic, Cameron T. Chalk, Austin Luchsinger, Sarfraz Khurshid, David Soloveichik:
Programming and Training Rate-Independent Chemical Reaction Networks. CoRR abs/2109.11422 (2021) - [i19]Niels Kornerup, Jonathan Sadun, David Soloveichik:
The Spooky Pebble Game. CoRR abs/2110.08973 (2021) - 2020
- [j14]Marko Vasic
CRN++: Molecular programming language. Nat. Comput. 19(2): 391-407 (2020) - [c24]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks. DNA 2020: 4:1-4:25 - [c23]Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik:
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. ICML 2020: 9701-9711 - [i18]Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik:
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. CoRR abs/2003.13720 (2020)
2010 – 2019
- 2019
- [j13]Keenan Breik, Chris Thachuk, Marijn Heule, David Soloveichik
Computing properties of stable configurations of thermodynamic binding networks. Theor. Comput. Sci. 785: 17-29 (2019) - [c22]Boya Wang
SIMD||DNA: Single Instruction, Multiple Data Computation with DNA Strand Displacement Cascades. DNA 2019: 219-235 - [i17]Cameron T. Chalk, Niels Kornerup, Wyatt Reeves, David Soloveichik:
Composable Rate-Independent Computation in Continuous Chemical Reaction Networks. CoRR abs/1907.00053 (2019) - [i16]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
CRNs Exposed: Systematic Exploration of Chemical Reaction Networks. CoRR abs/1912.06197 (2019) - 2018
- [j12]David Doty
Stable leader election in population protocols requires linear time. Distributed Comput. 31(4): 257-271 (2018) - [j11]Robert Brijder, David Doty
Democratic, existential, and consensus-based output conventions in stable computation by chemical reaction networks. Nat. Comput. 17(1): 97-108 (2018) - [c21]Keenan Breik, Cameron T. Chalk, David Doty
Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks. CMSB 2018: 203-219 - [c20]Cameron T. Chalk, Niels Kornerup, Wyatt Reeves, David Soloveichik:
Composable Rate-Independent Computation in Continuous Chemical Reaction Networks. CMSB 2018: 256-273 - [c19]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
: Molecular Programming Language. DNA 2018: 1-18 - [i15]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
CRN++: Molecular Programming Language. CoRR abs/1809.07430 (2018) - [i14]Keenan Breik, Cameron T. Chalk, David Doty, David Haley, David Soloveichik:
Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks. CoRR abs/1810.12889 (2018) - [i13]Amanda Belleville, David Doty, David Soloveichik:
Hardness of computing and approximating predicates and functions with leaderless population protocols. CoRR abs/1811.01235 (2018) - 2017
- [j10]Ho-Lin Chen
Speed faults in computation by chemical reaction networks. Distributed Comput. 30(5): 373-390 (2017) - [c18]Boya Wang
The Design Space of Strand Displacement Cascades with Toehold-Size Clamps. DNA 2017: 64-81 - [c17]Dan Alistarh, Bartlomiej Dudek
Robust Detection in Leak-Prone Population Protocols. DNA 2017: 155-171 - [c16]David Doty
Thermodynamic Binding Networks. DNA 2017: 249-266 - [c15]Amanda Belleville, David Doty
Hardness of Computing and Approximating Predicates and Functions with Leaderless Population Protocols. ICALP 2017: 141:1-141:14 - [i12]Dan Alistarh, Bartlomiej Dudek, Adrian Kosowski, David Soloveichik, Przemyslaw Uznanski:
Robust Detection in Leak-Prone Population Protocols. CoRR abs/1706.09937 (2017) - [i11]David Doty, Trent A. Rogers, David Soloveichik, Chris Thachuk, Damien Woods:
Thermodynamic Binding Networks. CoRR abs/1709.07922 (2017) - [i10]Keenan Breik, Lakshmi Prakash, Chris Thachuk, Marijn Heule, David Soloveichik:
Computing properties of stable configurations of thermodynamic binding networks. CoRR abs/1709.08731 (2017) - 2016
- [j9]Rachel Cummings, David Doty
Probability 1 computation with chemical reaction networks. Nat. Comput. 15(2): 245-261 (2016) - [c14]Robert Brijder
Robustness of Expressivity in Chemical Reaction Networks. DNA 2016: 52-66 - [i9]Robert Brijder, David Doty, David Soloveichik:
Robustness of expressivity in chemical reaction networks. CoRR abs/1604.03687 (2016) - 2015
- [j8]David Soloveichik, Bernard Yurke:
Preface. Nat. Comput. 14(2): 193-194 (2015) - [c13]Chris Thachuk, Erik Winfree
Leakless DNA Strand Displacement Systems. DNA 2015: 133-153 - [c12]David Doty
Stable Leader Election in Population Protocols Requires Linear Time. DISC 2015: 602-616 - [i8]David Doty, David Soloveichik:
Stable leader election in population protocols requires linear time. CoRR abs/1502.04246 (2015) - 2014
- [j7]Ho-Lin Chen
Deterministic function computation with chemical reaction networks. Nat. Comput. 13(4): 517-534 (2014) - [c11]Aadithya V. Karthik, David Soloveichik, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury:
NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract). BCB 2014: 623-624 - [c10]Rachel Cummings, David Doty, David Soloveichik:
Probability 1 Computation with Chemical Reaction Networks. DNA 2014: 37-52 - [c9]Ho-Lin Chen
Rate-independent computation in continuous chemical reaction networks. ITCS 2014: 313-326 - [c8]Ho-Lin Chen, Rachel Cummings, David Doty, David Soloveichik:
Speed Faults in Computation by Chemical Reaction Networks. DISC 2014: 16-30 - 2013
- [e1]David Soloveichik, Bernard Yurke:
DNA Computing and Molecular Programming - 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings. Lecture Notes in Computer Science 8141, Springer 2013, ISBN 978-3-319-01927-7 [contents] - 2012
- [c7]Ho-Lin Chen
Deterministic Function Computation with Chemical Reaction Networks. DNA 2012: 25-42 - [i7]Ho-Lin Chen, David Doty, David Soloveichik:
Deterministic Function Computation with Chemical Reaction Networks. CoRR abs/1204.4176 (2012) - 2011
- [j6]David Soloveichik, Erik Winfree
Erratum to "The computational power of Benenson automata" [Theoret. Comput. Sci. 344 (2005) 279-297]. Theor. Comput. Sci. 412(43): 6112-6113 (2011) - 2010
- [c6]Lulu Qian, David Soloveichik, Erik Winfree
Efficient Turing-Universal Computation with DNA Polymers. DNA 2010: 123-140 - [i6]Ho-Lin Chen, David Doty, Shinnosuke Seki, David Soloveichik:
Parallelism, Program Size, Time, and Temperature in Self-Assembly. CoRR abs/1011.3493 (2010) - [i5]Ho-Lin Chen, David Doty, Shinnosuke Seki, David Soloveichik:
Parallelism, Program Size, Time, and Temperature in Self-Assembly. Electron. Colloquium Comput. Complex. TR10 (2010)
2000 – 2009
- 2009
- [j5]David Soloveichik:
Robust Stochastic Chemical Reaction Networks and Bounded Tau-Leaping. J. Comput. Biol. 16(3): 501-522 (2009) - [c5]Matthew Cook, David Soloveichik, Erik Winfree
Programmability of Chemical Reaction Networks. Algorithmic Bioprocesses 2009: 543-584 - [c4]Georg Seelig, David Soloveichik:
Time-Complexity of Multilayered DNA Strand Displacement Circuits. DNA 2009: 144-153 - 2008
- [j4]David Soloveichik, Matthew Cook, Erik Winfree
Combining self-healing and proofreading in self-assembly. Nat. Comput. 7(2): 203-218 (2008) - [j3]David Soloveichik, Matthew Cook, Erik Winfree
Computation with finite stochastic chemical reaction networks. Nat. Comput. 7(4): 615-633 (2008) - [c3]David Soloveichik, Georg Seelig, Erik Winfree
DNA as a Universal Substrate for Chemical Kinetics. DNA 2008: 57-69 - [i4]David Soloveichik:
Robust Stochastic Chemical Reaction Networks and Bounded Tau-Leaping. CoRR abs/0803.1030 (2008) - [i3]David Soloveichik:
Statistical Learning of Arbitrary Computable Classifiers. CoRR abs/0806.3537 (2008) - 2007
- [j2]David Soloveichik, Erik Winfree
Complexity of Self-Assembled Shapes. SIAM J. Comput. 36(6): 1544-1569 (2007) - 2005
- [j1]David Soloveichik, Erik Winfree
The computational power of Benenson automata. Theor. Comput. Sci. 344(2-3): 279-297 (2005) - [c2]David Soloveichik, Erik Winfree
Complexity of Compact Proofreading for Self-assembled Patterns. DNA 2005: 305-324 - 2004
- [c1]David Soloveichik, Erik Winfree
Complexity of Self-assembled Shapes. DNA 2004: 344-354 - [i2]David Soloveichik, Erik Winfree:
Complexity of Self-Assembled Shapes. CoRR abs/cs/0412096 (2004) - [i1]David Soloveichik, Erik Winfree:
The Computational Power of Benenson Automata. CoRR abs/cs/0412097 (2004)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-17 21:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: