William Pierce

According to our database, William Pierce authored at least 4 papers between 1988 and 2020.

Collaborative distances:

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

2020

Bringing Harmony to Computational Science Pedagogy.

Richard Roth, William Pierce

Proceedings of the Computational Science - ICCS 2020, 2020

2012

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

Proceedings of the 10th USENIX conference on File and Storage Technologies, 2012

1990

Toward Mechanical Methods for Streamlining Proofs.

William Pierce

Proceedings of the 10th International Conference on Automated Deduction, 1990

1988

Analogical Reasoning and Proof Discovery.

Bishop Brock, Shaun Cooper, William Pierce

Proceedings of the 9th International Conference on Automated Deduction, 1988