Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Keidar, Idit
add a person with the name Keidar, Idit
 

Other publications of authors with the same name

ACM SIGACT news distributed computing column 35: theory and practice in large distributed systems.. SIGACT News, 40 (3): 77 (2009)Distributed computing column 37: reconfiguring state machines ... and the history of common knowledge.. SIGACT News, 41 (1): 57 (2010)ACM SIGACT news distributed computing column 33: teaching concurrency.. SIGACT News, 40 (1): 45-46 (2009)Distributed computing column 42: game theory and fault tolerance in distributed computing.. SIGACT News, 42 (2): 68 (2011)Distributed computing column 36 distributed computing: 2009 edition.. SIGACT News, 40 (4): 64-67 (2009)Distributed Computing Column 38: Models for algorithm design in wireless networks.. SIGACT News, 41 (2): 73 (2010)An inheritance-based technique for building simulation proofs incrementally., , , and . ICSE, page 478-487. ACM, (2000)On Liveness of Dynamic Storage., and . SIROCCO, volume 10641 of Lecture Notes in Computer Science, page 356-376. Springer, (2017)Space Bounds for Reliable Storage: Fundamental Limits of Coding (Keynote)., , , and . OPODIS, volume 46 of LIPIcs, page 4:1-4:3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)FairLedger: A Fair Blockchain Protocol for Financial Institutions., , , and . OPODIS, volume 153 of LIPIcs, page 4:1-4:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)