Demangeon Romain
computer science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
DEMANGEON Romain is working in the department of computer science at Laboratory of Computer Science of Paris 6 (LIP6), France.
Research Interest
Complex Floating Point Arithmetic
Publications
-
R. Demangeon, N. Yoshida : “On the Expressiveness of Multiparty Sessionsâ€, 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, vol. 45, Leibniz International Proceedings in Informatics (LIPIcs), Bangalore, India, pp. 560-574 (2015)
-
R. Demangeon, K. Honda, R. Hu, R. Neykova, N. Yoshida : “Practical interruptible conversations: Distributed dynamic veriï¬cation with multiparty session types and Pythonâ€, Formal Methods in System Design, pp. 1-29, (Springer) (2015)
-
R. Demangeon, L. Bocchi, N. Yoshida, T.‑Ch. Chen, K. Honda : “Monitoring networks through multiparty session typesâ€, Theoretical Computer Science, vol. 669, pp. 33-58, (Elsevier) (2017)
