A concurrent automatic programming system. - K. E. Kennedy (ACM Southeast Regional Conference, 2008)

Linear-Time Self-Stabilizing Algorithms for Disjoint Independent Sets. - Stephen T. Hedetniemi; David Pokrass Jacobs; K. E. Kennedy (Comput. J., 2013)

Self-stabilizing Algorithms for Unfriendly Partitions into Two Disjoint Dominating Sets. - Sandra Mitchell Hedetniemi; Stephen T. Hedetniemi; K. E. Kennedy; Alice A. McRae (Parallel Process. Lett., 2013)

A theorem of Ore and self-stabilizing algorithms for disjoint minimal dominating sets. - Stephen T. Hedetniemi; David Pokrass Jacobs; K. E. Kennedy (Theor. Comput. Sci., 2015)