Inhalt des Dokuments

Publikationen Tim Jungnickel

Sortieren nach: Autor [1] Jahr [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 Eintrag [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 zur Publikation [7] Download Bibtex Eintrag [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 zur Publikation [10] Download Bibtex Eintrag [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 Eintrag [13]

The IMAP CmRDT [14]

Tim Jungnickel and Lennart Oldenburg and Matthias Loibl

Archive of Formal Proofs 2017

Link zur Publikation [15] Download Bibtex Eintrag [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 zur Publikation [18] Download Bibtex Eintrag [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 zur Publikation [21] Download Bibtex Eintrag [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 zur Publikation [24] Download Bibtex Eintrag [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 Eintrag [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 zur Publikation [29] Download Bibtex Eintrag [30]

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

[1] https://www.dos.tu-berlin.de/menue/personen/jungnic
kel_tim/publikationen/parameter/de/font5/minhilfe/?cHas
h=363560551555d4d5b4ab9ee3e8896201&type=1&tx_si
bibtex_pi1%5Bsort%5D=author%3A0

[2] https://www.dos.tu-berlin.de/menue/personen/jungnic
kel_tim/publikationen/parameter/de/font5/minhilfe/?cHas
h=f5727c091503c2d592a8407c4f073457&type=1&tx_si
bibtex_pi1%5Bsort%5D=year%3A0

[3] https://www.dos.tu-berlin.de/menue/personen/jungnic
kel_tim/publikationen/parameter/de/font5/minhilfe/?cHas
h=682a039982a0b59da601e7a14e4ce076&type=1&tx_si
bibtex_pi1%5Bsort%5D=journal%3A0

[4] https://www.dos.tu-berlin.de/menue/personen/jungnic
kel_tim/publikationen/parameter/de/font5/minhilfe/?tx_s
ibibtex_pi1%5Bcontentelement%5D=tt_content%3A731719&
;tx_sibibtex_pi1%5BshowUid%5D=10609777&cHash=dd15df
d77edf7777a3eea829f10cc568

[5] https://www.dos.tu-berlin.de/menue/personen/jungnic
kel_tim/publikationen/parameter/de/font5/minhilfe/?no_c
ache=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=106
09777&tx_sibibtex_pi1%5Bcontentelement%5D=tt_conten
t%3A731719

[6] https://www.dos.tu-berlin.de/menue/personen/jungnic
kel_tim/publikationen/parameter/de/font5/minhilfe/?tx_s
ibibtex_pi1%5Bcontentelement%5D=tt_content%3A731719&
;tx_sibibtex_pi1%5BshowUid%5D=10609741&cHash=dd71a1
0693c87a10c9c098929f1221a4

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

[8] https://www.dos.tu-berlin.de/menue/personen/jungnic
kel_tim/publikationen/parameter/de/font5/minhilfe/?no_c
ache=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=106
09741&tx_sibibtex_pi1%5Bcontentelement%5D=tt_conten
t%3A731719

[9] https://www.dos.tu-berlin.de/menue/personen/jungnic
kel_tim/publikationen/parameter/de/font5/minhilfe/?tx_s
ibibtex_pi1%5Bcontentelement%5D=tt_content%3A731719&
;tx_sibibtex_pi1%5BshowUid%5D=10609775&cHash=f74792
f1ca5e7b5163e08a7e2deb6e5d

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

[11] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?no_
cache=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10
609775&tx_sibibtex_pi1%5Bcontentelement%5D=tt_conte
nt%3A731719

[12] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?tx_
sibibtex_pi1%5Bcontentelement%5D=tt_content%3A731719&am
p;tx_sibibtex_pi1%5BshowUid%5D=10609776&cHash=9ebbe
56555e1df05a8ed7bc3c938b281

[13] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?no_
cache=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10
609776&tx_sibibtex_pi1%5Bcontentelement%5D=tt_conte
nt%3A731719

[14] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?tx_
sibibtex_pi1%5Bcontentelement%5D=tt_content%3A731719&am
p;tx_sibibtex_pi1%5BshowUid%5D=10609778&cHash=de992
5f94987ba39d0456a30ccec31e0

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

[16] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?no_
cache=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10
609778&tx_sibibtex_pi1%5Bcontentelement%5D=tt_conte
nt%3A731719

[17] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?tx_
sibibtex_pi1%5Bcontentelement%5D=tt_content%3A731719&am
p;tx_sibibtex_pi1%5BshowUid%5D=10609742&cHash=b60a0
ad09e941e6982d437910b853ed9

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

[19] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?no_
cache=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10
609742&tx_sibibtex_pi1%5Bcontentelement%5D=tt_conte
nt%3A731719

[20] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?tx_
sibibtex_pi1%5Bcontentelement%5D=tt_content%3A731719&am
p;tx_sibibtex_pi1%5BshowUid%5D=10609774&cHash=92348
d61b16e1b8de9859c71d756b3fa

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

[22] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?no_
cache=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10
609774&tx_sibibtex_pi1%5Bcontentelement%5D=tt_conte
nt%3A731719

[23] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?tx_
sibibtex_pi1%5Bcontentelement%5D=tt_content%3A731719&am
p;tx_sibibtex_pi1%5BshowUid%5D=10609658&cHash=cc550
0b3bc4d8187aeb41141221cfd56

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

[25] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?no_
cache=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10
609658&tx_sibibtex_pi1%5Bcontentelement%5D=tt_conte
nt%3A731719

[26] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?tx_
sibibtex_pi1%5Bcontentelement%5D=tt_content%3A731719&am
p;tx_sibibtex_pi1%5BshowUid%5D=10609659&cHash=4530d
dcba8bf48de837e0ac20b0900b8

[27] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?no_
cache=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10
609659&tx_sibibtex_pi1%5Bcontentelement%5D=tt_conte
nt%3A731719

[28] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?tx_
sibibtex_pi1%5Bcontentelement%5D=tt_content%3A731719&am
p;tx_sibibtex_pi1%5BshowUid%5D=10609779&cHash=8dbb8
9768f2d463157771db0e883278a

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

[30] https://www.dos.tu-berlin.de/menue/personen/jungni
ckel_tim/publikationen/parameter/de/font5/minhilfe/?no_
cache=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D=10
609779&tx_sibibtex_pi1%5Bcontentelement%5D=tt_conte
nt%3A731719

Kontakt, Inhaltsverzeichnis und weitere Service-Links

Zielgruppennavigation

Haupt-Navigation

Inhalt des Dokuments

Publikationen 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

Direktzugang:

Hilfsfunktionen

Suchfunktion

Kontakt, Inhaltsverzeichnis und weitere Service-Links

TUB-Login

Zielgruppennavigation

Haupt-Navigation

Inhalt des Dokuments

Publikationen 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

Direktzugang:

Hilfsfunktionen