Type-safe distributed programming for OCaml. - John Billings; Peter Sewell; Mark R. Shinwell; Rok Strnisa (ML, 2006)

The java module system: core design and semantic definition. - Rok Strnisa; Peter Sewell; Matthew J. Parkinson (OOPSLA, 2007)

Thorn: robust, concurrent, extensible scripting on the JVM. - Bard Bloom; John Field; Nathaniel Nystrom; Johan Östlund; Gregor Richards; Rok Strnisa; Jan Vitek; Tobias Wrigstad (OOPSLA, 2009)

Thorn: robust concurrent scripting on the JVM. - Bard Bloom; John Field; Nathaniel Nystrom; Johan Östlund; Gregor Richards; Rok Strnisa; Jan Vitek; Tobias Wrigstad (OOPSLA Companion, 2009)

Ott: Effective tool support for the working semanticist. - Peter Sewell; Francesco Zappa Nardelli; Scott Owens; Gilles Peskine; Thomas Ridge; Susmit Sarkar; Rok Strnisa (J. Funct. Program., 2010)

Formalising, improving, and reusing the Java module system. - Rok Strnisa (2010)

Lightweight Java. - Rok Strnisa; Matthew J. Parkinson (Arch. Formal Proofs, 2011)