Karen Van Houten

According to our database, Karen Van Houten authored at least 3 papers between 1987 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

(In)Formal Methods: Teaching Program Derivation Via the Moore Method.

James A. Foster, Michael Barnett, Karen Van Houten, Luke Sheneman

Comput. Sci. Educ., 1995

1992

On the Use of Binary Strings to Represent Tree Structures.

Paul W. Oman, Karen Van Houten

Comput. J., 1992

1987

Software support for computer science video courses.

Karen Van Houten

ACM SIGCSE Bull., 1987