Search

18 Sep 2019: Moore, Robert N. M. Watson and Timothy M. Jones. University of Cambridge, SRI International.

15 Oct 2019: M. Watson, and Timothy M. Jones. 2019. CHERIvoke:Characterising Pointer Revocation using CHERI Capabilities for TemporalMemory Safety.

23 May 2019: 29. Memarian, K., Gomes, V.B.F., Davis, B., Kell, S., Richardson, A., Watson, R.N.M.,Sewell, P.: Exploring C semantics and pointer provenance. ... Lang. 3, POPL, Article 67. 30. Memarian, K., Gomes, V.B.F., Davis, B., Kell, S., Richardson, A., Watson, R.N

11 Oct 2019: Principles of database management.Cambridge University Press. ISBN 9781107186125 [undergraduate only]. McKusick, M.K., Neville-Neil, G.V., and Watson, R.N.M.

16 May 2019: The Serpin Database. Serpin Sequences. Below are listed 219 sequences which were gathered by searching the Entrez database using 'serpin'as a keyword. 2160141  --------------------------------------------------- Protein  Description: Strong

26 Nov 2019: Thanks to Fran Watson who has generously donated this five star bird house to the cmsgreenimpact team for use on site.

4 Dec 2019: References[1] Andrew B Watson and Albert J Ahumada. The pyramid of visibility. ... 2] Andrew B. Watson. Temporal sensitivity. In Handbook of percep-. tion and human performance, pages 6–1.

8 Aug 2019: Set Theory for Verification:I. From Foundations to Functions. Lawrence C. PaulsonComputer Laboratory. University of Cambridge. Abstract. A logic for specification and verification is derived from the axioms ofZermelo-Fraenkel set theory. The proofs

15 Jan 2019: Addison-Wesley. McKusick, M.K., Neville-Neil, G.N. & Watson, R.N.M. (2014) The Design and Implementation of the FreeBSD Operating System.

29 Jun 2019: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Wachs, Andrew Waterman, Robert Watson, Derek Williams, Andrew Wright, Reinoud Zandijk, and Sizhuo Zhang.