David Sands

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2006
Cost effective robotics in the nuclear industry.
Ind. Robot, 2006

Understanding Intrusion Detection Through Visualization
Advances in Information Security 24, Springer, ISBN: 978-0-387-27634-2, 2006

2001
On Confidentiality and Algorithms.
Proceedings of the 2001 IEEE Symposium on Security and Privacy, 2001

1998
From Gamma to CBS: Refining Multiset Transformations with Broadcasting Processes.
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1996
Total Correctness by Local Improvement in the Transformation of Functional Programs.
ACM Trans. Program. Lang. Syst., 1996

1993
Laws of Parallel Synchronised Termination.
Proceedings of the Theory and Formal Methods 1993, 1993

1991
Time Analysis, Cost Equivalence and Program Refinement.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1991

Operational Theories of Improvement in Functional Languages (Extended Abstract).
Proceedings of the Functional Programming, 1991

1989
Complexity Analysis for a Lazy Higher-Order Language.
Proceedings of the Functional Programming, 1989

1983
Using FORTH to control a robot arm.
Microprocess. Microsystems, 1983


  Loading...