Laura Zielinski

According to our database, Laura Zielinski authored at least 4 papers between 2000 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Synthesizing Backward Error Bounds, Backward.

Laura Zielinski, Justin Hsu

CoRR, April, 2026

2025

Bean: A Language for Backward Error Analysis.

Ariel E. Kellison, Laura Zielinski, David Bindel, Justin Hsu

Proc. ACM Program. Lang., 2025

2024

ViCAR: Visualizing Categories with Automated Rewriting in Coq.

Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand

Proceedings of the Proceedings Seventh International Conference on Applied Category Theory 2024, 2024

2000

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