T. G. Windeknecht

	1989
6		T. G. Windeknecht: Arithmetic Algorithms in a Proof-Oriented Set-Theoretic Language. ACM Conference on Computer Science 1989: 295-300
	1988
5		T. G. Windeknecht: Toward a theory of correct set algorithms. ACM Conference on Computer Science 1988: 37-46
	1980
4		D. E. Swearingen, T. G. Windeknecht: A small KIM-1 based interactive music system. ACM Southeast Regional Conference 1980: 171-173
3		M. B. Windeknecht, T. G. Windeknecht: Microcomputer graphics and the color-and-weave effect in handweaving. ACM Southeast Regional Conference 1980: 174-179
	1976
2		T. G. Windeknecht, H. D'angelo: System theoretic implications of numerical methods applied to the solution of ordinary differential equations. AFIPS National Computer Conference 1976: 963-972
	1967
1		T. G. Windeknecht: Mathematical Systems Theory: Causality. Mathematical Systems Theory 1(4): 279-288 (1967)

Coauthor Index

1	H. D'angelo	[2]
2	D. E. Swearingen	[4]
3	M. B. Windeknecht	[3]

Colors in the list of coauthors