David Doty

From MaRDI portal


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 protocols
 
2023-11-02Paper
Computing properties of thermodynamic binding networks: an integer programming approach
 
2023-09-21Paper
ppsim: a software package for efficiently simulating and visualizing population protocols
 
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?)
 
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
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
Parallelism and time in hierarchical self-assembly
 
2019-05-10Paper
Programming substrate-independent kinetic barriers with thermodynamic binding networks
 
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 networks
 
2018-02-02Paper
Speed faults in computation by chemical reaction networks
Distributed Computing
2018-01-17Paper
Pattern overlap implies runaway growth in hierarchical tile systems
 
2017-10-10Paper
The power of nondeterminism in self-assembly
 
2017-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
 
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
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
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
Intrinsic universality in self-assembly
 
2012-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