Christian Roldn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2016–2020
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICTAC | Implementation Correctness for Replicated Data Types, Categorically. | Fabio Gadducci, Hernn C. Melgratti, Christian Roldn, Matteo Sammartino |
| 2017 | Coordination | A Denotational View of Replicated Data Types. | Fabio Gadducci, Hernn C. Melgratti, Christian Roldn |
| 2016 | Coordination | A Formal Analysis of the Global Sequence Protocol. | Hernn C. Melgratti, Christian Roldn |