Theodore A. Linden

Publication Activity (10 Years)

Years Active: 1971-1989
Publications (10 Years): 0

Publications

Theodore A. Linden
Planning by transformational synthesis. IEEE Expert 4 (2) (1989)
Theodore A. Linden, Jay Glicksman
Contingency Planning for an Autonomous Land Vehicle. IJCAI (1987)
Don Shapiro, Theodore A. Linden, Jay Glicksman, Daryl T. Lawton
Object based planning for an autonomous land vehicle. ICRA (1986)
Theodore A. Linden, James P. Marsh, Doreen L. Dove
Architecture and early experience with planning for the ALV. ICRA (1986)
Jay E. Israel, Theodore A. Linden
Authentication in Office System Internetworks. ACM Trans. Inf. Syst. 1 (3) (1983)
Theodore A. Linden
Specifying abstract data types by restriction. ACM SIGSOFT Softw. Eng. Notes 3 (2) (1978)
Theodore A. Linden
On formal specifications and completeness: reply to Farshid Nourani. ACM SIGSOFT Softw. Eng. Notes 3 (3) (1978)
Theodore A. Linden
The Use of Abstract Data Types to Simplify Program Modifications. Conference on Data: Abstraction, Definition and Structure (1976)
Theodore A. Linden
Operating System Structures to Support Security and Reliable Software. ACM Comput. Surv. 8 (4) (1976)
Steven B. Lipner, William A. Wulf, Roger R. Schell, Gerald J. Popek, Peter G. Neumann, Clark Weissman, Theodore A. Linden
Security kernels. AFIPS National Computer Conference (1974)
Theodore A. Linden
Proving the adequacy of protection in an operating system. SIGPLAN-SIGOPS Interface Meeting (1973)
Theodore A. Linden
A summary of progress toward proving program correctness. AFIPS Fall Joint Computing Conference (1) (1972)
Theodore A. Linden
The Ackermann function in APL. ACM SIGPLAN Notices 6 (4) (1971)