Login / Signup
Matthias Loibl
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 2
Top Topics
Database Schemes
Functional Dependencies
Data Types
Similarity Measure
Top Venues
OPODIS
Arch. Formal Proofs
</>
Publications
</>
Tim Jungnickel
,
Lennart Oldenburg
,
Matthias Loibl
Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types.
OPODIS
(2017)
Tim Jungnickel
,
Lennart Oldenburg
,
Matthias Loibl
The IMAP CmRDT.
Arch. Formal Proofs
2017 (2017)