Tim Jungnickel

According to our database, Tim Jungnickel authored at least 11 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

On the feasibility of multi-leader replication in the early tiers.

Tim Jungnickel

PhD thesis, 2018

2017

The IMAP CmRDT.

Tim Jungnickel, Lennart Oldenburg, Matthias Loibl

Arch. Formal Proofs, 2017

Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types.

Tim Jungnickel, Lennart Oldenburg, Matthias Loibl

Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017

pluto: The CRDT-Driven IMAP Server.

Tim Jungnickel, Lennart Oldenburg

Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

formic: Building Collaborative Applications with Operational Transformation - (Work in Progress).

Tim Jungnickel, Ronny Bräunlich

Proceedings of the Distributed Applications and Interoperable Systems, 2017

HotPi: Open-Source Collaborative Patient Documentation.

Tim Jungnickel, Juan Cabello, Klemens Raile

Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing, 2017

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

Simultaneous editing of JSON objects via operational transformation.

Tim Jungnickel, Tobias Herb

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 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

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

Weak consistency and stochastic environments: harmonization of replicated machine learning models.

Tobias Herb, Tim Jungnickel, Christoph Alt

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

2015

TP1-valid Transformation Functions for Operations on ordered n-ary Trees.

Tim Jungnickel, Tobias Herb

CoRR, 2015