Dane Henshall

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Word Recognition

Automatic Theorem Proving

Top Venues

Int. J. Found. Comput. Sci.

Publications

Konstantin Nasartschuk, Marcel Dombrowski, Kenneth B. Kent, Aleksandar Micic, Dane Henshall, Charlie Gracie
String deduplication during garbage collection in virtual machines. CASCON (2016)
Daniel Goc, Dane Henshall, Jeffrey O. Shallit
Automatic Theorem-Proving in Combinatorics on Words. Int. J. Found. Comput. Sci. 24 (6) (2013)
Dane Henshall, Narad Rampersad, Jeffrey O. Shallit
Shuffling and Unshuffling. Bull. EATCS 107 (2012)
Daniel Goc, Dane Henshall, Jeffrey O. Shallit
Automatic Theorem-Proving in Combinatorics on Words. CIAA (2012)
Dane Henshall, Jeffrey O. Shallit
Automatic Theorem-Proving in Combinatorics on Words CoRR (2012)