Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Sano, Chuta
10  Ergebnisse:
Personensuche X
?
1

Mechanizing Session-Types using a Structural View: Enforcin..:

Sano, Chuta ; Kavanagh, Ryan ; Pientka, Brigitte
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 374-399 , 2023
Link: https://doi.org/10.1145/..
 
?
2

Manifestly Phased Communication via Shared Session Types:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Sano, Chuta ; Balzer, Stephanie ; Pfenning, Frank - p. 23-40 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Privacy Enhancing Keyboard: Design, Implementation, and Usa..:

Ling, Zhen ; Borgeest, Melanie ; Sano, Chuta...
Wireless Communications and Mobile Computing.  2017 (2017)  - p. 1-15 , 2017
Link: https://doi.org/10.1155/..
 
?
4

Mechanizing Session-Types using a Structural View: Enforcin..:

Sano, Chuta ; Kavanagh, Ryan ; Pientka, Brigitte
http://arxiv.org/abs/2309.12466.  , 2023
Link: http://arxiv.org/abs/230..
 
?
5

Mechanizing Session-Types Using a Structural View:

Sano, Chuta ; Kavanagh, Ryan ; Pientka, Brigitte
doi:10.1145/3622810.  , 2023
Link: https://zenodo.org/recor..
 
?
6

Manifestly Phased Communication via Shared Session Types:

Sano, Chuta ; Balzer, Stephanie ; Pfenning, Frank
http://arxiv.org/abs/2101.06249.  , 2021
Link: http://arxiv.org/abs/210..
 
?
7

Privacy Enhancing Keyboard: Design, Implementation, and Usa..:

Zhen Ling ; Melanie Borgeest ; Chuta Sano...
http://dx.doi.org/10.1155/2017/3928261.  , 2017
Link: https://doi.org/10.1155/..
 
?
8

CsgI (YccT) Is a Novel Inhibitor of Curli Fimbriae Formatio..:

Sano, Kotaro ; Kobayashi, Hiroaki ; Chuta, Hirotaka...
International Journal of Molecular Sciences.  24 (2023)  5 - p. 4357 , 2023
Link: https://doi.org/10.3390/..
 
?
9

CsgI (YccT) Is a Novel Inhibitor of Curli Fimbriae Formatio..:

Kotaro Sano ; Hiroaki Kobayashi ; Hirotaka Chuta...
Molecular Genetics and Genomics.  , 2023
Link: https://doi.org/10.3390/..
 
?
10

CsgI (YccT) Is a Novel Inhibitor of Curli Fimbriae Formatio..:

Kotaro Sano ; Hiroaki Kobayashi ; Hirotaka Chuta...
https://www.mdpi.com/1422-0067/24/5/4357.  , 2023
Link: https://doi.org/10.3390/..
 
1-10