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 | 16 | 2016 |
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 | 6 | 2016 |
Pluto: The CRDT-Driven IMAP Server T Jungnickel, L Oldenburg Proceedings of the 3rd International Workshop on Principles and Practice of …, 2017 | 5 | 2017 |
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 | 4 | 2018 |
TP1-valid Transformation Functions for Operations on ordered n-ary Trees T Jungnickel, T Herb arXiv preprint arXiv:1512.05949, 2015 | 4 | 2015 |
On the feasibility of multi-leader replication in the early tiers T Jungnickel Universitätsverlag der TU Berlin, 2018 | 3 | 2018 |
Hotpi: open-source collaborative patient documentation T Jungnickel, J Cabello, K Raile Companion of the 2017 ACM Conference on Computer Supported Cooperative Work …, 2017 | 3 | 2017 |
The IMAP CmRDT T Jungnickel, L Oldenburg, M Loibl Archive of Formal Proofs, 2017 | 2 | 2017 |
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 | 1 | 2017 |
A constructive proof for FLP B Bisping, PD Brodmann, T Jungnickel, C Rickmann, H Seidler, A Stüber, ... Archive of Formal Proofs 20, 2016 | 1 | 2016 |
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 |