Hasil Pencarian - Nobuko Yoshida

Perbaiki Hasil
  1. 1
    Molecular basis of mammalian cell invasion by Trypanosoma cruzi

    Molecular basis of mammalian cell invasion by Trypanosoma cruzi oleh Nobuko Yoshida

    Diterbitkan 2006-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Molecular mechanisms of Trypanosoma cruzi infection by oral route

    Molecular mechanisms of Trypanosoma cruzi infection by oral route oleh Nobuko Yoshida

    Diterbitkan 2009-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Multiparty Session Actors

    Multiparty Session Actors oleh Rumyana Neykova, Nobuko Yoshida

    Diterbitkan 2017-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Service Equivalence via Multiparty Session Type Isomorphisms

    Service Equivalence via Multiparty Session Type Isomorphisms oleh Assel Altayeva, Nobuko Yoshida

    Diterbitkan 2019-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Globally Governed Session Semantics

    Globally Governed Session Semantics oleh Dimitrios Kouzapas, Nobuko Yoshida

    Diterbitkan 2014-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Multiparty Session Types, Beyond Duality (Abstract)

    Multiparty Session Types, Beyond Duality (Abstract) oleh Alceste Scalas, Nobuko Yoshida

    Diterbitkan 2017-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Editorial: World Chagas disease day 2022

    Editorial: World Chagas disease day 2022 oleh Giuseppe Palmisano, Nobuko Yoshida

    Diterbitkan 2023-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    Multiparty Session Actors

    Multiparty Session Actors oleh Rumyana Neykova, Nobuko Yoshida

    Diterbitkan 2014-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  9. 9
    Towards Reversible Sessions

    Towards Reversible Sessions oleh Francesco Tiezzi, Nobuko Yoshida

    Diterbitkan 2014-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  10. 10
    Using session types as an effect system

    Using session types as an effect system oleh Dominic Orchard, Nobuko Yoshida

    Diterbitkan 2016-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  11. 11
    Logical Reasoning for Higher-Order Functions with Local State

    Logical Reasoning for Higher-Order Functions with Local State oleh Nobuko Yoshida, Kohei Honda, Martin Berger

    Diterbitkan 2008-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  12. 12
    Multiparty Symmetric Sum Types

    Multiparty Symmetric Sum Types oleh Lasse Nielsen, Nobuko Yoshida, Kohei Honda

    Diterbitkan 2010-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  13. 13
    Towards a Categorical Representation of Reversible Event Structures

    Towards a Categorical Representation of Reversible Event Structures oleh Eva Graversen, Iain Phillips, Nobuko Yoshida

    Diterbitkan 2017-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  14. 14
    Multiparty Session Type-safe Web Development with Static Linearity

    Multiparty Session Type-safe Web Development with Static Linearity oleh Jonathan King, Nicholas Ng, Nobuko Yoshida

    Diterbitkan 2019-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  15. 15
    Timed Runtime Monitoring for Multiparty Conversations

    Timed Runtime Monitoring for Multiparty Conversations oleh Rumyana Neykova, Laura Bocchi, Nobuko Yoshida

    Diterbitkan 2014-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  16. 16
    Session-Based Programming for Parallel Algorithms: Expressiveness and Performance

    Session-Based Programming for Parallel Algorithms: Expressiveness and Performance oleh Andi Bejleri, Raymond Hu, Nobuko Yoshida

    Diterbitkan 2010-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  17. 17
    Editorial: Unravelling T. cruzi Biology

    Editorial: Unravelling T. cruzi Biology oleh Martin Craig Taylor, Noelia Lander, Nobuko Yoshida

    Diterbitkan 2020-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  18. 18
    Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

    Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion oleh Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida

    Diterbitkan 2016-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  19. 19
    Cellular immune response of humans to the circumsporozoite protein of Plasmodium vivax

    Cellular immune response of humans to the circumsporozoite protein of Plasmodium vivax oleh Mauricio M. Rodrigues, Araripe P. Dutra, Nobuko Yoshida

    Diterbitkan 1991-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  20. 20
    Parameterised Multiparty Session Types

    Parameterised Multiparty Session Types oleh Pierre-Malo Denielou, Nobuko Yoshida, Andi Bejleri, Raymond Hu

    Diterbitkan 2012-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: