The following pages link to David Sands (Q187614):
Displaying 24 items.
- The compound piston: resolution of a thermodynamic controversy by means of kinetic theory (Q537309) (← links)
- Thermal damping in the compound piston (Q634018) (← links)
- Proving the correctness of recursion-based automatic program transformations (Q671683) (← links)
- Refining multiset transformers (Q1127515) (← links)
- Erratic Fudgets: A semantic theory for an embedded coordination language (Q1870854) (← links)
- Improvement theory and its applications (Q2704329) (← links)
- The place of mathematics in physics (Q2800270) (← links)
- Are the Boltzmann and thermodynamic entropies always the same? (Q2800304) (← links)
- From Exponential to Polynomial-Time Security Typing via Principal Types (Q3000586) (← links)
- All Secrets Great and Small (Q3617701) (← links)
- (Q4038672) (← links)
- (Q4414725) (← links)
- (Q4499191) (← links)
- (Q4813195) (← links)
- A Naïve Time Analysis and its Theory of Cost Equivalence (Q4847380) (← links)
- Proving the correctness of recursion-based automatic program transformations (Q5096758) (← links)
- Possibilities and limitations of call-by-need space improvement (Q5178015) (← links)
- Paralocks (Q5255100) (← links)
- On flow-sensitive security types (Q5348914) (← links)
- Just Forget It – The Semantics and Enforcement of Information Erasure (Q5458400) (← links)
- Programming Languages and Systems (Q5464062) (← links)
- Differential privacy: now it's getting personal (Q5890874) (← links)
- Programming Languages and Systems (Q5899016) (← links)
- A per model of secure information flow in sequential programs (Q5936652) (← links)
