Lennart Oldenburg
ORCIDPublication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 6
Publications (10 Years): 6
Publications
- Lennart Oldenburg, Gunes Acar, Claudia Díaz
- Lennart Oldenburg, Xiangfeng Zhu, Kamala Ramasubramanian, Peter Alvaro
- Tim Jungnickel, Lennart Oldenburg, Matthias Loibl
- Tim Jungnickel, Lennart Oldenburg
- Tim Jungnickel, Lennart Oldenburg, Matthias LoiblThe IMAP CmRDT. Arch. Formal Proofs 2017 (2017)