direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications Tim Jungnickel

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

Link to publication 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

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions