Page Content

Publications Tim Jungnickel

Order by: Author [1] Year [2] Journal [3]

2018

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

Jungnickel, Tim and Oldenburg, Lennart and Loibl, Matthias

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

Download Bibtex entry [5]

2017

HotPi: Open-Source Collaborative Patient Documentation [6]

Jungnickel, Tim and Cabello, Juan and Raile, Klemens

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

Link to publication [7] Download Bibtex entry [8]

Pluto: The CRDT-Driven IMAP Server [9]

Jungnickel, Tim and Oldenburg, Lennart

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

Link to publication [10] Download Bibtex entry [11]

formic: Building Collaborative Applications with Operational Transformation [12]

Jungnickel, Tim and Bräunlich, Ronny

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

Download Bibtex entry [13]

The IMAP CmRDT [14]

Tim Jungnickel and Lennart Oldenburg and Matthias Loibl

Archive of Formal Proofs 2017

Link to publication [15] Download Bibtex entry [16]

2016

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

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 [18] Download Bibtex entry [19]

Simultaneous Editing of JSON Objects via Operational Transformation [20]

Jungnickel, Tim and Herb, Tobias

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

Link to publication [21] Download Bibtex entry [22]

A Constructive Proof for FLP [23]

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 [24] Download Bibtex entry [25]

A Constructive Proof for FLP [26]

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 [27]

2015

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

Tim Jungnickel and Tobias Herb

Technical Report. arxiv.org. 2015

Link to publication [29] Download Bibtex entry [30]

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

[1] https://www.dos.tu-berlin.de/menue/people/jungnicke
l_tim/publications/parameter/en/font4/maxhilfe/?cHash=4
13cb5ef8b576cd275eb351e1e716d07&type=1&tx_sibib
tex_pi1%5Bsort%5D=author%3A0

[2] https://www.dos.tu-berlin.de/menue/people/jungnicke
l_tim/publications/parameter/en/font4/maxhilfe/?cHash=d
75b0aa9fcdf8f54c777ed47cc0b3721&type=1&tx_sibib
tex_pi1%5Bsort%5D=year%3A0

[3] https://www.dos.tu-berlin.de/menue/people/jungnicke
l_tim/publications/parameter/en/font4/maxhilfe/?cHash=4
3988b161b5eb3fadb1b5a3174fec200&type=1&tx_sibib
tex_pi1%5Bsort%5D=journal%3A0

[4] https://www.dos.tu-berlin.de/menue/people/jungnicke
l_tim/publications/parameter/en/font4/maxhilfe/?tx_sibi
btex_pi1%5Bcontentelement%5D=tt_content%3A731720&tx
_sibibtex_pi1%5BshowUid%5D=10463026&cHash=d7c5a78c4
f71c10555baf1c0652f3dde

[5] https://www.dos.tu-berlin.de/menue/people/jungnicke
l_tim/publications/parameter/en/font4/maxhilfe/?no_cach
e=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=104630
26&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%3
A731720

[6] https://www.dos.tu-berlin.de/menue/people/jungnicke
l_tim/publications/parameter/en/font4/maxhilfe/?tx_sibi
btex_pi1%5Bcontentelement%5D=tt_content%3A731720&tx
_sibibtex_pi1%5BshowUid%5D=10462990&cHash=bc0f94190
c99829a291e82542014a732

[7] http://www.redaktion.tu-berlin.de/fileadmin/a343315
00/paper/cscw17-jungnickel.pdf

[8] https://www.dos.tu-berlin.de/menue/people/jungnicke
l_tim/publications/parameter/en/font4/maxhilfe/?no_cach
e=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=104629
90&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%3
A731720

[9] https://www.dos.tu-berlin.de/menue/people/jungnicke
l_tim/publications/parameter/en/font4/maxhilfe/?tx_sibi
btex_pi1%5Bcontentelement%5D=tt_content%3A731720&tx
_sibibtex_pi1%5BshowUid%5D=10463024&cHash=c16bf5d31
1428b17ee5a69919206d92b

[10] http://www.redaktion.tu-berlin.de/fileadmin/a34331
500/paper/papoc17-jungnickel.pdf

[11] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?no_cac
he=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10463
024&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[12] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?tx_sib
ibtex_pi1%5Bcontentelement%5D=tt_content%3A731720&t
x_sibibtex_pi1%5BshowUid%5D=10463025&cHash=a7d12932
f9739765161bada067fb4c50

[13] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?no_cac
he=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10463
025&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[14] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?tx_sib
ibtex_pi1%5Bcontentelement%5D=tt_content%3A731720&t
x_sibibtex_pi1%5BshowUid%5D=10463027&cHash=34c37b6b
f7d0828ce465f4d7dffacaec

[15] http://isa-afp.org/entries/IMAP-CRDT.html

[16] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?no_cac
he=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10463
027&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[17] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?tx_sib
ibtex_pi1%5Bcontentelement%5D=tt_content%3A731720&t
x_sibibtex_pi1%5BshowUid%5D=10462991&cHash=997e3904
e971c652a872eb1eb528171e

[18] http://www.redaktion.tu-berlin.de/fileadmin/a34331
500/paper/papoc16-herb.pdf

[19] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?no_cac
he=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10462
991&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[20] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?tx_sib
ibtex_pi1%5Bcontentelement%5D=tt_content%3A731720&t
x_sibibtex_pi1%5BshowUid%5D=10463023&cHash=4371a22b
c38c703f205401484a45aa92

[21] http://www.redaktion.tu-berlin.de/fileadmin/a34331
500/paper/sac16-jungnickel.pdf

[22] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?no_cac
he=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10463
023&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[23] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?tx_sib
ibtex_pi1%5Bcontentelement%5D=tt_content%3A731720&t
x_sibibtex_pi1%5BshowUid%5D=10462907&cHash=11fe838a
1f63846c6bd9fd66176e9df9

[24] http://afp.sourceforge.net/entries/FLP.shtml

[25] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?no_cac
he=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10462
907&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[26] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?tx_sib
ibtex_pi1%5Bcontentelement%5D=tt_content%3A731720&t
x_sibibtex_pi1%5BshowUid%5D=10462908&cHash=00936c51
0f095f1b55c0e44a2531f9af

[27] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?no_cac
he=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10462
908&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[28] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?tx_sib
ibtex_pi1%5Bcontentelement%5D=tt_content%3A731720&t
x_sibibtex_pi1%5BshowUid%5D=10463028&cHash=cb5869cb
527140ad88b42b13c6852e95

[29] http://arxiv.org/abs/1512.05949

[30] https://www.dos.tu-berlin.de/menue/people/jungnick
el_tim/publications/parameter/en/font4/maxhilfe/?no_cac
he=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10463
028&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Font size:

minimize aux. functions

Kontakt, Inhaltsverzeichnis und weitere Service-Links

Zielgruppennavigation

Haupt-Navigation

Page Content

Publications Tim Jungnickel

2018

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

2017

HotPi: Open-Source Collaborative Patient Documentation [6]

Pluto: The CRDT-Driven IMAP Server [9]

formic: Building Collaborative Applications with Operational Transformation [12]

The IMAP CmRDT [14]

2016

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

Simultaneous Editing of JSON Objects via Operational Transformation [20]

A Constructive Proof for FLP [23]

A Constructive Proof for FLP [26]

2015

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

Zusatzinformationen / Extras

Quick Access:

Auxiliary Functions

Suchfunktion

Kontakt, Inhaltsverzeichnis und weitere Service-Links

TUB-Login

Zielgruppennavigation

Haupt-Navigation

Page Content

Publications Tim Jungnickel

2018

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

2017

HotPi: Open-Source Collaborative Patient Documentation [6]

Pluto: The CRDT-Driven IMAP Server [9]

formic: Building Collaborative Applications with Operational Transformation [12]

The IMAP CmRDT [14]

2016

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

Simultaneous Editing of JSON Objects via Operational Transformation [20]

A Constructive Proof for FLP [23]

A Constructive Proof for FLP [26]

2015

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

Zusatzinformationen / Extras

Quick Access:

Auxiliary Functions