The Scala-REPL + MMT as a lightweight mathematical user interface. - Mihnea Iancu; Felix Mance; Florian Rabe 001 (CICM Workshops, 2013)

A Universal Machine for Biform Theory Graphs. - Michael Kohlhase; Felix Mance; Florian Rabe 001 (MKM/Calculemus/DML, 2013)

ETH Zurich at TREC Clinical Decision Support 2016. - Simon Greuter; Philip Junker; Lorenz Kuhn; Felix Mance; Virgile Mermet; Angela Rellstab; Carsten Eickhoff (TREC, 2016)