Tight bounds on the round complexity of distributed 1-solvable tasks

The decidability of distributed decision tasks (extended abstract)

STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing

The unified structure of consensus: a layered analysis approach

PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing

Lower Bounds in Distributed Computing

DISC '00 Proceedings of the 14th International Conference on Distributed Computing

Hundreds of impossibility results for distributed computing

Distributed Computing - Papers in celebration of the 20th anniversary of PODC

Strongly terminating early-stopping k-set agreement in synchronous systems with general omission failures

SIROCCO'06 Proceedings of the 13th international conference on Structural Information and Communication Complexity