| Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016 | 205 | 2016 |
| The Scribble protocol language N Yoshida, R Hu, R Neykova, N Ng Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos …, 2014 | 156 | 2014 |
| Multiparty session actors R Neykova, N Yoshida Logical Methods in Computer Science 13, 2017 | 103 | 2017 |
| Let it recover: multiparty protocol-induced recovery R Neykova, N Yoshida Proceedings of the 26th International Conference on Compiler Construction …, 2017 | 94 | 2017 |
| A session type provider: compile-time API generation of distributed protocols with refinements in F# R Neykova, R Hu, N Yoshida, F Abdeljallal Proceedings of the 27th International Conference on Compiler Construction …, 2018 | 88 | 2018 |
| Timed runtime monitoring for multiparty conversations R Neykova, L Bocchi, N Yoshida Formal Aspects of Computing 29, 877-910, 2017 | 84 | 2017 |
| Practical interruptible conversations: distributed dynamic verification with multiparty session types and python R Demangeon, K Honda, R Hu, R Neykova, N Yoshida Formal Methods in System Design 46, 197-225, 2015 | 81 | 2015 |
| Practical interruptible conversations: Distributed dynamic verification with session types and python R Hu, R Neykova, N Yoshida, R Demangeon, K Honda Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013 | 63 | 2013 |
| Statically verified refinements for multiparty protocols F Zhou, F Ferreira, R Hu, R Neykova, N Yoshida Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 57 | 2020 |
| SPY: local verification of global protocols R Neykova, N Yoshida, R Hu Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013 | 47 | 2013 |
| Implementing multiparty session types in rust N Lagaillardie, R Neykova, N Yoshida International Conference on Coordination Languages and Models, 127-136, 2020 | 40 | 2020 |
| Stay safe under panic: Affine rust programming with multiparty session types N Lagaillardie, R Neykova, N Yoshida arXiv preprint arXiv:2204.13464, 2022 | 39 | 2022 |
| Multiparty session programming with global protocol combinators K Imai, R Neykova, N Yoshida, S Yuen arXiv preprint arXiv:2005.06333, 2020 | 36 | 2020 |
| Structuring communication with session types K Honda, R Hu, R Neykova, TC Chen, R Demangeon, PM Deniélou, ... Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the …, 2014 | 35 | 2014 |
| Featherweight scribble R Neykova, N Yoshida Models, Languages, and Tools for Concurrent and Distributed Programming …, 2019 | 19 | 2019 |
| Mindthedapp: a toolchain for complex network-driven structural analysis of ethereum-based decentralised applications G Ibba, S Aufiero, S Bartolucci, R Neykova, M Ortu, R Tonelli, ... IEEE Access, 2024 | 12 | 2024 |
| Session types go dynamic or how to verify your Python conversations R Neykova arXiv preprint arXiv:1312.2704, 2013 | 12 | 2013 |
| Kmclib: Automated Inference and Verification of Session Types from OCaml Programs K Imai, J Lange, R Neykova International Conference on Tools and Algorithms for the Construction and …, 2022 | 11 | 2022 |
| An optimized concurrent proof of authority consensus protocol A Nazir, M Singh, G Destefanis, J Memon, R Neykova, M Kassab, ... 2023 IEEE International Conference on Software Analysis, Evolution and …, 2023 | 8 | 2023 |
| Dapps ecosystems: Mapping the network structure of smart contract interactions S Aufiero, G Ibba, S Bartolucci, G Destefanis, R Neykova, M Ortu arXiv preprint arXiv:2401.01991, 2024 | 5 | 2024 |
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk