We stand with Ukraine  

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.
[BibTeX]
[DOI]
David Sands
Ind. Robot, 2006

Understanding Intrusion Detection Through Visualization
[BibTeX]
[DOI]
Stefan Axelsson
,
David Sands
Advances in Information Security 24, Springer, ISBN: 978-0-387-27634-2, 2006

2001
On Confidentiality and Algorithms.
[BibTeX]
[DOI]
Johan Agat
,
David Sands
Proceedings of the 2001 IEEE Symposium on Security and Privacy, 2001

1998
From Gamma to CBS: Refining Multiset Transformations with Broadcasting Processes.
[BibTeX]
[DOI]
David Sands
,
Martin Weichert
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.
[BibTeX]
[DOI]
David Sands
ACM Trans. Program. Lang. Syst., 1996

1993
Laws of Parallel Synchronised Termination.
[BibTeX]
David Sands
Proceedings of the Theory and Formal Methods 1993, 1993

1991
Time Analysis, Cost Equivalence and Program Refinement.
[BibTeX]
[DOI]
David Sands
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1991

Operational Theories of Improvement in Functional Languages (Extended Abstract).
[BibTeX]
[DOI]
David Sands
Proceedings of the Functional Programming, 1991

1990
Complexity Analysis for a Lazy Higher-Order Language.
[BibTeX]
[DOI]
David Sands
Proceedings of the ESOP'90, 1990

1983
Using FORTH to control a robot arm.
[BibTeX]
[DOI]
David Sands
Microprocess. Microsystems, 1983


  Loading...