From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use.

E. Buchman, R. Guerraoui, J. Komatovic, Z. Milosevic, D. Seredinschi, и J. Widder. DSN (Supplements), стр. 11-14. IEEE, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Dieter Josef

Reinhold Josef

Ellen Widder

Bernhard Widder

Stefan Widder

Другие публикации лиц с тем же именем

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability.I. Konnov, H. Veith, и J. Widder. Inf. Comput., (2017)Brief announcement: full reversal routing as a linear dynamical system.B. Charron-Bost, M. Függer, J. Welch, и J. Widder. SPAA, стр. 129-130. ACM, (2011)Efficient Checking of Link-Reversal-Based Concurrent Systems.M. Függer, и J. Widder. CONCUR, том 7454 из Lecture Notes in Computer Science, стр. 486-499. Springer, (2012)Partial is Full.B. Charron-Bost, M. Függer, J. Welch, и J. Widder. SIROCCO, том 6796 из Lecture Notes in Computer Science, стр. 113-124. Springer, (2011)Full Reversal Routing as a Linear Dynamical System.B. Charron-Bost, M. Függer, J. Welch, и J. Widder. SIROCCO, том 6796 из Lecture Notes in Computer Science, стр. 101-112. Springer, (2011)Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms.A. Gmeiner, I. Konnov, U. Schmid, H. Veith, и J. Widder. SFM, том 8483 из Lecture Notes in Computer Science, стр. 122-171. Springer, (2014)Reachability in Parameterized Systems: All Flavors of Threshold Automata.J. Kukovec, I. Konnov, и J. Widder. CONCUR, том 118 из LIPIcs, стр. 19:1-19:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Eliminating Message Counters in Threshold Automata.I. Stoilkovska, I. Konnov, J. Widder, и F. Zuleger. ATVA, том 12302 из Lecture Notes in Computer Science, стр. 196-212. Springer, (2020)Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use.E. Buchman, R. Guerraoui, J. Komatovic, Z. Milosevic, D. Seredinschi, и J. Widder. DSN (Supplements), стр. 11-14. IEEE, (2022)Brief Announcement: Holistic Verification of Blockchain Consensus.N. Bertrand, V. Gramoli, I. Konnov, M. Lazic, P. Tholoniat, и J. Widder. PODC, стр. 424-426. ACM, (2022)

BibSonomy

Disambiguation