Nir Shavit

Professor

1986 …2023

Research activity per year

Search results

  • 1991

    Optimal time randomized consensus - Making resilient algorithms fast in practice

    Saks, M., Shavit, N. & Woll, H., 1 Mar 1991, Proceedings of the 2nd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1991. Association for Computing Machinery, p. 351-362 12 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    67 Scopus citations
  • 1990

    Atomic snapshots of shared memory

    Afek, Y., Attiya, H., Dolev, D., Gafni, E., Merritt, M. & Shavit, N., 1990, p. 1-13. 13 p.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
    57 Scopus citations
  • 1989

    Bounded concurrent time-stamp systems are constructible

    Dolev, D. & Shavit, N., 1989, Proc Twenty First Annu ACM Symp Theory Comput. Association for Computing Machinery (ACM), p. 454-466 13 p. (Proc Twenty First Annu ACM Symp Theory Comput).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    35 Scopus citations
  • Bounded polynomial randomized consensus

    Attiya, H., Dolev, D. & Shavit, N., 1989, Proc Eighth ACM Symp Princ Distrib Comput. Association for Computing Machinery (ACM), p. 281-293 13 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    33 Scopus citations
  • Polynomial end-to-end communication

    Awerbuch, B., Mansour, Y. & Shavit, N., 1989, Annual Symposium on Foundations of Computer Science (Proceedings). Publ by IEEE, p. 358-363 6 p. (Annual Symposium on Foundations of Computer Science (Proceedings)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    34 Scopus citations
  • 1988

    Toward a non-atomic era: ℓ-Exclusion as a test case

    Dolev, D., Gafni, E. & Shavit, N., 1988, Proceedings of the 20th Annual ACM Symposium on Theory of Computing, STOC 1988. Association for Computing Machinery, p. 78-92 15 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    28 Scopus citations
  • 1986

    A new approach to detection of locally indicative stability

    Shavit, N. & Francez, N., 1986, Automata, Languages and Programming - 13th International Colloquium, Proceedings. Kott, L. (ed.). Springer Verlag, p. 344-358 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 226 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    31 Scopus citations