Source-Level Transformations for Improved Formal Verification. - Brian D. Winters; Alan J. Hu (ICCD, 2000)

A Negative-Overhead, Self-Timed Pipeline. - Mark R. Greenstreet; Brian D. Winters (ASYNC, 2002)

Surfing: a robust form of wave pipelining using self-timed circuit techniques. - Brian D. Winters; Mark R. Greenstreet (Microprocess. Microsystems, 2003)

Energy Efficient Surfing. - Suwen Yang; Brian D. Winters; Mark R. Greenstreet (ASYNC, 2005)

Surfing Pipelines: Theory and Implementation. - Suwen Yang; Brian D. Winters; Mark R. Greenstreet (IEEE J. Solid State Circuits, 2007)