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.

 

Other publications of authors with the same name

Agent-Time Epistemics and Coordination., and . ICLA, volume 7750 of Lecture Notes in Computer Science, page 97-108. Springer, (2013)A Program Refinement Framework Supporting Reasoning about Knowledge and Time., , and . FoSSaCS, volume 1784 of Lecture Notes in Computer Science, page 114-129. Springer, (2000)Resource-bounded Knowledge.. TARK, page 261-275. Morgan Kaufmann, (1988)Continuous consensus via common knowledge., and . TARK, page 236-252. National University of Singapore, (2005)Top-Down Considerations on Distributed Computing., and . DISC, volume 1499 of Lecture Notes in Computer Science, page 16-19. Springer, (1998)No Double Discount: Condition-Based Simultaneity Yields Limited Gain., and . DISC, volume 5218 of Lecture Notes in Computer Science, page 423-437. Springer, (2008)On Refinement and Temporal Annotations., and . FTRTFT, volume 1926 of Lecture Notes in Computer Science, page 185-201. Springer, (2000)Probabilistic Multi-view Correspondence in a Distributed Setting with No Central Server., , and . ECCV (4), volume 3024 of Lecture Notes in Computer Science, page 428-441. Springer, (2004)Fully polynomial Byzantine agreement in t+1 rounds., and . STOC, page 31-41. ACM, (1993)Knowledge and Common Knowledge in a Distributed Environment., and . PODC, page 50-61. ACM, (1984)