David Sands
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2006
Advances in Information Security 24, Springer, ISBN: 978-0-387-27634-2, 2006
2001
Proceedings of the 2001 IEEE Symposium on Security and Privacy, 2001
1998
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998
1996
ACM Trans. Program. Lang. Syst., 1996
1993
Laws of Parallel Synchronised Termination.
Proceedings of the Theory and Formal Methods 1993, 1993
1991
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1991
Proceedings of the Functional Programming, 1991
1989
Complexity Analysis for a Lazy Higher-Order Language.
Proceedings of the Functional Programming, 1989
1983