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

Separation and Encodability in Mixed Choice Multiparty Sess..:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Peters, Kirstin ; Yoshida, Nobuko - p. 1-15 , 2024

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

4

Protocol Conformance of Collaborative SPARQL Using Multipar..:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,

Hernawan, Ari ; Yoshida, Nobuko - p. 1-18 , 2024

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

5

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

6

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

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

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

10

Causal computational complexity of distributed processes:

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

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

11

Precise Subtyping for Asynchronous Multiparty Sessions:

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

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

12

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

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

How to Verify Your Python Conversations:

, In: Behavioural Types,

Neykova, Rumyana ; Yoshida, Nobuko - p. 77-98 , 2022

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

15

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