The FORESEE Project: Connecting Communities to Create Competence. - Cathy L. Crossland; Larry K. Monteith; Thomas K. Miller; Lynne B. Brock; Roel Cuejilo; Mary Anne Wheeler; Rebecca Viersen; Laura Zielinski (J. Educ. Technol. Soc., 2000)

ViCAR: Visualizing Categories with Automated Rewriting in Coq. - Bhakti Shah; William Spencer; Laura Zielinski; Ben Caldwell; Adrian Lehmann; Robert Rand 001 (CoRR, 2024)

Bean: A Language for Backward Error Analysis. - Ariel E. Kellison; Laura Zielinski; David Bindel; Justin Hsu (Proc. ACM Program. Lang., 2025)