Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
1 - 10 of 24 search results for `Thomas Watson`

  1. Fully-matching results

  2. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-924.html
    18 Jul 2022: Technical reports. OpenDTrace Specification version 1.0. Brian Kidney, Domagoj Stolfa, Arun Thomas, Robert N. M. ... PDF (0.9 MB). BibTeX record. @TechReport{UCAM-CL-TR-924, author = {Neville-Neil, George and Anderson, Jonathan and Jenkinson, Graeme

  3. Computer Laboratory: Thomas Bauereiss

    https://www.cl.cam.ac.uk/~tb592/
    19 Apr 2022: Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. ... M. Watson, Peter Sewell. In IEEE Symposium on Security and Privacy 2020, pp.

  4. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/03/25.html
    28 Jan 2022: RE MANNING Russell BA MPHIL PHD. SCHLITT Thomas PHD. FREEMAN Tabitha Rose MA PHD. ... 2005. WILLIAMS Huw BSC PHD. 2006. DEWAR-WATSON Sarah Dersiree BA MPHIL.

  5. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-959.html
    18 Jul 2022: PDF (0.9 MB). BibTeX record. @TechReport{UCAM-CL-TR-959, author = {Bauereiss, Thomas and Campbell, Brian and Sewell, Thomas and Armstrong, Alasdair and Esswood, Lawrence and Stark, Ian and Barnes, ... Graeme and Watson, Robert N.

  6. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/03/8.html
    28 Jan 2022: WATSON Stephen Roger MA PHD LIFE FELLOW. 1969. SPREADBURY Peter James MA MSC PHD LIFE FELLOW. ... ODUDU Okeoghene PHD. BARRAU Julie Sylvie Marie-Pierre. KHODABAKHSH Saghar PHD. SCHMEING Thomas Martin Thorne.

  7. topic.ISA_semantics.bib

    https://www.cl.cam.ac.uk/~pes20/sail/topic.ISA_semantics_bib.html
    7 Dec 2022: sail-popl2019, author = {Alasdair Armstrong and Thomas Bauereiss and Brian Campbell and Alastair Reid and Kathryn E. ... Sewell, Thomas and Armstrong, Alasdair and Esswood, Lawrence and Stark, Ian and Barnes, Graeme and Watson, Robert N.

  8. Islaris: Verification of Machine Code Against Authoritative ISA…

    https://www.cl.cam.ac.uk/~pes20/2022-pldi-islaris.pdf
    9 Apr 2022: Islaris: Verification of Machine CodeAgainst Authoritative ISA Semantics. Michael SammlerMPI-SWSGermany. msammler@mpi-sws.org. Angus HammondUniversity of Cambridge. UKangus.hammond@cl.cam.ac.uk. Rodolphe LepigreMPI-SWSGermany. lepigre@mpi-sws.org.

  9. Members of University Bodies - Cambridge University Reporter Special…

    https://www.reporter.admin.cam.ac.uk/reporter/2021-22/special/05/section2.shtml
    11 Jul 2022: Ian Michael Hutchings, JN, Dr Matthew Russell Jones, DAR, Dr Penelope Jayne Watson, EM, Prof. ... Participation Officer; [student representative from a Council of the School not otherwise represented] vacancy; [X] Dr Timothy Thomas Weil, PEM; Secretary

  10. Cambridge University Reporter Special No 3 (2022-23) - Fellows of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2022-23/special/03/
    21 Dec 2022: Agarwala Matthew Kane ma phd. Boden Thomas mrics. Burton Alice Roselyn msc phd. ... 2022. Bayley Annouchka phd. Cox Jacqueline ma. Research Fellows. 2019. Gruner Thomas phd.

  11. Declarative, Temporal, and Practical Programming with Capabilities…

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201305-temporal-practical-capabilities.pdf
    18 Feb 2022: Declarative, Temporal, and Practical Programming with Capabilities. William R. Harris, Somesh Jha, Thomas Reps†, Jonathan Anderson‡, and Robert N. ... M. Watson‡{ wrharris, jha, reps }@cs.wisc.edu; University of Wisconsin-Madison, Madison, WI, USA.

Refine your results

Format

clear all

Date

Related searches for `Thomas Watson`

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.