2018 (1)
- Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal, A session type provider: compile-time API generation of distributed protocols with refinements in F#, Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria, pp.128–138, 2018
2017 (3)
- Rumyana Neykova, Nobuko Yoshida, Let it recover: multiparty protocol-induced recovery, Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017, pp.98–108, 2017
- Rumyana Neykova, Laura Bocchi, Nobuko Yoshida, Timed runtime monitoring for multiparty conversations, Formal Asp. Comput., volume 29, pp.877–910, 2017
- Rumyana Neykova, Nobuko Yoshida, Multiparty Session Actors, Logical Methods in Computer Science, volume 13, 2017
2016 (1)
- Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deni'elou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida, Behavioral Types in Programming Languages, Foundations and Trends in Programming Languages, volume 3, pp.95–230, 2016
2015 (1)
- Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python, Formal Methods in System Design, volume 46, pp.197–225, 2015
2014 (3)
- Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deni'elou, Nobuko Yoshida, Structuring Communication with Session Types, Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday, volume 8665, pp.105–127, 2014
- Rumyana Neykova, Nobuko Yoshida, Multiparty Session Actors, Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings, volume 8459, pp.131–146, 2014
- Rumyana Neykova, Laura Bocchi, Nobuko Yoshida, Timed Runtime Monitoring for Multiparty Conversations, Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014., volume 162, pp.19–26, 2014
2013 (1)
- Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Practical Interruptible Conversations: Distributed Dynamic Verification with Session Types and Python, RV'13, volume 8174, pp.130-148, 2013