Concepedia

David Diamondstone

DD

4

Publications

51

Citations

4

H-Index

2010

Active since

Affiliations

University of Chicago(Current)

University of Wisconsin–Madison

David Diamondstone is an author at University of Chicago specializing in engineering, computational complexity, and computer science.

Top concepts

EngineeringComputer ScienceComputational ComplexityEntropyProbabilityFormal MethodsAutomated ReasoningFormal VerificationStochastic AnalysisStochastic Calculus

Publications per year

2010–2016

4

Publications

4

Martin-Löf randomness and Galton–Watson processes

David Diamondstone, Bjørn Kjos-Hanssen · Annals of Pure and Applied Logic · 2011 · 16 citations · Full text

Engineering, Entropy, Integrable Probability +6

Asymptotic density, computable traceability, and 1-randomness

Uri Andrews, Mingzhong Cai, David Diamondstone et al. · Fundamenta Mathematicae · 2016 · 13 citations

Computable Function, Engineering, Entropy +9

Π 1 0 Classes, Peano Arithmetic, Randomness, and Computable Domination

David Diamondstone, Damir D. Dzhafarov, Robert I. Soare · Notre Dame Journal of Formal Logic · 2010 · 12 citations · Full text

Rich Source, Engineering, Kolmogorov Complexity +14

Inherent enumerability of strong jump-traceability

David Diamondstone, Noam Greenberg, Daniel Turetsky · Transactions of the American Mathematical Society · 2014 · 10 citations · Full text

Theory Of Computing, Reachability Analysis, Mi Mathvariant= +12

Rows per page

1–4 of 4