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

1

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/..

2

Mixed choice in session types:

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

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

3

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/..

4

Causal computational complexity of distributed processes:

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

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

5

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/..

6

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/..

7

Precise Subtyping for Asynchronous Multiparty Sessions:

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

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

8

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/..

9

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/..

10

Generic go to go: dictionary-passing, monomorphisation, and..:

Ellis, Stephen ; Zhu, Shuofei ; Yoshida, Nobuko.
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1207-1235 , 2022

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

11

A Type Discipline for Message Passing Parallel Programs:

Vasconcelos, Vasco T. ; Martins, Francisco ; López, Hugo-Andrés.
ACM Transactions on Programming Languages and Systems. 44 (2022) 4 - p. 1-55 , 2022

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

12

Precise Subtyping for Asynchronous Multiparty Sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
ACM Transactions on Computational Logic. 24 (2022) 2 - p. 1-73 , 2022

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

13

Event structures for the reversible early internal π-calcul..:

Graversen, Eva ; Phillips, Iain ; Yoshida, Nobuko
Journal of Logical and Algebraic Methods in Programming. 124 (2022) - p. 100720 , 2022

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

14

Gp35/50 mucin molecules of Trypanosoma cruzi metacyclic for..:

Onofre, Thiago Souza ; Loch, Leonardo ; Ferreira Rodrigues, João Paulo...
PLOS Neglected Tropical Diseases. 16 (2022) 10 - p. e0010788 , 2022

Link: https://doi.org/10.1371/..

15

Precise subtyping for asynchronous multiparty sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021

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