David Sands

14 papers A 4Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
The LLMbda Calculus: AI Agents, Conversations, and Information Flow.
CoRR
Zac Garby, Andrew D. Gordon, David Sands
2006 J jnl
Cost effective robotics in the nuclear industry.
Ind. Robot
David Sands
2006 — ed.
Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006
FMSE
Marianne Winslett, Andrew D. Gordon, David Sands
2006 — book
Understanding Intrusion Detection Through Visualization
Stefan Axelsson, David Sands
2001 — conf
On Confidentiality and Algorithms.
S&P
Johan Agat, David Sands
2001 A ed.
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
ESOP
David Sands
1998 — conf
From Gamma to CBS: Refining Multiset Transformations with Broadcasting Processes.
HICSS (7)
David Sands, Martin Weichert
1996 J jnl
Total Correctness by Local Improvement in the Transformation of Functional Programs.
ACM Trans. Program. Lang. Syst.
David Sands
1993 — conf
Laws of Parallel Synchronised Termination.
Theory and Formal Methods
David Sands
1991 A conf
Operational Theories of Improvement in Functional Languages (Extended Abstract).
Functional Programming
David Sands
1991 — conf
Time Analysis, Cost Equivalence and Program Refinement.
FSTTCS
David Sands
1990 A conf
Complexity Analysis for a Lazy Higher-Order Language.
ESOP
David Sands
1989 A conf
Complexity Analysis for a Lazy Higher-Order Language.
Functional Programming
David Sands
1983 J jnl
Using FORTH to control a robot arm.
Microprocess. Microsystems
David Sands