Improving an interactive visualization of transition systems. - Bas Ploeger; Carst Tankink (SOFTVIS, 2008)

Proviola: A Tool for Proof Re-animation. - Carst Tankink; Herman Geuvers; James McKinna; Freek Wiedijk (AISC/MKM/Calculemus, 2010)

Narrating Formal Proof (Work in Progress). - Carst Tankink; Herman Geuvers; James McKinna (UITP, 2010)

Dynamic Proof Pages. - Carst Tankink; James McKinna (MathWikis@ITP, 2011)

Point-and-Write - Documenting Formal Mathematics by Reference. - Carst Tankink; Christoph Lange 002; Josef Urban (AISC/MKM/Calculemus, 2012)

Proof in Context - Web Editing with Rich, Modeless Contextual Feedback. - Carst Tankink (UITP, 2012)

Communicating Formal Proofs: The Case of Flyspeck. - Carst Tankink; Cezary Kaliszyk; Josef Urban; Herman Geuvers (ITP, 2013)

Formal Mathematics on Display: A Wiki for Flyspeck. - Carst Tankink; Cezary Kaliszyk; Josef Urban; Herman Geuvers (MKM/Calculemus/DML, 2013)

PIDE for Asynchronous Interaction with Coq. - Carst Tankink (UITP, 2014)

Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface. - Bruno Barras; Carst Tankink; Enrico Tassi (ITP, 2015)

Statman's Hierarchy Theorem. - Bram Westerbaan; Bas Westerbaan; Rutger Kuyper; Carst Tankink; Remy Viehoff; Henk Barendregt (Log. Methods Comput. Sci., 2017)

Coqoon - An IDE for interactive proof development in Coq. - Alexander John Faithfull; Jesper Bengtson; Enrico Tassi; Carst Tankink (Int. J. Softw. Tools Technol. Transf., 2018)