Verification of The Minimum Cost Forwarding Protocol for Wireless Sensor Networks. - William D. Henderson; Steven Tron (ETFA, 2006)

Unconventional Arithmetic: A System for Computation Using Action Potentials. - Jonathan Edwards; Simon O'Keefe; William D. Henderson (UCNC, 2014)