A microkernel API for fine-grained decomposition. - Sebastian Reichelt; Jan Stoess; Frank Bellosa (PLOS@SOSP, 2009)

Ideas for a MathWiki Editor. - Sebastian Reichelt (MathWikis@ITP, 2011)