Automatic Theorem-Proving in Combinatorics on Words - Dane Henshall; Jeffrey O. Shallit (CoRR, 2012)

Shuffling and Unshuffling. - Dane Henshall; Narad Rampersad; Jeffrey O. Shallit (Bull. EATCS, 2012)

Automatic Theorem-Proving in Combinatorics on Words. - Daniel Goc; Dane Henshall; Jeffrey O. Shallit (Int. J. Found. Comput. Sci., 2013)

String deduplication during garbage collection in virtual machines. - Konstantin Nasartschuk; Marcel Dombrowski; Kenneth B. Kent; Aleksandar Micic; Dane Henshall; Charlie Gracie (CASCON, 2016)