AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Tim Jungnickel

Tim Jungnickel

Technische Universität Berlin - Berlin / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 6048288
Technical University of Berlin TU Berlin
person_outline Tim Jungnickel's MOST POPULAR ARTICLES
1-) Simultaneous editing of JSON objects via operational transformation Proceedings of the 31st Annual ACM Symposium on Applied Computing, 812-815, 2016
2-) Mechanical verification of a constructive proof for flp International Conference on Interactive Theorem Proving, 107-122, 2016
3-) Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types International Conference on Principles of Distributed Systems (OPODIS), 2018
4-) Pluto: The CRDT-Driven IMAP Server Proceedings of the 3rd International Workshop on Principles and Practice of …, 2017
5-) TP1-valid Transformation Functions for Operations on ordered n-ary Trees arXiv preprint arXiv:1512.05949, 2015