Analogical Reasoning and Proof Discovery. - Bishop Brock; Shaun Cooper; William Pierce (CADE, 1988)

Toward Mechanical Methods for Streamlining Proofs. - William Pierce (CADE, 1990)

Rethinking erasure codes for cloud file systems: minimizing I/O for recovery and degraded reads. - Osama Khan; Randal C. Burns; James S. Plank; William Pierce; Cheng Huang (FAST, 2012)

Bringing Harmony to Computational Science Pedagogy. - Richard Roth; William Pierce (ICCS (7), 2020)