Stack Languages and log n Space. - K. N. King; Celia Wrathall (J. Comput. Syst. Sci., 1978)

Iteration Theorems for Families of Strict Deterministic Languages. - K. N. King (Theor. Comput. Sci., 1980)

Alternating Multihead Finite Automata (Extended Abstract). - K. N. King (ICALP, 1981)

Measures of Parallelism in Alternating Computation Trees (Extended Abstract) - K. N. King (STOC, 1981)

An Optimal Algorithm for Sink-Finding. - K. N. King; Barbara Smith-Thomas (Inf. Process. Lett., 1982)

A Fortran 77 interpreter for mutation analysis. - A. Jefferson Offutt; K. N. King (PLDI, 1987)

Alternating Multihead Finite Automata. - K. N. King (Theor. Comput. Sci., 1988)

The International Standardization of Modula-2. - K. N. King (ACM Conference on Computer Science, 1989)

The development of a modula-2 validation suite. - K. N. King; David A. Crick (ACM Southeast Regional Conference, 1990)

A Fortran Language System for Mutation-based Software Testing. - K. N. King; A. Jefferson Offutt (Softw. Pract. Exp., 1991)

An approach to the programming languages course. - K. N. King (ACM Southeast Regional Conference, 1992)

The evolution of the programming languages course. - K. N. King (SIGCSE, 1992)

Modula-3: a threat to Ada? - K. N. King (WADAS, 1993)

The case for Java as a first language. - K. N. King (ACM Southeast Regional Conference, 1997)

Rule-based statistical data mining agents for an e-commerce application. - Yi Qin; Yan-Qing Zhang 001; K. N. King; Rajshekhar Sunderraman (Data Mining and Knowledge Discovery: Theory, Tools, and Technology, 2003)

2006 IEEE International Conference on Granular Computing. - K. N. King (IEEE Comput. Intell. Mag., 2006)

Using personal robots in CS1: experiences, outcomes, and attitudinal influences. - Stefanie Markham; K. N. King (ITiCSE, 2010)