Large Formal Wikis: Issues and Solutions. - Jesse Alama; Kasper Brink; Lionel Mamane; Josef Urban (Calculemus/MKM, 2011)

Licensing the Mizar Mathematical Library. - Jesse Alama; Michael Kohlhase; Lionel Mamane; Adam Naumowicz; Piotr Rudnicki; Josef Urban (Calculemus/MKM, 2011)

Dependencies in Formal Mathematics - Jesse Alama; Lionel Mamane; Josef Urban (CoRR, 2011)

Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar. - Jesse Alama; Lionel Mamane; Josef Urban (AISC/MKM/Calculemus, 2012)

Machine Learning of Coq Proof Guidance: First Experiments. - Cezary Kaliszyk; Lionel Mamane; Josef Urban (SCSS, 2014)