David Doty

From MaRDI portal
(Redirected from Person:268442)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Time-Optimal Self-Stabilizing Leader Election in Population Protocols
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing
2024-03-26Paper
Brief Announcement: A Time and Space Optimal Stable Population Protocol Solving Exact Majority
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing
2024-03-26Paper
Democratic, existential, and consensus-based output conventions in stable computation by chemical reaction networks
Natural Computing
2023-11-30Paper
Computational complexity of atomic chemical reaction networks
Natural Computing
2023-11-30Paper
Message complexity of population protocols2023-11-02Paper
Computing properties of thermodynamic binding networks: an integer programming approach
(available as arXiv preprint)
2023-09-21Paper
ppsim: a software package for efficiently simulating and visualizing population protocols
(available as arXiv preprint)
2022-05-25Paper
Composable computation in discrete chemical reaction networks
Distributed Computing
2022-01-04Paper
A survey of size counting in population protocols
Theoretical Computer Science
2021-11-11Paper
Composable Computation in Discrete Chemical Reaction Networks
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing
2021-01-20Paper
Efficient Size Estimation and Impossibility of Termination in Uniform Dense Population Protocols
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing
2021-01-20Paper
Computational complexity of atomic chemical reaction networks
Lecture Notes in Computer Science
2020-10-21Paper
scientific article; zbMATH DE number 7204593 (Why is no real title available?)
(available as arXiv preprint)
2020-05-27Paper
Probability 1 computation with chemical reaction networks
Natural Computing
2019-07-10Paper
Producibility in hierarchical self-assembly
Natural Computing
2019-07-08Paper
Producibility in hierarchical self-assembly
Natural Computing
2019-07-08Paper
Leaderless deterministic chemical reaction networks
Natural Computing
2019-07-08Paper
Timing in chemical reaction networks
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms
2019-06-20Paper
Timing in chemical reaction networks
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms
2019-06-20Paper
Parallelism and time in hierarchical self-assembly2019-05-10Paper
Programming substrate-independent kinetic barriers with thermodynamic binding networks
(available as arXiv preprint)
2018-10-17Paper
Stable leader election in population protocols requires linear time
Lecture Notes in Computer Science
2018-08-24Paper
Stable leader election in population protocols requires linear time
Distributed Computing
2018-08-13Paper
Thermodynamic binding networks2018-02-02Paper
Thermodynamic binding networks
(available as arXiv preprint)
2018-02-02Paper
Speed faults in computation by chemical reaction networks
Distributed Computing
2018-01-17Paper
Pattern overlap implies runaway growth in hierarchical tile systems2017-10-10Paper
The power of nondeterminism in self-assembly2017-09-29Paper
Parallelism and time in hierarchical self-assembly
SIAM Journal on Computing
2017-05-30Paper
Rate-independent computation in continuous chemical reaction networks
Proceedings of the 5th conference on Innovations in theoretical computer science
2017-05-19Paper
Pattern overlap implies runaway growth in hierarchical tile systems
(available as arXiv preprint)
2017-03-30Paper
Robustness of expressivity in chemical reaction networks
Lecture Notes in Computer Science
2016-11-30Paper
Deterministic function computation with chemical reaction networks
Natural Computing
2016-04-15Paper
Producibility in hierarchical self-assembly
Unconventional Computation and Natural Computation
2015-09-14Paper
Program size and temperature in self-assembly
Algorithmica
2015-09-02Paper
Program size and temperature in self-assembly
Algorithmica
2015-09-02Paper
Speed Faults in Computation by Chemical Reaction Networks
Lecture Notes in Computer Science
2015-02-10Paper
Fast algorithmic self-assembly of simple shapes using random agitation
Lecture Notes in Computer Science
2014-10-08Paper
Probability 1 computation with chemical reaction networks
Lecture Notes in Computer Science
2014-10-08Paper
scientific article; zbMATH DE number 6351478 (Why is no real title available?)
Theory of Computing
2014-10-06Paper
Randomized Self-Assembly for Exact Shapes
2009 50th Annual IEEE Symposium on Foundations of Computer Science
2014-07-25Paper
Leaderless Deterministic Chemical Reaction Networks
Lecture Notes in Computer Science
2014-07-07Paper
Leaderless Deterministic Chemical Reaction Networks
Lecture Notes in Computer Science
2014-07-07Paper
Negative interactions in irreversible self-assembly
Algorithmica
2013-05-16Paper
Deterministic Function Computation with Chemical Reaction Networks
Lecture Notes in Computer Science
2012-11-06Paper
Deterministic Function Computation with Chemical Reaction Networks
Lecture Notes in Computer Science
2012-11-06Paper
Intrinsic universality in self-assembly2012-01-23Paper
Program size and temperature in self-assembly
Algorithms and Computation
2011-12-16Paper
Randomized self-assembly for exact shapes
SIAM Journal on Computing
2011-04-04Paper
Scalable, time-responsive, digital, energy-efficient molecular circuits using DNA strand displacement
Lecture Notes in Computer Science
2011-01-28Paper
Negative interactions in irreversible self-assembly
Lecture Notes in Computer Science
2011-01-28Paper
Limitations of self-assembly at temperature 1
Theoretical Computer Science
2011-01-10Paper
A domain-specific language for programming in the tile assembly model
Lecture Notes in Computer Science
2010-01-07Paper
Limitations of Self-assembly at Temperature One
Lecture Notes in Computer Science
2010-01-07Paper
Random Number Selection in Self-assembly
Lecture Notes in Computer Science
2009-10-22Paper
Constructive dimension and Turing degrees
Theory of Computing Systems
2009-10-19Paper
Dimension extractors and optimal decompression
Theory of Computing Systems
2009-05-08Paper
Finite-state dimension and real arithmetic
Lecture Notes in Computer Science
2009-03-12Paper
Finite-state dimension and real arithmetic
Information and Computation
2007-11-21Paper
Feasible Depth
Lecture Notes in Computer Science
2007-11-13Paper
Constructive Dimension and Weak Truth-Table Degrees
Lecture Notes in Computer Science
2007-11-13Paper
Pushdown dimension
Theoretical Computer Science
2007-09-03Paper
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science
2007-04-30Paper
Mathematical Foundations of Computer Science 2005
Lecture Notes in Computer Science
2006-10-20Paper


Research outcomes over time


This page was built for person: David Doty