| 2017 |
Tim Jungnickel, Lennart Oldenburg and Matthias Loibl. 2017. Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types. In: International Conference on Principles of Distributed Systems (OPODIS)
|
| 2017 |
Tim Jungnickel and Ronny Bräunlich: formic: Building Collaborative Applications with Operational Transformation, Distributed Applications and Interoperable Systems (DAIS'17), 2017.
|
| 2017 |
T. Jungnickel and L. Oldenburg: pluto: The CRDT-Driven IMAP Server, Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '17 @ EuroSys), to appear
|
| 2017 |
T. Jungnickel, J. Cabelloand, K. Raile: HotPi: Open-Source Collaborative Patient Documentation, ACM Conference on Computer Supported Cooperative Work and Social Computing (CSCW '17), 2017.
|
|
2016
|
Tim Jungnickel and Tobias Herb:
"Simultaneous Editing of JSON Objects via Operational Transformation"
In Proceedings of the 31st ACM Symposium on Aplied Computing (SAC '16). 2016
|
| 2016 |
Tobias Herb, Tim Jungnickel and Christoph Alt:
"Weak Consistency and stochastic Environments: Harmonization of replicated Machine Learning Models"
In Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPOC '2016 @ Eurosys) 2016
|
| 2016 |
Bisping, Brodmann, Jungnickel, Rickmann, Seidler, Stüber, Wilhelm-Weidner, Peters, Nestmann:
"Mechanical Verification of a Constructive Proof for FLP"
In Proceedings of the 7th International Conference of Interactive Theorem Proving (IIP '16) 2016.
|
