Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems. - Ido Ben-Zvi; Yoram Moses (DISC, 2010)

Known unknowns: time bounds and knowledge of ignorance. - Ido Ben-Zvi; Yoram Moses (TARK, 2011)

Causality, Knowledge and Coordination in Distributed Systems - Ido Ben-Zvi (CoRR, 2011)

On interactive knowledge with bounded communication. - Ido Ben-Zvi; Yoram Moses (J. Appl. Non Class. Logics, 2011)

Agent-Time Epistemics and Coordination. - Ido Ben-Zvi; Yoram Moses (ICLA, 2013)

The Shape of Reactive Coordination Tasks. - Ido Ben-Zvi; Yoram Moses (TARK, 2013)

Beyond Lamport's Happened-before: On Time Bounds and the Ordering of Events in Distributed Systems. - Ido Ben-Zvi; Yoram Moses (J. ACM, 2014)