Search
Search Funnelback University
- Refined by:
- Date: Past 6 months
11 -
20 of
199
search results for `Watson A A`
Fully-matching results
-
Christoph Hess
https://www.citiid.cam.ac.uk/christoph-hess/23 Feb 2024: Cell Metabolism 2017. 2:345-357. Navarini A.A., P. Hruz, C.T. Berger, T. ... Develioglu, G.R. Bantug, J. Watson, L. Couzi, B. Afzali, P. Lavender, C. -
Professor Cédric Ghevaert | Wellcome-MRC Cambridge Stem Cell Institute
https://www.stemcells.cam.ac.uk/people/pi/ghevaert23 Feb 2024: He specialised in Haematology and became a fellow of the Royal College of Pathologists in 2005. ... He obtained a personal Intermediate Clinical Fellowship from the British Heart Foundation whilst working in Prof Steve Watson's group at the university of -
Andrew Travers - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/group-leaders/emeritus/andrew-travers/14 Mar 2024: After this he took a couple of years out as a post-doc in Jim Watson’s lab at Harvard University where he co-discovered the first of the RNA polymerase ... Proc. Natl. Acad. Sci. USA 109: E49-E50. Sobetzko, P., Glinkowska, M., Travers, A.
-
Peter Sewell
https://www.cl.cam.ac.uk/~pes20/23 May 2024: M. Watson, and Peter Sewell. In ASPLOS 2024. [ An axiomatic basis for computer programming on the relaxed Arm-A architecture: the AxSL logic. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A. -
Department of Computer Science and Technology – CTSRD: Publications
https://www.cl.cam.ac.uk/research/security/ctsrd/publications.html2 Mar 2024: Robert N.M. Watson, A Decade of OS Access-Control Extensibility: Open-source Security Foundations for mobile and embedded devices, Communications of the ACM, 56(2), February 2013, pages 52–63. ... Robert N.M. Watson, Jonathan Woodruff, David Chisnall, -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/recent.html23 May 2024: M. Watson, and Peter Sewell. In ASPLOS 2024. [ An axiomatic basis for computer programming on the relaxed Arm-A architecture: the AxSL logic. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A. -
Professor Ruth Cameron | Cambridge Cardiovascular
https://www.cardiovascular.cam.ac.uk/directory/rcameron23 Feb 2024: Key publications:. Please follow the link to PubMed for a full list of publications. ... Campbell JJ, Husmann A, Hume RD, Watson CJ, Cameron RE. -
Department of Computer Science and Technology: CHERI Rigorous…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-formal.html22 Feb 2024: M. Watson, and Peter Sewell. In ASPLOS 2024. [ The Arm Morello Evaluation Platform---Validating CHERI-Based Security in a High-Performance System. ... A. Theodore Markettos, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G. -
Alastair Beresford---Curriculum Vitae
https://www.cl.cam.ac.uk/~arb33/cv/27 May 2024: Jointly with Prof. Anderson and Drs Watson and Hutchings. (2014--2022). Computer Security: Current Applications and Research an MPhil and Part III course focusing on contemporary themes in computer security. ... Jointly with Prof. Anderson and Dr Watson. -
Dr Nicholas Pugh | Cambridge Cardiovascular
https://www.cardiovascular.cam.ac.uk/directory/npugh23 Feb 2024: Granule release introduces bioactive molecules into the immediate environment of a growing thrombus. ... Metallomics. 2016. 8(2):144-55. 4. Watson, B.R., White, N.A., Taylor, K.A., Howes, J.M., Malcor, J-D., Bihan, D., Sage, S.O., Farndale, R.W., Pugh,
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.