Zhou, F., Ferreira, F., Hu, R., Neykova, R. and Yoshida, N. (2020) 'Statically verified refinements for multiparty protocols'. Proceedings of the ACM on Programming Languages, 4 (OOPSLA). pp. 1 - 30. ISSN: 2475-1421 Open Access Link

Neykova, R. and Yoshida, N. (2019) 'Featherweight Scribble', in Boreale, M., Corradini, F., Loreti, M. and Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming, Lecture Notes in Computer Science. CHAM : Springer. , 11665. pp. 236 - 259. ISBN 13: 978-3-030-21484-5. Open Access Link

Neykova, R., Hu, R., Yoshida, N. and Abdeljallal, F. (2018) 'A session type provider compile-time API generation of distributed protocols with refinements in F#'.Compiler Construction. Vienna, Austria. 24 - 25 February. ACM. pp. 128 - 138.Open Access Link

Neykova, R., Bocchi, L. and Yoshida, N. (2017) 'Timed runtime monitoring for multiparty conversations'. Formal Aspects of Computing, 29 (5). pp. 877 - 910. ISSN: 0934-5043 Open Access Link

Neykova, R. and Yoshida, N. (2017) 'How to Verify Your Python Conversations', in Gay, S. and Ravara, A. (eds.) Behavioural Types: from Theory to Tools. Gistrup, Denmark : River Publishers. pp. 77 - 98. ISBN 10: 8793519826. ISBN 13: 9788793519824. Open Access Link

Neykova, R. and Yoshida, N. (2017) 'Let it recover: Multiparty protocol-induced recovery'.Compiler Construction. Austin, TX, USA. 5 - 6 February. ACM. pp. 98 - 108.Open Access Link

Neykova, R. and Yoshida, N. (2017) 'Multiparty session actors'. Logical Methods in Computer Science, 13 (1). pp. 2017. ISSN: 1860-5974 Open Access Link

Neykova, R. (2016) 'The Scribble Programming Language', in Ancona, D. (ed.) Behavioral Types in Programming Languages. Boston, Mass. : Now Publishers. ISBN 10: 1680831348. ISBN 13: 9781680831344.

Demangeon, R., Honda, K., Hu, R., Neykova, R. and Yoshida, N. (2014) 'Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python'. Formal Methods in System Design, 46 (3). pp. 197 - 225. ISSN: 0925-9856

Honda, K., Hu, R., Neykova, R., Chen, TC., Demangeon, R., Deníelou, PM. and Yoshida, N. et al. (2014) 'Structuring communication with session types'. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8665. pp. 105 - 127. ISSN: 0302-9743

Neykova, R. and Ng, N. (2014) 'Preface'. OpenAccess Series in Informatics. pp. vii. ISSN: 2190-6807

Neykova, R. and Yoshida, N. (2014) 'Multiparty session actors'. Electronic Proceedings in Theoretical Computer Science, EPTCS, 155. pp. 32 - 37. ISSN: 2075-2180

Neykova, R., Bocchi, L. and Yoshida, N. (2014) 'Timed runtime monitoring for multiparty conversations'. Electronic Proceedings in Theoretical Computer Science, EPTCS, 162. pp. 19 - 26. ISSN: 2075-2180

Yoshida, N., Hu, R., Neykova, R. and Ng, N. (2014) 'The scribble protocol language'. Springer International Publishing. pp. 22 - 41. ISSN: 0302-9743

Neykova, R. and Yoshida, N. (2014) 'Multiparty session actors'.16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION). Berlin, GERMANY. 1 - 5 June. Springer Berlin Heidelberg. pp. 131 - 146. ISSN: 0302-9743

Neykova, R. (2013) 'Session types go dynamic or how to verify your Python conversations'. Electronic Proceedings in Theoretical Computer Science, EPTCS, 137. pp. 95 - 102. ISSN: 2075-2180

Hu, R., Neykova, R., Yoshida, N., Demangeon, R. and Honda, K. (2013) 'Practical interruptible conversations: Distributed dynamic verification with session types and Python'.4th International Conference on Runtime Verification (RV). Rennes, FRANCE. 18 - 27 September. Springer Berlin Heidelberg. pp. 130 - 148. ISSN: 0302-9743

Neykova, R., Yoshida, N. and Hu, R. (2013) 'SPY: Local verification of global protocols'.4th International Conference on Runtime Verification (RV). Rennes, FRANCE. 18 - 27 September. Springer Berlin Heidelberg. pp. 358 - 363. ISSN: 0302-9743