Multiparty Asynchronous Session Types von Honda, Kohei, Yoshida, Nobuko, Carbone, Marco

Volltext

Temporal Trends in Acute Myocardial Infarction Incidence and Mortality Between 2006 and 2016 in Tokyo　- Report From the Tokyo CCU Network von Yamamoto, Takeshi, Yoshida, Nobuko, Takayama, Morimasa

Volltext

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,... von Yoshida, Nobuko

Volltext

Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conferen... von Perez, Jorge A, Yoshida, Nobuko

Volltext

Explicit Connection Actions in Multiparty Session Types von Hu, Raymond, Yoshida, Nobuko

Volltext

Hybrid Session Verification Through Endpoint API Generation von Hu, Raymond, Yoshida, Nobuko

Volltext

Trypanosoma cruzi infection by oral route: how the interplay between parasite and host components modulates infectivity von Yoshida, Nobuko

Volltext

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

Volltext

Molecular basis of mammalian cell invasion by Trypanosoma cruzi von Yoshida, Nobuko

Volltext

Molecular Mechanisms of Trypanosoma Cruzi Infection by Oral Route von Yoshida, Nobuko

Volltext

Depending on session-typed processes von Toninho, Bernardo, Yoshida, Nobuko

Volltext

Monitoring networks through multiparty session types von Bocchi, Laura, Chen, Tzu-Chun, Demangeon, Romain, Honda, Kohei, Yoshida, Nobuko

Volltext

Proteomic Analysis of Trypanosoma cruzi Secretome: Characterization of Two Populations of Extracellular Vesicles and Soluble Proteins von Bayer-Santos, Ethel, Aguilar-Bonavides, Clemente, Rodrigues, Silas Pessini, Cordero, Esteban Maurício, Marques, Alexandre Ferreira, Varela-Ramirez, Armando, Choi, Hyungwon, Yoshida, Nobuko, da Silveira, José Franco, Almeida, Igor C

Volltext

Timed runtime monitoring for multiparty conversations von Neykova, Rumyana, Bocchi, Laura, Yoshida, Nobuko

Volltext

Statically verified refinements for multiparty protocols von Zhou, Fangyi, Ferreira, Francisco, Hu, Raymond, Neykova, Rumyana, Yoshida, Nobuko

Volltext

Structured Communication-Centered Programming for Web Services von CARBONE, Marco, HONDA, Kohei, YOSHIDA, Nobuko

Volltext

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

Volltext

Monitoring Networks through Multiparty Session Types von Bocchi, Laura, Chen, Tzu-Chun, Demangeon, Romain, Honda, Kohei, Yoshida, Nobuko

Volltext

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures von Castro, David, Hu, Raymond, Jongmans, Sung-Shik, Ng, Nicholas, Yoshida, Nobuko

Volltext

SPY: Local Verification of Global Protocols von Neykova, Rumyana, Yoshida, Nobuko, Hu, Raymond

Volltext