Aufiero, S., Ibba, G., Bartolucci, S., Destefanis, G., Neykova, R. and Ortu, M. (2024) 'DApps ecosystems: mapping the network structure of smart contract interactions'. EPJ Data Science, 13 (1). pp. 1 - 31.Open Access Link

Sengul, C., Neykova, R. and Destefanis, G. (2024) 'Software engineering education in the era of conversational AI: current trends and future directions'. Frontiers in Artificial Intelligence, 7. pp. 1 - 23. ISSN: 2624-8212 Open Access Link

Ibba, G., Aufiero, S., Neykova, R., Bartolucci, S., Ortu, M., Tonelli, R. and Destefanis, G. et al. (2024) 'A Curated Solidity Smart Contracts Repository of Metrics and Vulnerability'.PROMISE '24: 20th International Conference on Predictive Models and Data Analytics in Software Engineering. Porto de Galinhas, Brazil. 10 - 16 July. ACM. pp. 32 - 41.Open Access Link

Groen, D., Khullar, S., Groen-Xu, M. and Neykova, R. (2024) 'A Working Week Simulation Approach to Forecast Personal Well-Being', in Franco, L., de Mulatier, C., Paszynski, M., Krzhizhanovskaya, VV., Dongarra, JJ. and Sloot, PMA. (eds.) Computational Science – ICCS 2024. ICCS 2024. Cham : Springer. , 14834 LNCS. pp. 246 - 253. ISBN 10: 3-031-63759-3. ISBN 13: 978-3-031-63758-2. Open Access Link

Vaccargiu, M., Aufiero, S., Bartolucci, S., Neykova, R., Tonelli, R. and Destefanis, G. (2024) 'Sustainability in Blockchain Development: A BERT-Based Analysis of Ethereum Developer Discussions'.EASE '24: Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering. Salerno, Italy. 18 - 21 June. ACM. pp. 381 - 386.Open Access Link

Ibba, G., Destefanis, G., Neykova, R., Ortu, M., Aufiero, S. and Bartolucci, S. (2024) 'DAI: A Dependencies Analyzer and Installer For Solidity Smart Contracts'.2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C). Rovaniemi, Finland. 12 - 12 March. IEEE. pp. 72 - 75.Open Access Link

Ibba, G., Aufiero, S., Bartolucci, S., Neykova, R., Ortu, M., Tonelli, R. and Destefanis, G. et al. (2024) 'MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications'. IEEE Access, 12. pp. 28382 - 28394.Open Access Link

Ibba, G., Khullar, S., Tesfai, E., Neykova, R., Aufiero, S., Ortu, M., Bartolucci, S. and Destefanis, G. et al. (2023) 'A Preliminary Analysis of Software Metrics in Decentralised Applications'.Fifth ACM International Workshop on Blockchain-enabled Networked Sensor Systems. Istanbul Turkiye. 12 - 12 November. ACM. pp. 27 - 33.Open Access Link

Nazir, A., Singh, M., Destefanis, G., Memon, J., Neykova, R., Kassab, M. and Tonelli, R. et al. (2023) 'An Optimized Concurrent Proof of Authority Consensus Protocol'.2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Taipa, Macao. 21 - 24 March. IEEE. pp. 874 - 877. ISSN: 1534-5351 Open Access Link

Nazir, A., Singh, M., Destefanis, G., Kassab, M., Memon, J., Neykova, R. and Tonelli, R. et al. (2023) 'Towards a Scalable Dual-Sided Blockchain Architecture with Concurrency Protocols'.2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C). L'Aquila, Italy. 13 - 17 March. IEEE. pp. 224 - 230. ISSN: 2768-427X Open Access Link

Lagaillardie, N., Neykova, R. and Yoshida, N. (2022) 'Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types'.36th European Conference on Object-Oriented Programming (ECOOP 2022). Berlin, Germany (virtual). 23 - 7 July. Leibniz International Proceedings in Informatics, LIPIcs. pp. 4:1 - 4:29. ISSN: 1868-8969 Open Access Link

Imai, K., Lange, J. and Neykova, R. (2022) 'Kmclib: Automated Inference and Verification of Session Types from OCaml Programs', in Fisman, D. and Rosu, G. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022. Cham, Switzerland : Springer, Cham. , 13243 LNCS. pp. 379 - 386. ISBN 10: 3-030-99524-0. ISBN 13: 978-3-030-99523-2. Open Access Link

Carbone, M. and Neykova, R. (2022) 'Preface'. Electronic Proceedings in Theoretical Computer Science, EPTCS. ISSN: 2075-2180

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.Open Access Link

Imai, K., Neykova, R., Yoshida, N. and Yuen, S. (2020) 'Multiparty session programming with global protocol combinators'. Leibniz International Proceedings in Informatics, LIPIcs. pp. 12 - 12. ISSN: 1868-8969

Lagaillardie, N., Neykova, R. and Yoshida, N. (2020) 'Implementing multiparty session types in rust'.22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. Valletta, Malta. 10 - 19 June. Springer Nature. pp. 127 - 136. ISSN: 0302-9743 Open Access Link

Imai, K., Neykova, R., Yoshida, N. and Yuen, S. (2020) 'Multiparty Session Programming with Global Protocol Combinators'. European Conference on Object-Oriented Programming, 322. pp. 1 - 45. ISSN: 2331-8422 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

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

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

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

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

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