direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Tim Jungnickel

2017

HotPi: Open-Source Collaborative Patient Documentation

Jungnickel, Tim and Cabello, Juan and Raile, Klemens

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

Link to publication Download Bibtex entry

Pluto: The CRDT-Driven IMAP Server

Jungnickel, Tim and Oldenburg, Lennart

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

Link to publication Download Bibtex entry

formic: Building Collaborative Applications with Operational Transformation

Jungnickel, Tim and Bräunlich, Ronny

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

Download Bibtex entry

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

Jungnickel, Tim and Oldenburg, Lennart and Loibl, Matthias

International Conference on Principles of Distributed Systems. LIPIcs, to appear. 2017

Download Bibtex entry

The IMAP CmRDT

Tim Jungnickel and Lennart Oldenburg and Matthias Loibl

Archive of Formal Proofs 2017

Link to publication Download Bibtex entry

2016

Simultaneous Editing of JSON Objects via Operational Transformation

Jungnickel, Tim and Herb, Tobias

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

Link to publication Download Bibtex entry

A Constructive Proof for FLP

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 to publication Download Bibtex entry

A Constructive Proof for FLP

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 entry

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

Herb, Tobias and Jungnickel, Tim and Alt, Christoph

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

Link to publication Download Bibtex entry

2015


Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions