1992 | ||
---|---|---|
12 | EE | K. N. King: An approach to the programming languages course. ACM Southeast Regional Conference 1992: 3-10 |
11 | EE | K. N. King: The evolution of the programming languages course. SIGCSE 1992: 213-219 |
1991 | ||
10 | K. N. King, A. Jefferson Offutt: A Fortran Language System for Mutation-based Software Testing. Softw., Pract. Exper. 21(7): 685-718 (1991) | |
1990 | ||
9 | EE | K. N. King, David A. Crick: The development of a modula-2 validation suite. ACM Southeast Regional Conference 1990: 95-100 |
1989 | ||
8 | EE | K. N. King: The International Standardization of Modula-2. ACM Conference on Computer Science 1989: 313-319 |
1988 | ||
7 | K. N. King: Alternating Multihead Finite Automata. Theor. Comput. Sci. 61: 149-174 (1988) | |
1987 | ||
6 | EE | A. Jefferson Offutt, K. N. King: A Fortran 77 interpreter for mutation analysis. PLDI 1987: 177-188 |
1982 | ||
5 | K. N. King, Barbara Smith-Thomas: An Optimal Algorithm for Sink-Finding. Inf. Process. Lett. 14(3): 109-111 (1982) | |
1981 | ||
4 | K. N. King: Alternating Multihead Finite Automata (Extended Abstract). ICALP 1981: 506-520 | |
3 | K. N. King: Measures of Parallelism in Alternating Computation Trees (Extended Abstract) STOC 1981: 189-201 | |
1980 | ||
2 | K. N. King: Iteration Theorems for Families of Strict Deterministic Languages. Theor. Comput. Sci. 10: 317-333 (1980) | |
1978 | ||
1 | K. N. King, Celia Wrathall: Stack Languages and log n Space. J. Comput. Syst. Sci. 17(3): 281-299 (1978) |
1 | David A. Crick | [9] |
2 | A. Jefferson Offutt (Jeff Offutt) | [6] [10] |
3 | Barbara Smith-Thomas | [5] |
4 | Celia Wrathall | [1] |