Dane Henshall

According to our database, Dane Henshall authored at least 4 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2016

String deduplication during garbage collection in virtual machines.

Konstantin Nasartschuk, Marcel Dombrowski, Kenneth B. Kent, Aleksandar Micic, Dane Henshall, Charlie Gracie

Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016

2013

Automatic Theorem-Proving in Combinatorics on Words.

Daniel Goc, Dane Henshall, Jeffrey O. Shallit

Int. J. Found. Comput. Sci., 2013

2012

Shuffling and Unshuffling.

Dane Henshall, Narad Rampersad, Jeffrey O. Shallit

Bull. EATCS, 2012

Automatic Theorem-Proving in Combinatorics on Words

Dane Henshall, Jeffrey O. Shallit

CoRR, 2012