David Doty
Orcid: 0000-0002-3922-172XAffiliations:
- University of California Davis, CA, USA
According to our database1,
David Doty
authored at least 75 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
The Computational Power of Discrete Chemical Reaction Networks with Bounded Executions.
Proceedings of the 38th International Symposium on Distributed Computing, 2024
Rate-Independent Continuous Inhibitory Chemical Reaction Networks Are Turing-Universal.
Proceedings of the Unconventional Computation and Natural Computation, 2024
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024
2023
J. ACM, June, 2023
Is stochastic thermodynamics the key to understanding the energy costs of computation?
CoRR, 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
Proceedings of the 29th International Conference on DNA Computing and Molecular Programming, 2023
2022
Proceedings of the 1st Symposium on Algorithmic Foundations of Dynamic Networks, 2022
Proceedings of the 1st Symposium on Algorithmic Foundations of Dynamic Networks, 2022
2021
Programming Substrate-Independent Kinetic Barriers With Thermodynamic Binding Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2021
Distributed Comput., 2021
Brief Announcement: A Time and Space Optimal Stable Population Protocol Solving Exact Majority.
Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021
Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021
Proceedings of the 62nd IEEE Annual Symposium on Foundations of Computer Science, 2021
Computing Properties of Thermodynamic Binding Networks: An Integer Programming Approach.
Proceedings of the 27th International Conference on DNA Computing and Molecular Programming, 2021
Ppsim: A Software Package for Efficiently Simulating and Visualizing Population Protocols.
Proceedings of the Computational Methods in Systems Biology, 2021
2020
CoRR, 2020
Proceedings of the 34th International Symposium on Distributed Computing, 2020
Proceedings of the 26th International Conference on DNA Computing and Molecular Programming, 2020
2019
Nat., 2019
Efficient Size Estimation and Impossibility of Termination in Uniform Dense Population Protocols.
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019
2018
Democratic, existential, and consensus-based output conventions in stable computation by chemical reaction networks.
Nat. Comput., 2018
Distributed Comput., 2018
CoRR, 2018
Brief Announcement: Exact Size Counting in Uniform Population Protocols in Nearly Logarithmic Time.
Proceedings of the 32nd International Symposium on Distributed Computing, 2018
2017
IEEE Trans. Mol. Biol. Multi Scale Commun., 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
2016
J. Comput. Geom., 2016
Proceedings of the DNA Computing and Molecular Programming - 22nd International Conference, 2016
2015
2014
Nat. Comput., 2014
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, 2014
Proceedings of the Innovations in Theoretical Computer Science, 2014
Proceedings of the DNA Computing and Molecular Programming - 20th International Conference, 2014
2013
2012
Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science, 2012
2011
2010
Electron. Colloquium Comput. Complex., 2010
Electron. Colloquium Comput. Complex., 2010
An Oracle Strongly Separating Deterministic Time from Nondeterministic Time, via Kolmogorov Complexity
CoRR, 2010
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010
Proceedings of the 51th Annual IEEE Symposium on Foundations of Computer Science, 2010
Scalable, Time-Responsive, Digital, Energy-Efficient Molecular Circuits Using DNA Strand Displacement.
Proceedings of the DNA Computing and Molecular Programming - 16th International Conference, 2010
2009
Proceedings of the Unconventional Computation, 8th International Conference, 2009
Proceedings of the DNA Computing and Molecular Programming, 15th International Conference, 2009
Proceedings of the DNA Computing and Molecular Programming, 15th International Conference, 2009
2008
Proceedings of the Proceedings International Workshop on The Complexity of Simple Programs, 2008
2007
Proceedings of the Computation and Logic in the Real World, 2007
2006
Electron. Colloquium Comput. Complex., 2006
Proceedings of the Logical Approaches to Computational Barriers, 2006
2005
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005
2004
Proceedings of the IEEE Congress on Evolutionary Computation, 2004
2003
Proceedings of the IEEE Congress on Evolutionary Computation, 2003