David Soloveichik

73 papers A* 3A 3B 20Journal 43Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Computing and Bounding Equilibrium Concentrations in Athermic Chemical Systems. DNA Hamidreza Akef, Minki Hhan, David Soloveichik
2025	J	`jnl`	Computing and Bounding Equilibrium Concentrations in Athermic Chemical Systems. CoRR Hamidreza Akef, Minki Hhan, David Soloveichik
2025	J	`jnl`	Tight Bounds on the Spooky Pebble Game: Recycling Qubits with Measurements. Quantum Niels Kornerup, Jonathan Sadun, David Soloveichik
2024	A*	`conf`	Brief Announcement: Optimally Encoding Information in Chemical Reaction Networks. PODC Austin Luchsinger, David Doty, David Soloveichik
2023	J	`jnl`	Harvesting Brownian Motion: Zero Energy Computational Sampling. CoRR David Doty, Niels Kornerup, Austin Luchsinger, Leo Orshansky, David Soloveichik, Damien Woods
2023	B	`conf`	Optimal Information Encoding in Chemical Reaction Networks. DNA Austin Luchsinger, David Doty, David Soloveichik
2023	J	`jnl`	Optimal Information Encoding in Chemical Reaction Networks. CoRR Austin Luchsinger, David Doty, David Soloveichik
2023	J	`jnl`	Rate-independent Computation in Continuous Chemical Reaction Networks. J. ACM Ho-Lin Chen, David Doty, Wyatt Reeves, David Soloveichik
2023	B	`conf`	Thermodynamically Driven Signal Amplification. DNA Joshua Petrack, David Soloveichik, David Doty
2023	J	`jnl`	Thermodynamically Driven Signal Amplification. CoRR Joshua Petrack, David Soloveichik, David Doty
2021	J	`jnl`	Composable Rate-Independent Computation in Continuous Chemical Reaction Networks. IEEE ACM Trans. Comput. Biol. Bioinform. Cameron T. Chalk, Niels Kornerup, Wyatt Reeves, David Soloveichik
2021	B	`conf`	Molecular Machines from Topological Linkages. DNA Keenan Breik, Austin Luchsinger, David Soloveichik
2021	J	`jnl`	Programming Substrate-Independent Kinetic Barriers With Thermodynamic Binding Networks. IEEE ACM Trans. Comput. Biol. Bioinform. Keenan Breik, Cameron T. Chalk, David Doty, David Haley, David Soloveichik
2021	J	`jnl`	Programming and Training Rate-Independent Chemical Reaction Networks. CoRR Marko Vasic, Cameron T. Chalk, Austin Luchsinger, Sarfraz Khurshid, David Soloveichik
2021	J	`jnl`	Rate-Independent Computation in Continuous Chemical Reaction Networks. CoRR Ho-Lin Chen, David Doty, David Soloveichik, Wyatt Reeves
2021	J	`jnl`	The Spooky Pebble Game. CoRR Niels Kornerup, Jonathan Sadun, David Soloveichik
2020	J	`jnl`	CRN++: Molecular programming language. Nat. Comput. Marko Vasic, David Soloveichik, Sarfraz Khurshid
2020	B	`conf`	CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks. DNA Marko Vasic, David Soloveichik, Sarfraz Khurshid
2020	A*	`conf`	Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. ICML Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik
2020	J	`jnl`	Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. CoRR Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik
2019	J	`jnl`	CRNs Exposed: Systematic Exploration of Chemical Reaction Networks. CoRR Marko Vasic, David Soloveichik, Sarfraz Khurshid
2019	J	`jnl`	Composable Rate-Independent Computation in Continuous Chemical Reaction Networks. CoRR Cameron T. Chalk, Niels Kornerup, Wyatt Reeves, David Soloveichik
2019	J	`jnl`	Computing properties of stable configurations of thermodynamic binding networks. Theor. Comput. Sci. Keenan Breik, Chris Thachuk, Marijn Heule, David Soloveichik
2019	B	`conf`	SIMD\|\|DNA: Single Instruction, Multiple Data Computation with DNA Strand Displacement Cascades. DNA Boya Wang, Cameron T. Chalk, David Soloveichik
2018	B	`conf`	: Molecular Programming Language. DNA Marko Vasic, David Soloveichik, Sarfraz Khurshid
2018	J	`jnl`	CRN++: Molecular Programming Language. CoRR Marko Vasic, David Soloveichik, Sarfraz Khurshid
2018	—	`conf`	Composable Rate-Independent Computation in Continuous Chemical Reaction Networks. CMSB Cameron T. Chalk, Niels Kornerup, Wyatt Reeves, David Soloveichik
2018	J	`jnl`	Democratic, existential, and consensus-based output conventions in stable computation by chemical reaction networks. Nat. Comput. Robert Brijder, David Doty, David Soloveichik
2018	J	`jnl`	Hardness of computing and approximating predicates and functions with leaderless population protocols. CoRR Amanda Belleville, David Doty, David Soloveichik
2018	—	`conf`	Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks. CMSB Keenan Breik, Cameron T. Chalk, David Doty, David Haley, David Soloveichik
2018	J	`jnl`	Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks. CoRR Keenan Breik, Cameron T. Chalk, David Doty, David Haley, David Soloveichik
2018	J	`jnl`	Stable leader election in population protocols requires linear time. Distributed Comput. David Doty, David Soloveichik
2017	J	`jnl`	Computing properties of stable configurations of thermodynamic binding networks. CoRR Keenan Breik, Lakshmi Prakash, Chris Thachuk, Marijn Heule, David Soloveichik
2017	A*	`conf`	Hardness of Computing and Approximating Predicates and Functions with Leaderless Population Protocols. ICALP Amanda Belleville, David Doty, David Soloveichik
2017	B	`conf`	Robust Detection in Leak-Prone Population Protocols. DNA Dan Alistarh, Bartlomiej Dudek, Adrian Kosowski, David Soloveichik, Przemyslaw Uznanski
2017	J	`jnl`	Robust Detection in Leak-Prone Population Protocols. CoRR Dan Alistarh, Bartlomiej Dudek, Adrian Kosowski, David Soloveichik, Przemyslaw Uznanski
2017	J	`jnl`	Speed faults in computation by chemical reaction networks. Distributed Comput. Ho-Lin Chen, Rachel Cummings, David Doty, David Soloveichik
2017	B	`conf`	The Design Space of Strand Displacement Cascades with Toehold-Size Clamps. DNA Boya Wang, Chris Thachuk, Andrew D. Ellington, David Soloveichik
2017	B	`conf`	Thermodynamic Binding Networks. DNA David Doty, Trent A. Rogers, David Soloveichik, Chris Thachuk, Damien Woods
2017	J	`jnl`	Thermodynamic Binding Networks. CoRR David Doty, Trent A. Rogers, David Soloveichik, Chris Thachuk, Damien Woods
2016	J	`jnl`	Probability 1 computation with chemical reaction networks. Nat. Comput. Rachel Cummings, David Doty, David Soloveichik
2016	B	`conf`	Robustness of Expressivity in Chemical Reaction Networks. DNA Robert Brijder, David Doty, David Soloveichik
2016	J	`jnl`	Robustness of expressivity in chemical reaction networks. CoRR Robert Brijder, David Doty, David Soloveichik
2015	B	`conf`	Leakless DNA Strand Displacement Systems. DNA Chris Thachuk, Erik Winfree, David Soloveichik
2015	J	`jnl`	Preface. Nat. Comput. David Soloveichik, Bernard Yurke
2015	A	`conf`	Stable Leader Election in Population Protocols Requires Linear Time. DISC David Doty, David Soloveichik
2015	J	`jnl`	Stable leader election in population protocols requires linear time. CoRR David Doty, David Soloveichik
2014	J	`jnl`	Deterministic function computation with chemical reaction networks. Nat. Comput. Ho-Lin Chen, David Doty, David Soloveichik
2014	—	`conf`	NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract). BCB Aadithya V. Karthik, David Soloveichik, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury
2014	B	`conf`	Probability 1 Computation with Chemical Reaction Networks. DNA Rachel Cummings, David Doty, David Soloveichik
2014	A	`conf`	Rate-independent computation in continuous chemical reaction networks. ITCS Ho-Lin Chen, David Doty, David Soloveichik
2014	A	`conf`	Speed Faults in Computation by Chemical Reaction Networks. DISC Ho-Lin Chen, Rachel Cummings, David Doty, David Soloveichik
2013	B	`ed.`	DNA Computing and Molecular Programming - 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013. Proceedings DNA David Soloveichik, Bernard Yurke
2012	J	`jnl`	Deterministic Function Computation with Chemical Reaction Networks CoRR Ho-Lin Chen, David Doty, David Soloveichik
2012	B	`conf`	Deterministic Function Computation with Chemical Reaction Networks. DNA Ho-Lin Chen, David Doty, David Soloveichik
2011	J	`jnl`	Erratum to "The computational power of Benenson automata" [Theoret. Comput. Sci. 344 (2005) 279-297] Theor. Comput. Sci. David Soloveichik, Erik Winfree
2010	B	`conf`	Efficient Turing-Universal Computation with DNA Polymers. DNA Lulu Qian, David Soloveichik, Erik Winfree
2010	J	`jnl`	Parallelism, Program Size, Time, and Temperature in Self-Assembly CoRR Ho-Lin Chen, David Doty, Shinnosuke Seki, David Soloveichik
2010	J	`jnl`	Parallelism, Program Size, Time, and Temperature in Self-Assembly. Electron. Colloquium Comput. Complex. Ho-Lin Chen, David Doty, Shinnosuke Seki, David Soloveichik
2009	—	`conf`	Programmability of Chemical Reaction Networks. Algorithmic Bioprocesses Matthew Cook, David Soloveichik, Erik Winfree, Jehoshua Bruck
2009	J	`jnl`	Robust Stochastic Chemical Reaction Networks and Bounded Tau-Leaping. J. Comput. Biol. David Soloveichik
2009	B	`conf`	Time-Complexity of Multilayered DNA Strand Displacement Circuits. DNA Georg Seelig, David Soloveichik
2008	J	`jnl`	Combining self-healing and proofreading in self-assembly. Nat. Comput. David Soloveichik, Matthew Cook, Erik Winfree
2008	J	`jnl`	Computation with finite stochastic chemical reaction networks. Nat. Comput. David Soloveichik, Matthew Cook, Erik Winfree, Jehoshua Bruck
2008	B	`conf`	DNA as a Universal Substrate for Chemical Kinetics. DNA David Soloveichik, Georg Seelig, Erik Winfree
2008	J	`jnl`	Robust Stochastic Chemical Reaction Networks and Bounded Tau-Leaping CoRR David Soloveichik
2008	J	`jnl`	Statistical Learning of Arbitrary Computable Classifiers CoRR David Soloveichik
2007	J	`jnl`	Complexity of Self-Assembled Shapes. SIAM J. Comput. David Soloveichik, Erik Winfree
2005	B	`conf`	Complexity of Compact Proofreading for Self-assembled Patterns. DNA David Soloveichik, Erik Winfree
2005	J	`jnl`	The computational power of Benenson automata. Theor. Comput. Sci. David Soloveichik, Erik Winfree
2004	J	`jnl`	Complexity of Self-Assembled Shapes CoRR David Soloveichik, Erik Winfree
2004	B	`conf`	Complexity of Self-assembled Shapes. DNA David Soloveichik, Erik Winfree
2004	J	`jnl`	The Computational Power of Benenson Automata CoRR David Soloveichik, Erik Winfree