Lennart Oldenburg
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 7
Publications (10 Years): 7
Publications
- Lennart Oldenburg, Marc Juarez, Enrique Argones-Rúa, Claudia Díaz
- 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)