Search Results - Nobuko Yoshida

Refine Results
  1. 1

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

    Published in Memorias do Instituto Oswaldo Cruz (2009-07-01)
    Get full text
    Article


  2. 2

    Multiparty Session Actors by Rumyana Neykova, Nobuko Yoshida

    Published in Logical Methods in Computer Science (2017-03-01)
    Get full text
    Article


  3. 3

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

    Get full text
    Article


  4. 4

    Globally Governed Session Semantics by Dimitrios Kouzapas, Nobuko Yoshida

    Published in Logical Methods in Computer Science (2014-12-01)
    Get full text
    Article


  5. 5

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

    Published in Logical Methods in Computer Science (2008-10-01)
    Get full text
    Article


  6. 6

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

    Get full text
    Article


  7. 7

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

    Get full text
    Article


  8. 8

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

    Published in Logical Methods in Computer Science (2025-01-01)
    Get full text
    Article


  9. 9

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

    Published in Logical Methods in Computer Science (2016-01-01)
    Get full text
    Article


  10. 10

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

    Published in Memorias do Instituto Oswaldo Cruz (1991-06-01)
    Get full text
    Article


  11. 11

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

    Published in Logical Methods in Computer Science (2025-04-01)
    Get full text
    Article


  12. 12

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

    Published in Logical Methods in Computer Science (2012-10-01)
    Get full text
    Article


  13. 13

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

    Get full text
    Article


  14. 14

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

    Published in Logical Methods in Computer Science (2021-03-01)
    Get full text
    Article


  15. 15

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

    Published in Logical Methods in Computer Science (2017-06-01)
    Get full text
    Article


  16. 16

    Immune responses to gp82 provide protection against mucosal Trypanosoma cruzi infection by Christopher S Eickhoff, Olivia K Giddings, Nobuko Yoshida, Daniel F Hoft

    Published in Memorias do Instituto Oswaldo Cruz (2010-08-01)
    Get full text
    Article


  17. 17

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

    Published in Pathogens (2022-11-01)
    Get full text
    Article


  18. 18

    Precise subtyping for synchronous multiparty sessions by Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Nobuko Yoshida

    Get full text
    Article


  19. 19

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

    Published in PLoS Neglected Tropical Diseases (2022-10-01)
    Get full text
    Article


  20. 20

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

    Get full text
    Article


Search Tools: