Extracting and Visualizing User Engagement on Wikipedia Talk Pages. - Carlin MacKenzie; John R. Hott (OpenSym, 2021)

An Evaluation of the Archive of Formal Proofs. - Carlin MacKenzie; Jacques D. Fleuriot; James Vaughan (CoRR, 2021)

Re-imagining the Isabelle Archive of Formal Proofs. - Carlin MacKenzie; Fabian Huch; James Vaughan; Jacques D. Fleuriot (CICM, 2022)