The Borel–Cantelli lemmas, probability laws and Kolmogorov complexity G Davie The Annals of Probability 29 (4), 1426-1434, 2001 | 29 | 2001 |

On the computability of a construction of Brownian motion^{†}G Davie, WL Fouché Mathematical Structures in Computer Science 23 (6), 1257-1265, 2013 | 16 | 2013 |

Kolmogorov complexity, circuits, and the strength of formal theories of arithmetic E Allender, G Davie, L Friedman, SB Hopkins, I Tzameret Chicago J. Theor. Comput. Sci 2013, 2013 | 16 | 2013 |

Weihrauch-completeness for layerwise computability G Davie, W Fouché, A Pauly Logical Methods in Computer Science 14, 2018 | 12 | 2018 |

Fourier spectra of measures associated with algorithmically random Brownian motion G Davie, S Mukeru, WL Fouché Logical Methods in Computer Science 10, 2014 | 11 | 2014 |

Characterising the Martin-Löf random sequences using computably enumerable sets of measure one G Davie | 11 | 2004 |

Recursive events in random sequences G Davie Archive for Mathematical Logic 40, 629-638, 2001 | 5 | 2001 |

Computability of convergence rates in the ergodic theorem for Martin-Löf random points G Davie Journal of Logic and Analysis 14, 2022 | | 2022 |

Left computably enumerable reals and initial segment complexity G Davie arXiv preprint arXiv:2208.00423, 2022 | | 2022 |

Decidable lim sup and Borel–Cantelli-like lemmas for random sequences G Davie Statistics & Probability Letters 83 (1), 278-285, 2013 | | 2013 |

Constraints placed on random sequences by their compressibility G Davie Statistics & Probability Letters 82 (7), 1474-1478, 2012 | | 2012 |

Dobbelstrategieë vir toevalsrye s G Davie Suid-Afrikaanse Tydskrif vir Natuurwetenskap en Tegnologie 29 (1), 10-19, 2010 | | 2010 |

Gambling strategies for random sequences G Davie Suid-Afrikaans Tydskrif vir Natuurwetenskap en Tegnologie/South African …, 2010 | | 2010 |

Complexity and Turing Reducibility G Davie South African Mathematical Society, Rhodes University, Mathematics (Pure and …, 2005 | | 2005 |

Kolmogorov complexity and noncomputability G Davie Mathematical Logic Quarterly: Mathematical Logic Quarterly 48 (4), 574-580, 2002 | | 2002 |

Discrepancy of Complex Sequences Via Compressibility G Davie JOURNAL OF COMBINATORIAL MATHEMATICS AND COMBINATORIAL COMPUTING 33, 193-198, 2000 | | 2000 |

Kolmogorov complexity and recursive events G Davie University of Pretoria, 2000 | | 2000 |

The local time of Martin-Löf random Brownian motion WL Fouché, S Mukeru, G Davie | | |