### 5 papers:

- CSL-2011-Eickmeyer #first-order #logic #random
- Non-Definability Results for Randomised First-Order Logic (KE), pp. 218–232.
- CSL-2010-EickmeyerG #complexity
- Randomisation and Derandomisation in Descriptive Complexity Theory (KE, MG), pp. 275–289.
- SAC-2009-FarberB #composition #multi
- Multivariate root finding with search space decomposition and randomisation (MF, BB), pp. 1142–1143.
- AdaEurope-2004-GiriMJK #ada #approach #random #safety #testing
- A Randomised Test Approach to Testing Safety Critical Ada Code (SKG, AM, YVJ, KK), pp. 190–199.
- JICSLP-1998-AngelopoulosPW #algorithm #constraints #implementation #logic programming #random
- Implementing Randomised Algorithms in Constraint Logic Programming (NA, ADP, HW), pp. 355–356.