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

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

Automatic Theorem-Proving in Combinatorics on Words.

Daniel Goc, Dane Henshall, Jeffrey O. Shallit

Proceedings of the Implementation and Application of Automata, 2012