Laura Zielinski

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 1

Top Topics

Conjunctive Queries

Queries Using Views

Fully Automated

Top Venues

Publications

Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand
ViCAR: Visualizing Categories with Automated Rewriting in Coq. CoRR (2024)
Cathy L. Crossland, Larry K. Monteith, Thomas K. Miller, Lynne B. Brock, Roel Cuejilo, Mary Anne Wheeler, Rebecca Viersen, Laura Zielinski
The FORESEE Project: Connecting Communities to Create Competence. J. Educ. Technol. Soc. 3 (3) (2000)