Romain Demangeon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2010–2023
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | EUMAS | Observational Preorders for Alternating Transition Systems. | Romain Demangeon, Catalin Dima, Daniele Varacca |
| 2018 | LICS | Causal Computational Complexity of Distributed Processes. | Romain Demangeon, Nobuko Yoshida |
| 2013 | FORTE | Monitoring Networks through Multiparty Session Types. | Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida |
| 2013 | RV | Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. | Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda |
| 2012 | CONCUR | Nested Protocols in Session Types. | Romain Demangeon, Kohei Honda |
| 2011 | CONCUR | Full Abstraction in a Subtyped pi-Calculus with Linear Types. | Romain Demangeon, Kohei Honda |
| 2010 | CONCUR | Termination in Impure Concurrent Languages. | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |