The Rachel and Selim Benin School of Engineering and Computer Science

Filter
Conference contribution

Search results

  • 1983

    REACHING APPROXIMATTE AGREEMENT IN THE PRESENCE OF FAULTS.

    Dolev, D., Lynch, N. A., Pinter, S. S., Stark, E. W. & Weihl, W. E., 1983, Proceedings - Symposium on Reliability in Distributed Software and Database Systems. IEEE, p. 145-154 10 p. (Proceedings - Symposium on Reliability in Distributed Software and Database Systems).

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

    44 Scopus citations
  • Reasoning with time and chance: Extended abstract

    Lehmann, D. & Shelah, S., 1983, Automata, Languages and Programming - 10th Colloquium. Diaz, J. (ed.). Springer Verlag, p. 445-457 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 154 LNCS).

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

    4 Scopus citations
  • SUPERCONCENTRATORS, GENERALIZERS AND GENERALIZED CONNECTORS WITH LIMITED DEPTH.

    Dolev, D., Dwork, C., Pippenger, N. & Wigderson, A., 1983, Conference Proceedings of the Annual ACM Symposium on Theory of Computing. ACM (Order n 508830), p. 42-51 10 p. (Conference Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    56 Scopus citations
  • Symmetric and economical solutions to the mutual exclusion problem in a distributed system: Extended abstract

    Cohen, S., Lehmann, D. & Pnueli, A., 1983, Automata, Languages and Programming - 10th Colloquium. Diaz, J. (ed.). Springer Verlag, p. 128-136 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 154 LNCS).

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

    3 Scopus citations
  • TRADE-OFFS BETWEEN DEPTH AND WIDTH IN PARALLEL COMPUTATION.

    Vishkin, U. & Wigderson, A., 1983, Annual Symposium on Foundations of Computer Science (Proceedings). IEEE, p. 146-153 8 p. (Annual Symposium on Foundations of Computer Science (Proceedings)).

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

    4 Scopus citations
  • 1982

    BOUNDS ON INFORMATION EXCHANGE FOR BYZANTINE AGREEMENT.

    Dolev, D. & Reischuk, R., 1982, Unknown Host Publication Title. ACM, p. 132-140 9 p.

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

    11 Scopus citations
  • Compatible attributes in a universal relation

    Beeri, C. & Korth, H. F., 29 Mar 1982, Proceedings of the 1st ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, PODS 1982. Association for Computing Machinery, p. 55-62 8 p. (Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems).

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

    14 Scopus citations
  • Dynamic systems and their distributed termination

    Cohen, S. & Lehmann, D., 18 Aug 1982, Proceedings of the 1st ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 1982. Association for Computing Machinery, p. 29-33 5 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    3 Scopus citations
  • DYNAMIC SYSTEMS AND THEIR DISTRIBUTED TERMINATION.

    Cohen, S. & Lehmann, D., 1982, Unknown Host Publication Title. ACM, p. 29-33 5 p.

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

    23 Scopus citations
  • FINDING SAFE PATHS IN A FAULTY ENVIRONMENT.

    Dolev, D., Meseguer, J. & Pease, M. C., 1982, Unknown Host Publication Title. ACM, p. 95-103 9 p.

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

    1 Scopus citations
  • INTERACTIVE SIMULATION OF A FORGING PROCESS FOR BLADES.

    Shahaf, M., Bercovier, M. & Guez, D., 1982, Unknown Host Publication Title. Wales, p. 343-350 8 p.

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

    2 Scopus citations
  • REQUIREMENTS FOR AGREEMENT IN A DISTRIBUTED SYSTEM.

    Dolev, D. & Strong, H. R., 1982, Unknown Host Publication Title. North-Holland Publ Co, p. 115-129 15 p.

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

    16 Scopus citations
  • SYNCHRONIZATION OF MULTI-AGENT PLANS.

    Rosenschein, J. S., 1982, Unknown Host Publication Title. p. 115-119 5 p.

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

    41 Scopus citations
  • 1981

    Impartiality, justice and fairness: The ethics of concurrent termination

    Lehmann, D., Pnueli, A. & Stavi, J., 1981, Automata, Languages and Programming - 8th Colloquium. Even, S. & Kariv, O. (eds.). Springer Verlag, p. 264-277 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 115 LNCS).

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

    195 Scopus citations
  • On the advantages of free choice: A symmetric and fully distributed solution to the dining philosophers problem

    Lehmann, D. & Rabin, M. O., 26 Jan 1981, Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1981. Association for Computing Machinery, p. 133-138 6 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

    154 Scopus citations
  • Properties of acyclic database schemes

    Beeri, C., Fagin, R., Maier, D., Mendelzon, A., Ullman, J. & Yannakakis, M., 11 May 1981, Conference Proceedings of the 13th Annual ACM Symposium on Theory of Computing, STOC 1981. Association for Computing Machinery, p. 355-362 8 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    96 Scopus citations
  • The implication problem for data dependencies

    Beeri, C. & Vardi, M. Y., 1981, Automata, Languages and Programming - 8th Colloquium. Even, S. & Kariv, O. (eds.). Springer Verlag, p. 73-85 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 115 LNCS).

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

    Open Access
    195 Scopus citations
  • 1974

    Checking stacks and context-free programmed grammars accept p-complete languages

    Shamir, E. & Beeri, C., 1974, Automata, Languages and Programming - 2nd Colloquium. Loeckx, J. (ed.). Springer Verlag, p. 27-33 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14 LNCS).

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

    10 Scopus citations