Raymond Hu

Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH 2009

Junichi Yamagishi, Bela Usabaev, Simon King et al. · 2009 · 270 citations

Speech Sciences, Health Sciences, Voice +15

Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti et al. · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2016 · 104 citations · Full text

Parameterised Multiparty Session Types

Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri et al. · Logical Methods in Computer Science · 2012 · 66 citations · Full text

Engineering, Type Theory, Verification +16

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Romain Demangeon, Kohei Honda, Raymond Hu et al. · Formal Methods in System Design · 2014 · 60 citations

Engineering, Verification, Computer-aided Verification +18

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming

Alceste Scalas, Ornela Dardha, Raymond Hu et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 55 citations · Full text