direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen Tim Jungnickel

2015

TP1-valid Transformation Functions for Operations on ordered n-ary Trees (Technical Report) [4]

Tim Jungnickel and Tobias Herb

Technical Report. arxiv.org. 2015

Link zur Publikation [5] Download Bibtex Eintrag [6]

2016

Simultaneous Editing of JSON Objects via Operational Transformation [7]

Jungnickel, Tim and Herb, Tobias

ACM Symposium on Applied Computing. ACM, 812–815. 2016

Link zur Publikation [8] Download Bibtex Eintrag [9]

A Constructive Proof for FLP [10]

Benjamin Bisping and Paul-David Brodmann and Tim Jungnickel and Christina Rickmann and Henning Seidler and Anke Stüber and Arno Wilhelm-Weidner and Kirstin Peters and Uwe Nestmann

Archive of Formal Proofs 2016

Link zur Publikation [11] Download Bibtex Eintrag [12]

A Constructive Proof for FLP [13]

Benjamin Bisping and Paul-David Brodmann and Tim Jungnickel and Christina Rickmann and Henning Seidler and Anke Stüber and Arno Wilhelm-Weidner and Kirstin Peters and Uwe Nestmann

International Conference on Interactive Theorem Proving. Springer. 2016

Download Bibtex Eintrag [14]

Weak Consistency and Stochastic Environments: Harmonization of Replicated Machine Learning Models [15]

Herb, Tobias and Jungnickel, Tim and Alt, Christoph

Principles and Practice of Consistency for Distributed Data. ACM, 8:1–8:3. 2016

Link zur Publikation [16] Download Bibtex Eintrag [17]

2017

Pluto: The CRDT-Driven IMAP Server [18]

Jungnickel, Tim and Oldenburg, Lennart

Principles and Practice of Consistency for Distributed Data. ACM, 1:1–1:5. 2017

Link zur Publikation [19] Download Bibtex Eintrag [20]

formic: Building Collaborative Applications with Operational Transformation [21]

Jungnickel, Tim and Bräunlich, Ronny

International Conference on Distributed Applications and Interoperable Systems. Springer, to appear. 2017

Download Bibtex Eintrag [22]

The IMAP CmRDT [23]

Tim Jungnickel and Lennart Oldenburg and Matthias Loibl

Archive of Formal Proofs 2017

Link zur Publikation [24] Download Bibtex Eintrag [25]

HotPi: Open-Source Collaborative Patient Documentation [26]

Jungnickel, Tim and Cabello, Juan and Raile, Klemens

Computer-Supported Cooperative Work and Social Computing Companion. ACM, 219-222. 2017

Link zur Publikation [27] Download Bibtex Eintrag [28]

2018

Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types [29]

Jungnickel, Tim and Oldenburg, Lennart and Loibl, Matthias

International Conference on Principles of Distributed Systems. LIPIcs, 23:1–23:17. 2018

Download Bibtex Eintrag [30]

------ Links: ------

Zusatzinformationen / Extras

Direktzugang:

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008