Proving sequential consistency by model checking. - Tim Braun; Anne Condon; Alan J. Hu; Kai S. Juse; Marius Laza; Michael Leslie; Rita Sharma (HLDVT, 2001)

PetStore-WS: Measuring the Performance Implications of Web Services. - Kai S. Juse; Samuel Kounev; Alejandro P. Buchmann (Int. CMG Conference, 2003)