Hasil Pencarian - Nobuko Yoshida
- Menampilkan 1 - 20 hasil dari 43
- Ke Halaman Berikutnya
-
1
Molecular basis of mammalian cell invasion by Trypanosoma cruzi oleh Nobuko Yoshida
Diterbitkan 2006-03-01
Artikel -
2
Molecular mechanisms of Trypanosoma cruzi infection by oral route oleh Nobuko Yoshida
Diterbitkan 2009-07-01
Artikel -
3
Multiparty Session Actors oleh Rumyana Neykova, Nobuko Yoshida
Diterbitkan 2017-03-01
Artikel -
4
Service Equivalence via Multiparty Session Type Isomorphisms oleh Assel Altayeva, Nobuko Yoshida
Diterbitkan 2019-04-01
Artikel -
5
Globally Governed Session Semantics oleh Dimitrios Kouzapas, Nobuko Yoshida
Diterbitkan 2014-12-01
Artikel -
6
Multiparty Session Types, Beyond Duality (Abstract) oleh Alceste Scalas, Nobuko Yoshida
Diterbitkan 2017-04-01
Artikel -
7
Editorial: World Chagas disease day 2022 oleh Giuseppe Palmisano, Nobuko Yoshida
Diterbitkan 2023-05-01
Artikel -
8
Multiparty Session Actors oleh Rumyana Neykova, Nobuko Yoshida
Diterbitkan 2014-06-01
Artikel -
9
Towards Reversible Sessions oleh Francesco Tiezzi, Nobuko Yoshida
Diterbitkan 2014-06-01
Artikel -
10
Using session types as an effect system oleh Dominic Orchard, Nobuko Yoshida
Diterbitkan 2016-02-01
Artikel -
11
Logical Reasoning for Higher-Order Functions with Local State oleh Nobuko Yoshida, Kohei Honda, Martin Berger
Diterbitkan 2008-10-01
Artikel -
12
Multiparty Symmetric Sum Types oleh Lasse Nielsen, Nobuko Yoshida, Kohei Honda
Diterbitkan 2010-11-01
Artikel -
13
Towards a Categorical Representation of Reversible Event Structures oleh Eva Graversen, Iain Phillips, Nobuko Yoshida
Diterbitkan 2017-04-01
Artikel -
14
Multiparty Session Type-safe Web Development with Static Linearity oleh Jonathan King, Nicholas Ng, Nobuko Yoshida
Diterbitkan 2019-04-01
Artikel -
15
Timed Runtime Monitoring for Multiparty Conversations oleh Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
Diterbitkan 2014-08-01
Artikel -
16
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance oleh Andi Bejleri, Raymond Hu, Nobuko Yoshida
Diterbitkan 2010-02-01
Artikel -
17
Editorial: Unravelling T. cruzi Biology oleh Martin Craig Taylor, Noelia Lander, Nobuko Yoshida
Diterbitkan 2020-07-01
Artikel -
18
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
Artikel -
19
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
Artikel -
20
Parameterised Multiparty Session Types oleh Pierre-Malo Denielou, Nobuko Yoshida, Andi Bejleri, Raymond Hu
Diterbitkan 2012-10-01
Artikel