¹û¶³´«Ã½Â鶹Éç

Aufiero, S., Ibba, G., Bartolucci, S., Destefanis, G., Neykova, R. and Ortu, M. (2024) ''. EPJ Data Science, 13 (1). pp. 1 - 31.

Sengul, C., Neykova, R. and Destefanis, G. (2024) ''. Frontiers in Artificial Intelligence, 7. pp. 1 - 23. ISSN: 2624-8212

Ibba, G., Aufiero, S., Neykova, R., Bartolucci, S., Ortu, M., Tonelli, R. and Destefanis, G. et al. (2024) ''.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.

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.

Vaccargiu, M., Aufiero, S., Bartolucci, S., Neykova, R., Tonelli, R. and Destefanis, G. (2024) ''.EASE '24: Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering. Salerno, Italy. 18 - 21 June. ACM. pp. 381 - 386.

Ibba, G., Destefanis, G., Neykova, R., Ortu, M., Aufiero, S. and Bartolucci, S. (2024) ''.2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C). Rovaniemi, Finland. 12 - 12 March. IEEE. pp. 72 - 75.

Ibba, G., Aufiero, S., Bartolucci, S., Neykova, R., Ortu, M., Tonelli, R. and Destefanis, G. et al. (2024) ''. IEEE Access, 12. pp. 28382 - 28394.

Ibba, G., Khullar, S., Tesfai, E., Neykova, R., Aufiero, S., Ortu, M., Bartolucci, S. and Destefanis, G. et al. (2023) ''.Fifth ACM International Workshop on Blockchain-enabled Networked Sensor Systems. Istanbul Turkiye. 12 - 12 November. ACM. pp. 27 - 33.

Nazir, A., Singh, M., Destefanis, G., Memon, J., Neykova, R., Kassab, M. and Tonelli, R. et al. (2023) ''.2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Taipa, Macao. 21 - 24 March. IEEE. pp. 874 - 877. ISSN: 1534-5351

Nazir, A., Singh, M., Destefanis, G., Kassab, M., Memon, J., Neykova, R. and Tonelli, R. et al. (2023) ''.2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C). L'Aquila, Italy. 13 - 17 March. IEEE. pp. 224 - 230. ISSN: 2768-427X

Lagaillardie, N., Neykova, R. and Yoshida, N. (2022) ''.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

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.

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) ''. Proceedings of the ACM on Programming Languages, 4 (OOPSLA). pp. 1 - 30.

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

Lagaillardie, N., Neykova, R. and Yoshida, N. (2020) ''.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

Imai, K., Neykova, R., Yoshida, N. and Yuen, S. (2020) ''. European Conference on Object-Oriented Programming, 322. pp. 1 - 45. ISSN: 2331-8422

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.

Neykova, R., Hu, R., Yoshida, N. and Abdeljallal, F. (2018) ''.Compiler Construction. Vienna, Austria. 24 - 25 February. ACM. pp. 128 - 138.

Neykova, R., Bocchi, L. and Yoshida, N. (2017) ''. Formal Aspects of Computing, 29 (5). pp. 877 - 910. ISSN: 0934-5043

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.

Neykova, R. and Yoshida, N. (2017) ''.Compiler Construction. Austin, TX, USA. 5 - 6 February. ACM. pp. 98 - 108.

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

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) ''. 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) ''. Electronic Proceedings in Theoretical Computer Science, EPTCS, 162. pp. 19 - 26. ISSN: 2075-2180

Neykova, R. and Yoshida, N. (2014) ''. 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) ''. 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) ''. Springer International Publishing. pp. 22 - 41. ISSN: 0302-9743

Neykova, R. and Yoshida, N. (2014) ''.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) ''. 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) ''.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) ''.4th International Conference on Runtime Verification (RV). Rennes, FRANCE. 18 - 27 September. Springer Berlin Heidelberg. pp. 358 - 363. ISSN: 0302-9743