檢索結果 - Nobuko Yoshida

  • Showing 1 - 19 results of 19
Refine Results
  1. 1

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

    發表在 Memorias do Instituto Oswaldo Cruz (2009-07-01)
    獲取全文
    Article


  2. 2

    Multiparty Session Actors 由 Rumyana Neykova, Nobuko Yoshida

    發表在 Logical Methods in Computer Science (2017-03-01)
    獲取全文
    Article


  3. 3

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

    獲取全文
    Article


  4. 4

    Globally Governed Session Semantics 由 Dimitrios Kouzapas, Nobuko Yoshida

    發表在 Logical Methods in Computer Science (2014-12-01)
    獲取全文
    Article


  5. 5

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

    發表在 Logical Methods in Computer Science (2008-10-01)
    獲取全文
    Article


  6. 6

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

    獲取全文
    Article


  7. 7

    Checkpoint-based rollback recovery in session programming 由 Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida

    發表在 Logical Methods in Computer Science (2025-01-01)
    獲取全文
    Article


  8. 8

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

    發表在 Logical Methods in Computer Science (2016-01-01)
    獲取全文
    Article


  9. 9

    Crash-Stop Failures in Asynchronous Multiparty Session Types 由 Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou

    發表在 Logical Methods in Computer Science (2025-04-01)
    獲取全文
    Article


  10. 10

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

    發表在 Logical Methods in Computer Science (2012-10-01)
    獲取全文
    Article


  11. 11

    A Parametric Framework for Reversible Pi-Calculi 由 Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

    獲取全文
    Article


  12. 12

    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation 由 Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

    發表在 Logical Methods in Computer Science (2021-03-01)
    獲取全文
    Article


  13. 13

    On the Preciseness of Subtyping in Session Types 由 Tzu-chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida

    發表在 Logical Methods in Computer Science (2017-06-01)
    獲取全文
    Article


  14. 14

    Depletion of Na<sup>+</sup>/H<sup>+</sup> Exchanger Isoform 1 Increases the Host Cell Resistance to <i>Trypanosoma cruzi</i> Invasion 由 João Paulo Ferreira Rodrigues, Leonardo Loch, Thiago Souza Onofre, Nobuko Yoshida

    發表在 Pathogens (2022-11-01)
    獲取全文
    Article


  15. 15

    Gp35/50 mucin molecules of Trypanosoma cruzi metacyclic forms that mediate host cell invasion interact with annexin A2 由 Thiago Souza Onofre, Leonardo Loch, João Paulo Ferreira Rodrigues, Silene Macedo, Nobuko Yoshida

    發表在 PLoS Neglected Tropical Diseases (2022-10-01)
    獲取全文
    Article


  16. 16

    Interaction of Trypanosoma cruzi Gp82 With Host Cell LAMP2 Induces Protein Kinase C Activation and Promotes Invasion 由 Thiago Souza Onofre, João Paulo Ferreira Rodrigues, Marina Tiemi Shio, Silene Macedo, Maria Aparecida Juliano, Nobuko Yoshida

    獲取全文
    Article


  17. 17

    Differential infectivity by the oral route of Trypanosoma cruzi lineages derived from Y strain. 由 Cristian Cortez, Rafael M Martins, Renan M Alves, Richard C Silva, Luciana C Bilches, Silene Macedo, Vanessa D Atayde, Silvia Y Kawashita, Marcelo R S Briones, Nobuko Yoshida

    發表在 PLoS Neglected Tropical Diseases (2012-01-01)
    獲取全文
    Article


  18. 18

    A cytoplasmic new catalytic subunit of calcineurin in Trypanosoma cruzi and its molecular and functional characterization. 由 Patricio R Orrego, Héctor Olivares, Esteban M Cordero, Albert Bressan, Mauro Cortez, Hernán Sagua, Ivan Neira, Jorge González, José Franco da Silveira, Nobuko Yoshida, Jorge E Araya

    發表在 PLoS Neglected Tropical Diseases (2014-01-01)
    獲取全文
    Article


  19. 19

    Organization and expression of a multigene family encoding the surface glycoproteins of Trypanosoma cruzi metacyclic trypomastigotes involved in the cell invasion 由 Mirian S Carmo, Jorge E Araya, Marcel I Ramirez, Silvia Boscardin, Maria I Cano, Renata P Baida, Rita C Ruiz, Marcia R Santos, Miguel A Chiurillo, José L Ramirez, Nobuko Yoshida, José Franco da Silveira

    發表在 Memorias do Instituto Oswaldo Cruz (1999-09-01)
    獲取全文
    Article


檢索工具: