The Ackermann function in APL. - Theodore A. Linden (ACM SIGPLAN Notices, 1971)

A summary of progress toward proving program correctness. - Theodore A. Linden (AFIPS Fall Joint Computing Conference (1), 1972)

Proving the adequacy of protection in an operating system. - Theodore A. Linden (SIGPLAN-SIGOPS Interface Meeting, 1973)

Security kernels. - Steven B. Lipner; William A. Wulf; Roger R. Schell; Gerald J. Popek; Peter G. Neumann; Clark Weissman; Theodore A. Linden (AFIPS National Computer Conference, 1974)

The Use of Abstract Data Types to Simplify Program Modifications. - Theodore A. Linden (Conference on Data: Abstraction, Definition and Structure, 1976)

Operating System Structures to Support Security and Reliable Software. - Theodore A. Linden (ACM Comput. Surv., 1976)

Specifying abstract data types by restriction. - Theodore A. Linden (ACM SIGSOFT Softw. Eng. Notes, 1978)

On formal specifications and completeness: reply to Farshid Nourani. - Theodore A. Linden (ACM SIGSOFT Softw. Eng. Notes, 1978)

Authentication in Office System Internetworks. - Jay E. Israel; Theodore A. Linden (ACM Trans. Inf. Syst., 1983)

Architecture and early experience with planning for the ALV. - Theodore A. Linden; James P. Marsh; Doreen L. Dove (ICRA, 1986)

Object based planning for an autonomous land vehicle. - Don Shapiro; Theodore A. Linden; Jay Glicksman; Daryl T. Lawton (ICRA, 1986)

Contingency Planning for an Autonomous Land Vehicle. - Theodore A. Linden; Jay Glicksman (IJCAI, 1987)

Planning by transformational synthesis. - Theodore A. Linden (IEEE Expert, 1989)

SafeBots: a paradigm for software security controls. - Robert E. Filman; Ted Linden (NSPW, 1996)

Communicating security agents. - Robert E. Filman; Ted Linden (WETICE, 1996)

Exploring Largebess, Complexity and Scalability from the OOT Perspective (Panel). - Bindu Rama Rao; Chad Edwards; Ted Linden; Reagan W. Moore; Mark Seager (OOPSLA, 1997)

Inserting ilities by controlling communications. - Robert E. Filman; Stuart Barrett; Diana D. Lee; Ted Linden (Commun. ACM, 2002)