Tim Jungnickel

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 10

Top Topics

Machine Learning Models

Top Venues

Arch. Formal Proofs

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Tim Jungnickel, Ronny Bräunlich
formic: Building Collaborative Applications with Operational Transformation - (Work in Progress). DAIS (2017)
Tim Jungnickel, Lennart Oldenburg, Matthias Loibl
Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types. OPODIS (2017)
Tim Jungnickel, Lennart Oldenburg
pluto: The CRDT-Driven IMAP Server. PaPoC@EuroSys (2017)
Tim Jungnickel, Juan Cabello, Klemens Raile
HotPi: Open-Source Collaborative Patient Documentation. CSCW Companion (2017)
Tim Jungnickel, Lennart Oldenburg, Matthias Loibl
The IMAP CmRDT. Arch. Formal Proofs 2017 (2017)
Tim Jungnickel, Tobias Herb
Simultaneous editing of JSON objects via operational transformation. SAC (2016)
Tobias Herb, Tim Jungnickel, Christoph Alt
Weak consistency and stochastic environments: harmonization of replicated machine learning models. PaPoC@EuroSys (2016)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
A Constructive Proof for FLP. Arch. Formal Proofs 2016 (2016)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
Mechanical Verification of a Constructive Proof for FLP. ITP (2016)
Tim Jungnickel, Tobias Herb
TP1-valid Transformation Functions for Operations on ordered n-ary Trees. CoRR (2015)