Follow
Tim Jungnickel
Tim Jungnickel
Complex and Distributed IT Systems, TU Berlin
Verified email at tu-berlin.de
Title
Cited by
Cited by
Year
Simultaneous editing of JSON objects via operational transformation
T Jungnickel, T Herb
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 812-815, 2016
162016
Mechanical verification of a constructive proof for flp
B Bisping, PD Brodmann, T Jungnickel, C Rickmann, H Seidler, A Stüber, ...
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016
62016
Pluto: The CRDT-Driven IMAP Server
T Jungnickel, L Oldenburg
Proceedings of the 3rd International Workshop on Principles and Practice of …, 2017
52017
Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types
T Jungnickel, L Oldenburg, M Loibl
International Conference on Principles of Distributed Systems (OPODIS), 2018
42018
TP1-valid Transformation Functions for Operations on ordered n-ary Trees
T Jungnickel, T Herb
arXiv preprint arXiv:1512.05949, 2015
42015
On the feasibility of multi-leader replication in the early tiers
T Jungnickel
Universitätsverlag der TU Berlin, 2018
32018
The IMAP CmRDT
T Jungnickel, L Oldenburg, M Loibl
Archive of Formal Proofs, 2017
22017
Hotpi: open-source collaborative patient documentation
T Jungnickel, J Cabello, K Raile
Companion of the 2017 ACM Conference on Computer Supported Cooperative Work …, 2017
22017
formic: Building Collaborative Applications with Operational Transformation: (Work in Progress)
T Jungnickel, R Bräunlich
Distributed Applications and Interoperable Systems: 17th IFIP WG 6.1 …, 2017
12017
A constructive proof for FLP
B Bisping, PD Brodmann, T Jungnickel, C Rickmann, H Seidler, A Stüber, ...
Archive of Formal Proofs 20, 2016
12016
Weak consistency and stochastic environments: harmonization of replicated machine learning models
T Herb, T Jungnickel, C Alt
Proceedings of the 2nd Workshop on the Principles and Practice of …, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–11