Kai S. Juse

Publication Activity (10 Years)

Years Active: 2001-2003
Publications (10 Years): 0

Publications

Kai S. Juse, Samuel Kounev, Alejandro P. Buchmann
PetStore-WS: Measuring the Performance Implications of Web Services. Int. CMG Conference (2003)
Tim Braun, Anne Condon, Alan J. Hu, Kai S. Juse, Marius Laza, Michael Leslie, Rita Sharma
Proving sequential consistency by model checking. HLDVT (2001)