direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen Tim Jungnickel

Sortieren nach: Autor  Jahr  Journal

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 zur Publikation Download Bibtex Eintrag

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 zur Publikation Download Bibtex Eintrag

Simultaneous Editing of JSON Objects via Operational Transformation

Jungnickel, Tim and Herb, Tobias

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

Link zur Publikation Download Bibtex Eintrag

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 zur Publikation Download Bibtex Eintrag

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 Eintrag

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, 23:1–23:17. 2018

Download Bibtex Eintrag

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 Eintrag

A

The IMAP CmRDT

Tim Jungnickel and Lennart Oldenburg and Matthias Loibl

Archive of Formal Proofs 2017

Link zur Publikation Download Bibtex Eintrag

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 zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang:

Schnellnavigation zur Seite über Nummerneingabe

Hilfsfunktionen