We stand with Ukraine  

Theodore A. Linden

Affiliations:
  • Yeshiva University, New York, NY, USA
  • Fordham University, New York, NY, USA
  • United States Department of Defense, Washington, D. C., USA
  • National Bureau of Standards, Gaithersburg, MD, USA
  • Xerox Corporation, Palo Alto, CA, USA
  • Advanced Decision Systems, Mountain View, CA, USA


According to our database1, Theodore A. Linden authored at least 17 papers between 1971 and 2002.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2002
Inserting ilities by controlling communications.
[BibTeX]
[DOI]
Robert E. Filman
,
Stuart Barrett
,
Diana D. Lee
,
Ted Linden
Commun. ACM, 2002

1997
Exploring Largebess, Complexity and Scalability from the OOT Perspective (Panel).
[BibTeX]
[DOI]
Bindu Rama Rao
,
Chad Edwards
,
Ted Linden
,
Reagan W. Moore
,
Mark Seager
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

1996
Communicating security agents.
[BibTeX]
[DOI]
Robert E. Filman
,
Ted Linden
Proceedings of the 5th Workshop on Enabling Technologies, 1996

SafeBots: a paradigm for software security controls.
[BibTeX]
[DOI]
Robert E. Filman
,
Ted Linden
Proceedings of the 1996 Workshop on New Security Paradigms, 1996

1989
Planning by transformational synthesis.
[BibTeX]
[DOI]
Theodore A. Linden
IEEE Expert, 1989

1987
Contingency Planning for an Autonomous Land Vehicle.
[BibTeX]
[DOI]
Theodore A. Linden
,
Jay Glicksman
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986
Object based planning for an autonomous land vehicle.
[BibTeX]
[DOI]
Don Shapiro
,
Theodore A. Linden
,
Jay Glicksman
,
Daryl T. Lawton
Proceedings of the 1986 IEEE International Conference on Robotics and Automation, 1986

Architecture and early experience with planning for the ALV.
[BibTeX]
[DOI]
Theodore A. Linden
,
James P. Marsh
,
Doreen L. Dove
Proceedings of the 1986 IEEE International Conference on Robotics and Automation, 1986

1983
Authentication in Office System Internetworks.
[BibTeX]
[DOI]
Jay E. Israel
,
Theodore A. Linden
ACM Trans. Inf. Syst., 1983

1978
On formal specifications and completeness: reply to Farshid Nourani.
[BibTeX]
[DOI]
Theodore A. Linden
ACM SIGSOFT Softw. Eng. Notes, 1978

Specifying abstract data types by restriction.
[BibTeX]
[DOI]
Theodore A. Linden
ACM SIGSOFT Softw. Eng. Notes, 1978

1976
Operating System Structures to Support Security and Reliable Software.
[BibTeX]
[DOI]
Theodore A. Linden
ACM Comput. Surv., 1976

The Use of Abstract Data Types to Simplify Program Modifications.
[BibTeX]
[DOI]
Theodore A. Linden
Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, 1976

1974
Security kernels.
[BibTeX]
[DOI]
Steven B. Lipner
,
William A. Wulf
,
Roger R. Schell
,
Gerald J. Popek
,
Peter G. Neumann
,
Clark Weissman
,
Theodore A. Linden
Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

1973
Proving the adequacy of protection in an operating system.
[BibTeX]
[DOI]
Theodore A. Linden
Proceedings of the Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages, 1973

1972
A summary of progress toward proving program correctness.
[BibTeX]
[DOI]
Theodore A. Linden
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972

1971
The Ackermann function in APL.
[BibTeX]
[DOI]
Theodore A. Linden
ACM SIGPLAN Notices, 1971


  Loading...