Romain Demangeon

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 6

Top Topics

Transition Systems

Privacy Preserving

High Computational Complexity

Top Venues

Publications

Romain Demangeon, Nobuko Yoshida
Causal computational complexity of distributed processes. Inf. Comput. 290 (2023)
Romain Demangeon, Catalin Dima, Daniele Varacca
Observational Preorders for Alternating Transition Systems. EUMAS (2023)
Romain Demangeon, Nobuko Yoshida
Causal Computational Complexity of Distributed Processes. LICS (2018)
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
Monitoring networks through multiparty session types. Theor. Comput. Sci. 669 (2017)
Romain Demangeon, Nobuko Yoshida
On the Expressiveness of Multiparty Sessions. FSTTCS (2015)
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods Syst. Des. 46 (3) (2015)
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
Structuring Communication with Session Types. Concurrent Objects and Beyond (2014)
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
Monitoring Networks through Multiparty Session Types. FMOODS/FORTE (2013)
Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. RV (2013)
Laura Bocchi, Romain Demangeon
Embedding Session Types in HML. PLACES (2013)
Romain Demangeon, Kohei Honda
Nested Protocols in Session Types. CONCUR (2012)
Laura Bocchi, Romain Demangeon, Nobuko Yoshida
A Multiparty Multi-session Logic. TGC (2012)
Romain Demangeon, Kohei Honda
Full Abstraction in a Subtyped pi-Calculus with Linear Types. CONCUR (2011)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Strong Normalisation in λ-Calculi with References. FSEN (2011)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Termination in higher-order concurrent calculi. J. Log. Algebraic Methods Program. 79 (7) (2010)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Termination in Impure Concurrent Languages. CONCUR (2010)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Termination in Higher-Order Concurrent Calculi. FSEN (2009)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Mobile Processes and Termination. Semantics and Algebraic Specification (2009)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Static and dynamic typing for the termination of mobile processes. IFIP TCS (2008)
Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi
On the Complexity of Termination Inference for Processes. TGC (2007)