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

Link to publication [5] Download Bibtex entry [6]

2017

HotPi: Open-Source Collaborative Patient Documentation [7]

Jungnickel, Tim and Cabello, Juan and Raile, Klemens

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

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

formic: Building Collaborative Applications with Operational Transformation [10]

Jungnickel, Tim and Bräunlich, Ronny

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

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

Pluto: The CRDT-Driven IMAP Server [13]

Jungnickel, Tim and Oldenburg, Lennart

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

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

The IMAP CmRDT [16]

Tim Jungnickel and Lennart Oldenburg and Matthias Loibl

Archive of Formal Proofs 2017

Link to publication [17] Download Bibtex entry [18]

2016

A Constructive Proof for FLP [19]

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 [20] Download Bibtex entry [21]

A Constructive Proof for FLP [22]

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

Link to publication Download Bibtex entry [23]

Simultaneous Editing of JSON Objects via Operational Transformation [24]

Jungnickel, Tim and Herb, Tobias

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

Link to publication [25] Download Bibtex entry [26]

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

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 [28] Download Bibtex entry [29]

2015

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

Tim Jungnickel and Tobias Herb

Technical Report. arxiv.org. 2015

Link to publication [31] Download Bibtex entry [32]

------ 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=16240342&cHash=f33b7cb02
9ef8d9bbe8a45aa5db53148

[5] https://drops.dagstuhl.de/opus/volltexte/2018/8645/

[6] 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=162403
42&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%3
A731720

[7] 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=16240330&cHash=d232876a5
adabd780cbe46ac5a1479b1

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

[9] 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=162403
30&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%3
A731720

[10] 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=16240329&cHash=1ba64432
ea3390430586037c1aa851ec

[11] https://link.springer.com/chapter/10.1007/978-3-31
9-59665-5_10

[12] 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=16240
329&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[13] 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=16240333&cHash=48d1a4a6
690f1416fa3d5a985326faa1

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

[15] 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=16240
333&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[16] 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=16240336&cHash=52f9d420
5b66d3e3ea541c819ec43bb4

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

[18] 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=16240
336&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[19] 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=16240298&cHash=3a1e9e12
3c9dae24eccb8e4a84ba8b16

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

[21] 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=16240
298&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[22] 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=16240299&cHash=b5f88e84
aa3a93da21d60f5b6b5d6fdc

[23] 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=16240
299&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[24] 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=16240318&cHash=a59a1905
14bd0c1220676ac843575767

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

[26] 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=16240
318&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[27] 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=16240322&cHash=c03c999f
e91ef714f96070cff9d0c71a

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

[29] 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=16240
322&tx_sibibtex_pi1%5Bcontentelement%5D=tt_content%
3A731720

[30] 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=16240297&cHash=4be4574d
73e31262f2c20a82be4870c5

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

[32] 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=16240
297&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

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

formic: Building Collaborative Applications with Operational Transformation [10]

Pluto: The CRDT-Driven IMAP Server [13]

The IMAP CmRDT [16]

2016

A Constructive Proof for FLP [19]

A Constructive Proof for FLP [22]

Simultaneous Editing of JSON Objects via Operational Transformation [24]

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

2015

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

Zusatzinformationen / Extras

Quick Access:

Auxiliary Functions

Suchfunktion

Kontakt, Inhaltsverzeichnis und weitere Service-Links

TUB-Login

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

formic: Building Collaborative Applications with Operational Transformation [10]

Pluto: The CRDT-Driven IMAP Server [13]

The IMAP CmRDT [16]

2016

A Constructive Proof for FLP [19]

A Constructive Proof for FLP [22]

Simultaneous Editing of JSON Objects via Operational Transformation [24]

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

2015

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

Zusatzinformationen / Extras

Quick Access:

Auxiliary Functions