Pierre-Malo Denilou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2006–2013
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICALP | Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. | Pierre-Malo Denilou, Nobuko Yoshida |
| 2012 | ESOP | Multiparty Session Types Meet Communicating Automata. | Pierre-Malo Denilou, Nobuko Yoshida |
| 2011 | POPL | Dynamic multirole session types. | Pierre-Malo Denilou, Nobuko Yoshida |
| 2010 | CONCUR | Buffered Communication Analysis in Distributed Multiparty Sessions. | Pierre-Malo Denilou, Nobuko Yoshida |
| 2010 | FOSSACS | Parameterised Multiparty Session Types. | Nobuko Yoshida, Pierre-Malo Denilou, Andi Bejleri, Raymond Hu |
| 2006 | ICFP | Abstraction preservation and subtyping in distributed languages. | Pierre-Malo Denilou, James J. Leifer |