| Implementing multiparty session types in rust N Lagaillardie, R Neykova, N Yoshida International Conference on Coordination Languages and Models, 127-136, 2020 | 37 | 2020 |
| Stay safe under panic: Affine rust programming with multiparty session types N Lagaillardie, R Neykova, N Yoshida arXiv preprint arXiv:2204.13464, 2022 | 31 | 2022 |
| A computational study on fairness of the tendermint blockchain protocol N Lagaillardie, MA Djari, Ö Gürcan Information 10 (12), 378, 2019 | 19 | 2019 |
| Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact) N Lagaillardie, R Neykova, N Yoshida Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022 | 1 | 2022 |
| Fearless Asynchronous Communications with Timed Multiparty Session Protocols P Hou, N Lagaillardie, N Yoshida arXiv preprint arXiv:2406.19541, 2024 | | 2024 |
Nobuko YoshidaDepartment of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
