David Soloveichik
Orcid: 0000-0002-2585-4120
According to our database1,
David Soloveichik
authored at least 45 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024
2023
J. ACM, June, 2023
Proceedings of the 29th International Conference on DNA Computing and Molecular Programming, 2023
Proceedings of the 29th International Conference on DNA Computing and Molecular Programming, 2023
2021
IEEE ACM Trans. Comput. Biol. Bioinform., 2021
Programming Substrate-Independent Kinetic Barriers With Thermodynamic Binding Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2021
Proceedings of the 27th International Conference on DNA Computing and Molecular Programming, 2021
2020
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks.
Proceedings of the 37th International Conference on Machine Learning, 2020
Proceedings of the 26th International Conference on DNA Computing and Molecular Programming, 2020
2019
Theor. Comput. Sci., 2019
SIMD||DNA: Single Instruction, Multiple Data Computation with DNA Strand Displacement Cascades.
Proceedings of the DNA Computing and Molecular Programming - 25th International Conference, 2019
2018
Democratic, existential, and consensus-based output conventions in stable computation by chemical reaction networks.
Nat. Comput., 2018
Distributed Comput., 2018
Proceedings of the DNA Computing and Molecular Programming - 24th International Conference, 2018
2017
CoRR, 2017
Hardness of Computing and Approximating Predicates and Functions with Leaderless Population Protocols.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017
Proceedings of the DNA Computing and Molecular Programming - 23rd International Conference, 2017
Proceedings of the DNA Computing and Molecular Programming - 23rd International Conference, 2017
Proceedings of the DNA Computing and Molecular Programming - 23rd International Conference, 2017
2016
Proceedings of the DNA Computing and Molecular Programming - 22nd International Conference, 2016
2015
Proceedings of the DNA Computing and Molecular Programming - 21st International Conference, 2015
2014
Nat. Comput., 2014
Proceedings of the Innovations in Theoretical Computer Science, 2014
NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract).
Proceedings of the 5th ACM Conference on Bioinformatics, 2014
2011
Erratum to "The computational power of Benenson automata" [Theoret. Comput. Sci. 344 (2005) 279-297]
Theor. Comput. Sci., 2011
2010
Electron. Colloquium Comput. Complex., 2010
Proceedings of the DNA Computing and Molecular Programming - 16th International Conference, 2010
2009
J. Comput. Biol., 2009
Proceedings of the DNA Computing and Molecular Programming, 15th International Conference, 2009
Proceedings of the Algorithmic Bioprocesses, 2009
2008
Proceedings of the DNA Computing, 14th International Meeting on DNA Computing, 2008
2007
2005
Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005