TP1-valid Transformation Functions for Operations on ordered n-ary Trees. - Tim Jungnickel; Tobias Herb (CoRR, 2015)

Weak consistency and stochastic environments: harmonization of replicated machine learning models. - Tobias Herb; Tim Jungnickel; Christoph Alt (PaPoC@EuroSys, 2016)

Mechanical Verification of a Constructive Proof for FLP. - Benjamin Bisping; Paul-David Brodmann; Tim Jungnickel; Christina Rickmann; Henning Seidler; Anke Stüber; Arno Wilhelm-Weidner; Kirstin Peters; Uwe Nestmann (ITP, 2016)

Simultaneous editing of JSON objects via operational transformation. - Tim Jungnickel; Tobias Herb (SAC, 2016)

A Constructive Proof for FLP. - Benjamin Bisping; Paul-David Brodmann; Tim Jungnickel; Christina Rickmann; Henning Seidler; Anke Stüber; Arno Wilhelm-Weidner; Kirstin Peters; Uwe Nestmann (Arch. Formal Proofs, 2016)

HotPi: Open-Source Collaborative Patient Documentation. - Tim Jungnickel; Juan Cabello; Klemens Raile (CSCW Companion, 2017)

formic: Building Collaborative Applications with Operational Transformation - (Work in Progress). - Tim Jungnickel; Ronny Bräunlich (DAIS, 2017)

pluto: The CRDT-Driven IMAP Server. - Tim Jungnickel; Lennart Oldenburg (PaPoC@EuroSys, 2017)

Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types. - Tim Jungnickel; Lennart Oldenburg; Matthias Loibl (OPODIS, 2017)

The IMAP CmRDT. - Tim Jungnickel; Lennart Oldenburg; Matthias Loibl (Arch. Formal Proofs, 2017)

On the feasibility of multi-leader replication in the early tiers. - Tim Jungnickel (2018)