Categorification, term rewriting and the Knuth-Bendix procedure, pdf
Higher Čech theory, K-Theory 32 (2004), no.4, pp. 293–322
Simplicial torsors, Theory and Applications of Categories 9 (2001), no.3, pp. 43–60
Sheafifiable homotopy model categories, Math. Proc. Cambridge Philos. Soc. 129 (2000), no. 3, 447–475. (arXiv:math/0102087), Sheafifiable homotopy model categories. II, J. Pure Appl. Algebra 164 (2001), no. 3, 307–324; (preprint version)