E-LIB Suche - Ergebnisse für: Nobuko Yoshida

1

The Concurrent Calculi Formalisation Benchmark:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Carbone, Marco ; Castro-Perez, David ; Ferreira, Francisco... - p. 149-158 , 2024

Link: https://doi.org/10.1007/..

2

Trypanosoma cruzi Vps34 colocalizes with Beclin1 and plays ..:

Nájera, Carlos Alcides ; Soares-Silva, Mercedes ; Maeda, Fernando Y....
Microbes and Infection. , 2024

Link: https://doi.org/10.1016/..

3

Mixed choice in session types:

Peters, Kirstin ; Yoshida, Nobuko
Information and Computation. 298 (2024) - p. 105164 , 2024

Link: https://doi.org/10.1016/..

4

Programming Language Implementations with Multiparty Sessio..:

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,

Yoshida, Nobuko - p. 147-165 , 2024

Link: https://doi.org/10.1007/..

5

Editorial: World Chagas disease day 2022:

Palmisano, Giuseppe ; Yoshida, Nobuko
Frontiers in Cellular and Infection Microbiology. 13 (2023) - p. , 2023

Link: https://doi.org/10.3389/..

6

Causal computational complexity of distributed processes:

Demangeon, Romain ; Yoshida, Nobuko
Information and Computation. 290 (2023) - p. 104998 , 2023

Link: https://doi.org/10.1016/..

7

Hybrid Multiparty Session Types: Compositionality for Proto..:

Gheri, Lorenzo ; Yoshida, Nobuko
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 112-142 , 2023

Link: https://doi.org/10.1145/..

8

Multicompatibility for Multiparty-Session Composition:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; Gheri, Lorenzo. - p. 1-15 , 2023

Link: https://dl.acm.org/doi/1..

9

Rollback Recovery in Session-Based Programming:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Mezzina, Claudio Antares ; Tiezzi, Francesco ; Yoshida, Nobuko - p. 195-213 , 2023

Link: https://doi.org/10.1007/..

10

Book review:

Barwell, Adam D. ; Ferreira, Francisco ; Yoshida, Nobuko
Journal of Logical and Algebraic Methods in Programming. 125 (2022) - p. 100744 , 2022

Link: https://doi.org/10.1016/..

11

Protocol-Driven MPI Program Generation:

, In: Behavioural Types,

Ng, Nicholas ; Yoshida, Nobuko - p. 329-352 , 2022

Link: https://doi.org/10.1201/..

12

Precise Subtyping for Asynchronous Multiparty Sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
ACM Transactions on Computational Logic. , 2022

Link: https://doi.org/10.1145/..

13

Depletion of Na+/H+ Exchanger Isoform 1 Increases the Host ..:

Rodrigues, João Paulo Ferreira ; Loch, Leonardo ; Onofre, Thiago Souza.
Pathogens. 11 (2022) 11 - p. 1294 , 2022

Link: https://doi.org/10.3390/..

14

Introduction to the Special Issue on ESOP 2021:

Yoshida, Nobuko
ACM Transactions on Programming Languages and Systems. 44 (2022) 3 - p. 1-1 , 2022

Link: https://doi.org/10.1145/..

15

A Tool for Choreography-Based Analysis of Message-Passing S..:

, In: Behavioural Types,

Lange, Julien ; Tuosto, Emilio ; Yoshida, Nobuko - p. 125-145 , 2022

Link: https://doi.org/10.1201/..