default search action

combined dblp search
author search
venue search
publication search

ask others

David Sands

> Home > Persons

This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.

Person information

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2006
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/AxelssonS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/AxelssonS06
Stefan Axelsson, David Sands:
Understanding Intrusion Detection Through Visualization. Advances in Information Security 24, Springer 2006, ISBN 978-0-387-27634-2, pp. 1-145
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/irob/Sands06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/irob/Sands06
David Sands:
Cost effective robotics in the nuclear industry. Ind. Robot 33(3): 170-173 (2006)
[e2]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/ccs/2006fmse
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/2006fmse
Marianne Winslett, Andrew D. Gordon, David Sands:
Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006. ACM 2006, ISBN 1-59593-550-9 [contents]
2001
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/AgatS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/AgatS01
Johan Agat, David Sands:
On Confidentiality and Algorithms. S&P 2001: 64-77
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/2001
David Sands:
Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2028, Springer 2001, ISBN 3-540-41862-8 [contents]

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/SandsW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/SandsW98
David Sands, Martin Weichert:
From Gamma to CBS: Refining Multiset Transformations with Broadcasting Processes. HICSS (7) 1998: 265-274
1996
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Sands96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Sands96
David Sands:
Total Correctness by Local Improvement in the Transformation of Functional Programs. ACM Trans. Program. Lang. Syst. 18(2): 175-234 (1996)
1993
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/imperial/Sands93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imperial/Sands93
David Sands:
Laws of Parallel Synchronised Termination. Theory and Formal Methods 1993: 276-288
1991
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fp/Sands91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/Sands91
David Sands:
Operational Theories of Improvement in Functional Languages (Extended Abstract). Functional Programming 1991: 298-311
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Sands91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Sands91
David Sands:
Time Analysis, Cost Equivalence and Program Refinement. FSTTCS 1991: 25-39
1990
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Sands90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Sands90
David Sands:
Complexity Analysis for a Lazy Higher-Order Language. ESOP 1990: 361-376

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/Sands89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/Sands89
David Sands:
Complexity Analysis for a Lazy Higher-Order Language. Functional Programming 1989: 56-79
1983
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/Sands83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/Sands83
David Sands:
Using FORTH to control a robot arm. Microprocess. Microsystems 7(5): 228-229 (1983)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.