On the Complexity of Termination Inference for Processes. - Romain Demangeon; Daniel Hirschkoff; Naoki Kobayashi 001; Davide Sangiorgi (TGC, 2007)

Static and dynamic typing for the termination of mobile processes. - Romain Demangeon; Daniel Hirschkoff; Davide Sangiorgi (IFIP TCS, 2008)

Mobile Processes and Termination. - Romain Demangeon; Daniel Hirschkoff; Davide Sangiorgi (Semantics and Algebraic Specification, 2009)

Termination in Impure Concurrent Languages. - Romain Demangeon; Daniel Hirschkoff; Davide Sangiorgi (CONCUR, 2010)

Termination in higher-order concurrent calculi. - Romain Demangeon; Daniel Hirschkoff; Davide Sangiorgi (J. Log. Algebraic Methods Program., 2010)

Full Abstraction in a Subtyped pi-Calculus with Linear Types. - Romain Demangeon; Kohei Honda 001 (CONCUR, 2011)

Strong Normalisation in λ-Calculi with References. - Romain Demangeon; Daniel Hirschkoff; Davide Sangiorgi (FSEN, 2011)

Nested Protocols in Session Types. - Romain Demangeon; Kohei Honda 001 (CONCUR, 2012)

A Multiparty Multi-session Logic. - Laura Bocchi; Romain Demangeon; Nobuko Yoshida (TGC, 2012)

Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. - Raymond Hu; Rumyana Neykova; Nobuko Yoshida; Romain Demangeon; Kohei Honda 001 (RV, 2013)

Embedding Session Types in HML. - Laura Bocchi; Romain Demangeon (PLACES, 2013)

Structuring Communication with Session Types. - Kohei Honda 001; Raymond Hu; Rumyana Neykova; Tzu-Chun Chen; Romain Demangeon; Pierre-Malo Deniélou; Nobuko Yoshida (Concurrent Objects and Beyond, 2014)

On the Expressiveness of Multiparty Sessions. - Romain Demangeon; Nobuko Yoshida (FSTTCS, 2015)

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. - Romain Demangeon; Kohei Honda 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Formal Methods Syst. Des., 2015)

Monitoring networks through multiparty session types. - Laura Bocchi; Tzu-Chun Chen; Romain Demangeon; Kohei Honda 001; Nobuko Yoshida (Theor. Comput. Sci., 2017)

Observational Preorders for Alternating Transition Systems. - Romain Demangeon; Catalin Dima; Daniele Varacca (EUMAS, 2023)

Causal computational complexity of distributed processes. - Romain Demangeon; Nobuko Yoshida (Inf. Comput., 2023)