Theodore A. Linden

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