Billy Woods

According to our database, Billy Woods authored at least 4 papers between 2018 and 2025.

Collaborative distances:

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

2025

Are automated proof assistants ready for semigroup research? Orientation-preserving mappings and proof assistant Lean.

Alastair Litterick, Alexei Vernitski, Billy Woods

CoRR, November, 2025

2023

Usability and Clinical Evaluation of a Wearable TENS Device for Pain Management in Patients with Osteoarthritis of the Knee.

Fatma Layas, Billy Woods, Sean Jenkins

Proceedings of the Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28, 2023

2018

Mechanomyography based closed-loop Functional Electrical Stimulation cycling system.

Billy Woods, Mahendran Subramanian, Ali Shafti, A. Aldo Faisal

CoRR, 2018

Mecbanomyograpby Based Closed-Loop Functional Electrical Stimulation Cycling System.

Billy Woods, Mahendran Subramanian, Ali Shafti, Aldo A. Faisal

Proceedings of the 7th IEEE International Conference on Biomedical Robotics and Biomechatronics, 2018