Visualizing Industrial CT Volume Data for Nondestructive Testing Applications. - Runzhen Huang; Kwan-Liu Ma; Patrick S. McCormick; William Ward (IEEE Visualization, 2003)

Patients and providers using secure messages on the patient portal for home telemonitoring: what are the informatics challenges and how can they be managed? - Frederick North; Muhamad Elrashidi; Barbie J. Mundt; Karen L. Ytterberg; Eric M. Manley; William Ward; Sidna M. Tulledge-Scheitel (AMIA, 2014)

Fine-Tuning Language Models Using Formal Methods Feedback. - Yunhao Yang; Neel P. Bhatt; Tyler Ingebrand; William Ward; Steven Carr 002; Zhangyang Wang; Ufuk Topcu (CoRR, 2023)

A hybrid soft material robotic end-effector for reversible in-space assembly of strut components. - Maxwell Hammond; Anthony Dempsey; William Ward; Stephen Stewart; James H. Neilan; Jessica Friz; Caterina Lamuta; Venanzio Cichella (Frontiers Robotics AI, 2023)

Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems. - Yunhao Yang; Neel P. Bhatt; Tyler Ingebrand; William Ward; Steven Carr 002; Atlas Wang; Ufuk Topcu (MLSys, 2024)

Joint Verification and Refinement of Language Models for Safety-Constrained Planning. - Yunhao Yang; William Ward; Zichao Hu; Joydeep Biswas; Ufuk Topcu (CoRR, 2024)

Efficient Phase Step Determination Approach for Four-Quadrant Wind Imaging Interferometer. - Tingyu Yan; William Ward; Chunmin Zhang; Shiping Guo (Remote. Sens., 2024)

Dual-Wavelength Interferometric Detection Technology for Wind and Temperature Fields in the Martian Middle and Upper Atmosphere Based on LCTF. - Yanqiang Wang; Biyun Zhang; Chunmin Zhang; Shiping Guo; Tingyu Yan; Yifan He 004; William Ward (Remote. Sens., 2024)

Online Adaptation of Terrain-Aware Dynamics for Planning in Unstructured Environments. - William Ward; Sarah Etter; Tyler Ingebrand; Christian Ellis; Adam J. Thorpe; Ufuk Topcu (CoRR, 2025)