Testing vulnerabilities in bluetooth low energy. - Thomas Willingham; Cody Henderson; Blair Kiel; Md Shariful Haque; Travis Atkison (ACM Southeast Regional Conference, 2018)

Dagster: Parallel Structured Search with Case Studies. - Mark Alexander Burgess; Charles Gretton; Josh Milthorpe; Luke Croak; Thomas Willingham; Alwen Tiu (PRICAI (1), 2022)

Dagster: Parallel Structured Search. - Mark Alexander Burgess; Charles Gretton; Josh Milthorpe; Luke Croak; Thomas Willingham; Alwen Tiu (AAAI, 2023)