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

2016

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

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

2015


Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions