| |
| 2004 | ||
|---|---|---|
| 3 | EE | George Davie: Characterising the Martin-Löf random sequences using computably enumerable sets of measure one. Inf. Process. Lett. 92(3): 157-160 (2004) |
| 2002 | ||
| 2 | EE | George Davie: Kolmogorov Complexity and Noncomputability. Math. Log. Q. 48(4): 574-580 (2002) |
| 2001 | ||
| 1 | EE | George Davie: Recursive events in random sequences. Arch. Math. Log. 40(8): 629-638 (2001) |