Noncomputable conditional distributions NL Ackerman, CE Freer, DM Roy 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 107-116, 2011 | 61 | 2011 |
Invariant measures concentrated on countable structures N Ackerman, C Freer, R Patel Forum of Mathematics, Sigma 4, e17, 2016 | 50 | 2016 |
On the computability of conditional probability NL Ackerman, CE Freer, DM Roy Journal of the ACM (JACM) 66 (3), 1-40, 2019 | 29 | 2019 |
The Beta-Bernoulli process and algebraic effects S Staton, D Stein, H Yang, NL Ackerman, CE Freer, DM Roy arXiv preprint arXiv:1802.09598, 2018 | 26 | 2018 |
On computability and disintegration NL Ackerman, CE Freer, DM Roy Mathematical Structures in Computer Science 27 (8), 1287-1314, 2017 | 25 | 2017 |
A characterization of quasitrivial n-semigroups NL Ackerman Algebra Universalis, 2016 | 22 | 2016 |
Completeness in generalized ultrametric spaces NL Ackerman P-Adic Numbers, Ultrametric Analysis, and Applications 5, 89-105, 2013 | 22* | 2013 |
An iterative step-function estimator for graphons D Cai, N Ackerman, C Freer arXiv preprint arXiv:1412.2129, 2014 | 19 | 2014 |
Graph turing machines NL Ackerman, CE Freer Logic, Language, Information, and Computation: 24th International Workshop …, 2017 | 15 | 2017 |
Exchangeable random processes and data abstraction S Staton, H Yang, N Ackerman, C Freer, DM Roy Workshop on Probabilistic Programming Semantics, 2017, 2017 | 14 | 2017 |
Representations of Aut (M)-Invariant Measures N Ackerman arXiv preprint arXiv:1509.06170, 2015 | 13 | 2015 |
Stable regularity for relational structures N Ackerman, C Freer, R Patel arXiv preprint arXiv:1712.09305, 2017 | 11 | 2017 |
A family of exact goodness-of-fit tests for high-dimensional discrete distributions FA Saad, CE Freer, NL Ackerman, VK Mansinghka The 22nd International Conference on Artificial Intelligence and Statistics …, 2019 | 10 | 2019 |
Properly ergodic structures N Ackerman, C Freer, A Kruckman, R Patel arXiv preprint arXiv:1710.09336, 2017 | 10 | 2017 |
Exchangeable random primitives N Ackerman, C Freer, D Roy Proceedings of, 2016, 2016 | 10 | 2016 |
Feedback Turing computability, and Turing computability as feedback NL Ackerman, CE Freer, RS Lubarsky 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 523-534, 2015 | 10 | 2015 |
A classification of orbits admitting a unique invariant measure N Ackerman, C Freer, A Kwiatkowska, R Patel Annals of Pure and Applied Logic 168 (1), 19-36, 2017 | 9 | 2017 |
Priors on exchangeable directed graphs D Cai, N Ackerman, C Freer | 9 | 2016 |
Categoricity in multiuniversal classes N Ackerman, W Boney, S Vasey Annals of Pure and Applied Logic 170 (11), 102712, 2019 | 8 | 2019 |
Roy. On the computability of conditional probability NL Ackerman, CE Freer, M Daniel arXiv preprint arXiv:1005.3014, 8, 2010 | 8 | 2010 |