David Doty
Orcid: 0000-0002-3922-172XAffiliations:
- University of California Davis, CA, USA
According to our database1,
David Doty
authored at least 78 papers
between 2003 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2025
Exactly simulating stochastic chemical reaction networks in sub-constant time per reaction.
CoRR, August, 2025
Proceedings of the 39th International Symposium on Distributed Computing, 2025
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
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
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 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
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
Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018
Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks.
Proceedings of the Computational Methods in Systems Biology, 2018
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
Proceedings of the IEEE International Symposium on Information Theory, 2016
Proceedings of the DNA Computing and Molecular Programming - 22nd International Conference, 2016
2015
Proceedings of the Distributed Computing - 29th International Symposium, 2015
Proceedings of the 31st International Symposium on Computational Geometry, 2015
2014
Proceedings of the Distributed Computing - 28th International Symposium, 2014
Proceedings of the Unconventional Computation and Natural Computation, 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
Proceedings of the DNA Computing and Molecular Programming - 20th International Conference, 2014
2013
Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013
2012
Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, 2012
Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science, 2012
Proceedings of the DNA Computing and Molecular Programming - 18th International Conference, 2012
2011
Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, 2011
Proceedings of the Algorithms and Computation - 22nd International Symposium, 2011
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
Proceedings of the DNA Computing and Molecular Programming - 16th International Conference, 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 50th Annual IEEE Symposium on Foundations of Computer Science, 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
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 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