Nobuko Yoshida

FBCS is the Christopher Strachey Professor of Computing in the Department of Computer Science, University of Oxford.

Yoshida undertook her BSc (1992) and MSc (1994) at the Keio University, Japan, before completing her PhD (1996) jointly at the universities of Keio and Manchester. She has worked as Imperial College London and the University of Oxford.

Her research interests include mobile concurrent computation, mobile computation and web services. Provided by Wikipedia
Showing 1 - 11 results of 11 for search 'Yoshida, Nobuko', query time: 0.14s Refine Results
  1. 1
    safeDpi: a language for controlling mobile code
    Get fulltext
    Article
  2. 2
    Co-infection with <it>Trypanosoma cruzi </it>protects mice against early death by neurological or pulmonary disorders induced by <it>Plasmodium berghei </it>ANKA
    Get full text
    Article
  3. 3
    Structure and transcription of genes encoding the surface glycoprotein antigens gp90 and gp82 of Trypanosoma cruzi metacyclic trypomastigotes
    Get full text
    Article
  4. 4
    Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
    Published 2021
    Other Authors: “...Yoshida, Nobuko...”
    Get fulltext
    eBook
  5. 5
    A study of bisimulation theory for session types
    by Kouzapas, Dimitrios
    Published 2013
    Other Authors: “...Yoshida, Nobuko...”
    Get full text
  6. 6
    Multiparty session types for dynamic verification of distributed systems
    by Neykova, Rumyana
    Published 2016
    Other Authors: “...Yoshida, Nobuko...”
    Get full text
  7. 7
    Safe and scalable parallel programming with session types
    by Ng, Chun Wang Nicholas
    Published 2014
    Other Authors: “...Yoshida, Nobuko...”
    Get full text
  8. 8
    Parameterised session types communication patterns : through the looking glass of session types
    by Bejleri, Andi
    Published 2012
    Other Authors: “...Yoshida, Nobuko...”
    Get full text
  9. 9
    Symbolic crosschecking of data-parallel floating point code
    by Collingbourne, Peter Cyrus
    Published 2013
    Other Authors: “...Kelly, Paul ; Yoshida, Nobuko...”
    Get full text
  10. 10
    Session types in concurrent calculi : higher-order processes and objects
    by Mostrous, Dimitris
    Published 2010
    Other Authors: “...Yoshida, Nobuko ; Drossopoulou, Sophia...”
    Get full text
  11. 11
    Timed and choreographical multiparty session types theory
    by Yang, Weizhen
    Published 2016
    Other Authors: “...Yoshida, Nobuko ; Phillips, Iain...”
    Get full text
Search Tools: Get RSS Feed — Email this Search