Ada Abstraction, Generation, Verification. - Jonathan A. Turner; Thomas L. Hill (TRI-Ada, 1993)

Screw theory based motion analysis for an inchworm-like climbing robot. - Jianjun Yao; Shuang Gao; Guilin Jiang; Thomas L. Hill; Han Yu; Dong Shao (Robotica, 2015)

Development and Experimental Verification of a 3D Dynamic Absolute Nodal Coordinate Formulation Model of Flexible Prostate Biopsy/Brachytherapy Needles. - Athanasios Martsopoulos; Thomas L. Hill; Rajendra Persad; Stefanos Bolomytis; Antonia Tzemanaki (ICRA, 2023)

A comparative study on the dielectric elastomer actuator driven Vibro-impact capsule robot. - Chuang Wu; Anjiang Cai; Xiaozheng Li; Xing Gao; Thomas L. Hill; Chongjing Cao (Commun. Nonlinear Sci. Numer. Simul., 2025)