T. G. Windeknecht

1989
6	EE	T. G. Windeknecht: Arithmetic Algorithms in a Proof-Oriented Set-Theoretic Language. ACM Conference on Computer Science 1989: 295-300
1988
5	EE	T. G. Windeknecht: Toward a theory of correct set algorithms. ACM Conference on Computer Science 1988: 37-46
1980
4	EE	D. E. Swearingen, T. G. Windeknecht: A small KIM-1 based interactive music system. ACM Southeast Regional Conference 1980: 171-173
3	EE	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	EE	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