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.
