Filter
Conference contribution

Search results

  • 2018

    SAT-based big-step local search

    Muslimany, M. & Codish, M., 1 Sep 2018, Proceedings - 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018. Institute of Electrical and Electronics Engineers, p. 109-116 8 p. 8750736. (Proceedings - 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018).

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

  • Self-stabilizing Byzantine Tolerant Replicated State Machine Based on Failure Detectors

    Dolev, S., Georgiou, C., Marcoullis, I. & Schiller, E. M., 1 Jan 2018, Cyber Security Cryptography and Machine Learning - Second International Symposium, CSCML 2018, Proceedings. Dinur, I., Dolev, S. & Lodha, S. (eds.). Springer Verlag, p. 84-100 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10879 LNCS).

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

    9 Scopus citations
  • Separating lock-freedom from wait-freedom

    Attiya, H., Hendler, D., Castañeda, A. & Perrin, M., 23 Jul 2018, PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 41-50 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    Open Access
    3 Scopus citations
  • Sherali-Adams integrality gaps matching the log-density threshold

    Chlamtác, E. & Manurangsi, P., 1 Aug 2018, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 21st International Workshop, APPROX 2018, and 22nd International Workshop, RANDOM 2018. Blais, E., Rolim, J. D. P., Steurer, D. & Jansen, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 116).

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

    5 Scopus citations
  • Si o no, què penses? Catalonian Independence and Linguistic Identity on Social Media

    Stewart, I., Pinter, Y. & Eisenstein, J., 2018, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Vol. 2. p. 136-141

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

  • Software engineering lab- A n essential component of a software engineering curriculum

    Balaban, M. & Sturm, A., 27 May 2018, Proceedings 2018 ACM/IEEE 40th International Conference on Software Engineering: Software Engineering Education and Training, ICSE-SEET 2018. Institute of Electrical and Electronics Engineers, p. 21-30 10 p. (Proceedings - International Conference on Software Engineering).

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

    9 Scopus citations
  • Steiner point removal with distortion O(log k)

    Filtser, A., 1 Jan 2018, 29th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018. Czumaj, A. (ed.). Association for Computing Machinery, p. 1361-1373 13 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

    Open Access
    11 Scopus citations
  • Sub-exponential time parameterized algorithms for graph layout problems on digraphs with bounded independence number

    Misra, P., Saurabh, S., Sharma, R. & Zehavi, M., 1 Dec 2018, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018. Ganguly, S. & Pandya, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 35. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 122).

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

    1 Scopus citations
  • Subquadratic kernels for implicit 3-hitting set and 3-set packing problems

    Le, T. N., Lokshtanov, D., Saurabh, S., Thomassé, S. & Zehavi, M., 1 Jan 2018, 29th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018. Czumaj, A. (ed.). Association for Computing Machinery, p. 331-342 12 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

    Open Access
    10 Scopus citations
  • Synthesizing versus Augmentation for Arabic Word Recognition with Convolutional Neural Networks

    Alaasam, R., Barakat, B. K. & El-Sana, J., 2 Oct 2018, 2nd IEEE International Workshop on Arabic and Derived Script Analysis and Recognition, ASAR 2018. Institute of Electrical and Electronics Engineers, p. 114-118 5 p. 8480189. (2nd IEEE International Workshop on Arabic and Derived Script Analysis and Recognition, ASAR 2018).

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

    3 Scopus citations
  • Temporal reasoning on incomplete paths

    Fisman, D. & Kugler, H., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 28-52 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11245 LNCS).

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

    6 Scopus citations
  • Text line segmentation for challenging handwritten document images using fully convolutional network

    Barakat, B., Droby, A., Kassis, M. & El-Sana, J., 5 Dec 2018, Proceedings - 2018 16th International Conference on Frontiers in Handwriting Recognition, ICFHR 2018. Institute of Electrical and Electronics Engineers, p. 374-379 6 p. 8583790. (Proceedings of International Conference on Frontiers in Handwriting Recognition, ICFHR; vol. 2018-August).

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

    Open Access
    36 Scopus citations
  • The complexity of multiparty PSM protocols and related models

    Beimel, A., Kushilevitz, E. & Nissim, P., 1 Jan 2018, Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2018 Proceedings. Nielsen, J. B. & Rijmen, V. (eds.). Springer Verlag, p. 287-318 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10821 LNCS).

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

    15 Scopus citations
  • The parameterized complexity of cycle packing: Indifference is not an issue

    Krithika, R., Sahu, A., Saurabh, S. & Zehavi, M., 1 Jan 2018, LATIN 2018: Theoretical Informatics - 13th Latin American Symposium, Proceedings. Mosteiro, M. A., Bender, M. A. & Farach-Colton, M. (eds.). Springer Verlag, p. 712-726 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10807 LNCS).

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

  • Tight bounds on online checkpointing algorithms

    Bar-On, A., Dinur, I., Hod, R., Dunkelman, O., Keller, N., Ronen, E. & Shamir, A., 1 Jul 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 107).

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

    1 Scopus citations
  • Tighter bounds on multi-party coin flipping via augmented weak martingales and differentially private sampling

    Beimel, A., Haitner, I., Makriyannis, N. & Omri, E., 30 Nov 2018, Proceedings - 59th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2018. Thorup, M. (ed.). Institute of Electrical and Electronics Engineers, p. 838-849 12 p. 8555162. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2018-October).

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

    Open Access
    15 Scopus citations
  • Towards Integration of Context-Based and Scenario-Based Development

    Elyasaf, A., Harel, D., Marron, A. & Weiss, G., 23 Jan 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Zschaler, S. & Seidl, M. (eds.). Springer Verlag, p. 225-231 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

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

    2 Scopus citations
  • User Preferences for socially acceptable person-following robots

    Olatunji, S., Sarne-Fleischmann, V., Honig, S., Zaichyk, H., Markovich, T., Oron-Gilad, T. & Edan, Y., 2018, Assistance and Service Robotics in a Human Environment: From Personal Mobility Aids to Rehabilitation-Oriented Robotics..

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

  • When rigging a tournament, let greediness blind you

    Gupta, S., Roy, S., Saurabh, S. & Zehavi, M., 1 Jan 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 275-281 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2018-July).

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

    Open Access
    13 Scopus citations
  • Winning a tournament by any means necessary

    Gupta, S., Roy, S., Saurabh, S. & Zehavi, M., 1 Jan 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 282-288 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2018-July).

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

    Open Access
    10 Scopus citations
  • Word spotting using convolutional siamese network

    Barakat, B. K., Alasam, R. & El-Sana, J., 22 Jun 2018, Proceedings - 13th IAPR International Workshop on Document Analysis Systems, DAS 2018. Institute of Electrical and Electronics Engineers, p. 229-234 6 p. (Proceedings - 13th IAPR International Workshop on Document Analysis Systems, DAS 2018).

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

    21 Scopus citations
  • 2017

    33rd International Symposium on Computational Geometry, SoCG 2017, July 4-7, 2017, Brisbane, Australia

    Aronov, B. & Katz, M. J. (ed.), 2017, Symposium on Computational Geometry. Vol. 77.

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

  • Adaptive Distributed Hierarchical Sensing algorithm for reduction of wireless sensor network cluster-heads energy consumption

    Oren, G., Barenboim, L. & Levin, H., 19 Jul 2017, 2017 13th International Wireless Communications and Mobile Computing Conference, IWCMC 2017. Institute of Electrical and Electronics Engineers, p. 980-986 7 p. 7986419. (2017 13th International Wireless Communications and Mobile Computing Conference, IWCMC 2017).

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

    Open Access
    7 Scopus citations
  • Ad hoc PSM protocols: Secure computation without coordination

    Beimel, A., Ishai, Y. & Kushilevitz, E., 1 Jan 2017, Advances in Cryptology – EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Coron, J-S. & Nielsen, J. B. (eds.). Springer Verlag, p. 580-608 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10212 LNCS).

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

    6 Scopus citations
  • Advanced flow models for computing the reputation of internet domains

    Othman, H., Gudes, E. & Gal-Oz, N., 1 Jan 2017, Trust Management XI - 11th IFIP WG 11.11 International Conference, IFIPTM 2017, Proceedings. Steghofer, J-P. & Esfandiari, B. (eds.). Springer New York LLC, p. 119-134 16 p. (IFIP Advances in Information and Communication Technology; vol. 505).

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

    Open Access
    2 Scopus citations
  • Alignment of Historical Handwritten Manuscripts Using Siamese Neural Network

    Kassis, M., Nassour, J. & El-Sana, J., 2 Jul 2017, Proceedings - 14th IAPR International Conference on Document Analysis and Recognition, ICDAR 2017. Institute of Electrical and Electronics Engineers, p. 293-298 6 p. (Proceedings of the International Conference on Document Analysis and Recognition, ICDAR; vol. 1).

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

    10 Scopus citations
  • Approximate nearest neighbor search amid higher-dimensional flats

    Agarwal, P. K., Rubin, N. & Sharir, M., 1 Sep 2017, 25th European Symposium on Algorithms, ESA 2017. Sohler, C., Sohler, C. & Pruhs, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 87).

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

    3 Scopus citations
  • Approximating spanners and directed steiner forest: Upper and lower bounds

    Chlamtáč, E., Dinitz, M., Kortsarz, G. & Laekhanukitx, B., 1 Jan 2017, 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017. Klein, P. N. (ed.). Association for Computing Machinery, p. 534-553 20 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 0).

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

    Open Access
    19 Scopus citations
  • Approximation algorithms for label cover and the log-density threshold

    Chlamtáč, E., Manurangsi, P., Moshkovitz, D. & Vijayaraghavan, A., 1 Jan 2017, 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017. Klein, P. N. (ed.). Association for Computing Machinery, p. 900-919 20 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 0).

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

    Open Access
    12 Scopus citations
  • A simple deterministic distributed MST algorithm, with near-optimal time and message complexities

    Elkin, M., 26 Jul 2017, PODC 2017 - Proceedings of the ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 157-163 7 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. Part F129314).

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

    Open Access
    28 Scopus citations
  • Assortative mixing equilibria in social network games

    Avin, C., Daltrophe, H., Lotker, Z. & Peleg, D., 1 Jan 2017, Game Theory for Networks - 7th International EAI Conference, GameNets 2017, Proceedings. Elazouzi, R., Chen, X., Duan, L., Sanjab, A., Materassi, D. & Li, H. (eds.). Springer Verlag, p. 29-39 11 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 212).

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

    Open Access
    1 Scopus citations
  • Average-case competitive ratio for evaluating scheduling algorithms of multi-user cache

    Dolev, S., Berend, D., Hassidim, A. & Kogan-Sadetsky, M., 29 Jun 2017, 2017 International Symposium on Cyber Security Cryptography and Machine Learning (CSCML 2017).

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

  • Balanced Judicious Partition is Fixed-Parameter Tractable

    Lokshtanov, D., Saurabh, S., Sharma, R. & Zehavi, M., 2017, Proc. of the 37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS’17). Vol. 40. p. 40-40:15

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    File
    38 Downloads (Pure)
  • Balanced line separators of unit disk graphs

    Carmi, P., Chiu, M. K., Katz, M. J., Korman, M., Okamoto, Y., Van Renssen, A., Roeloffzen, M., Shiitada, T. & Smorodinsky, S., 1 Jan 2017, Algorithms and Data Structures - 15th International Symposium, WADS 2017, Proceedings. Ellen, F., Kolokolova, A. & Sack, J-R. (eds.). Springer Verlag, p. 241-252 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10389 LNCS).

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

    Open Access
  • Blockchain abbreviation: Implemented by message passing and shared memory (Extended abstract)

    Amelchenko, M. & Dolev, S., 8 Dec 2017, 2017 IEEE 16th International Symposium on Network Computing and Applications, NCA 2017. Avresky, D. R., Gkoulalas-Divanis, A., Avresky, D. R. & Correia, M. P. (eds.). Institute of Electrical and Electronics Engineers, p. 1-7 7 p. (2017 IEEE 16th International Symposium on Network Computing and Applications, NCA 2017; vol. 2017-January).

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

    2 Scopus citations
  • Brief announcement: Secure self-stabilizing computation

    Dolev, S., Eldefrawy, K., Garay, J., Kumaramangalam, M. V., Ostrovsky, R. & Yung, M., 26 Jul 2017, PODC 2017 - Proceedings of the ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 415-417 3 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. Part F129314).

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

    5 Scopus citations
  • Broadcast encryption with both temporary and permanent revocation

    Brownstein, D., Dolev, S. & Gilboa, N., 1 Jan 2017, Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Proceedings. Tsigas, P. & Spirakis, P. (eds.). Springer Verlag, p. 469-483 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10616 LNCS).

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

  • Concentration of Measure Without Independence: A Unified Approach Via the Martingale Method

    Kontorovich, A. & Raginsky, M., 2017, Convexity and Concentration. Carlen, E., Madiman, M. & Werner, E. M. (eds.). New York, NY: Springer New York, p. 183-210 28 p.

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

  • Crowdsourced Data Integrity Verification for Key-Value Stores in the Cloud

    Weintraub, G. & Gudes, E., 10 Jul 2017, Proceedings - 2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2017. Institute of Electrical and Electronics Engineers, p. 498-503 6 p. 7973736. (Proceedings - 2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2017).

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

    4 Scopus citations
  • Cryptographically enforced role-based access control for NoSQL distributed databases

    Shalabi, Y. & Gudes, E., 1 Jan 2017, Data and Applications Security and Privacy XXXI - 31st Annual IFIP WG 11.3 Conference, DBSec 2017, Proceedings. Zhu, S. & Livraga, G. (eds.). Springer Verlag, p. 3-19 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10359 LNCS).

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

    Open Access
    8 Scopus citations
  • Dependence graph and master switch for seamless dependent routes replacement in SDN (extended abstract)

    Dinitz, Y., Dolev, S. & Khankin, D., 8 Dec 2017, 2017 IEEE 16th International Symposium on Network Computing and Applications, NCA 2017. Avresky, D. R., Gkoulalas-Divanis, A., Avresky, D. R. & Correia, M. P. (eds.). Institute of Electrical and Electronics Engineers, p. 1-7 7 p. (2017 IEEE 16th International Symposium on Network Computing and Applications, NCA 2017; vol. 2017-January).

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

    7 Scopus citations
  • Deterministic distributed (Δ + o(Δ))-edge-coloring, and vertex-coloring of graphs with bounded diversity

    Beranboim, L., Elkin, M. & Maimon, T., 26 Jul 2017, PODC 2017 - Proceedings of the ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 175-184 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. Part F129314).

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

    Open Access
    14 Scopus citations
  • Distributed exact shortest paths in sublinear time?

    Elkin, M., 19 Jun 2017, STOC 2017 - Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. McKenzie, P., King, V. & Hatami, H. (eds.). Association for Computing Machinery, p. 757-770 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. Part F128415).

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

    Open Access
    52 Scopus citations
  • Distributed monitoring of election winners

    Talmon, N. & Filtser, A., 1 Jan 2017, 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017. Das, S., Durfee, E., Larson, K. & Winikoff, M. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1160-1168 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2).

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

    3 Scopus citations
  • Efficient algorithms for constructing very sparse spanners and emulators

    Elkin, M. & Neiman, O., 1 Jan 2017, 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017. Klein, P. N. (ed.). Association for Computing Machinery, p. 652-669 18 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 0).

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

    Open Access
    19 Scopus citations
  • Efficient and private approximations of distributed databases calculations

    Derbeko, P., Dolev, S., Gudes, E. & Ullman, J. D., 1 Jul 2017, Proceedings - 2017 IEEE International Conference on Big Data, Big Data 2017. Nie, J-Y., Obradovic, Z., Suzumura, T., Ghosh, R., Nambiar, R., Wang, C., Zang, H., Baeza-Yates, R., Baeza-Yates, R., Hu, X., Kepner, J., Cuzzocrea, A., Tang, J. & Toyoda, M. (eds.). Institute of Electrical and Electronics Engineers, p. 4487-4496 10 p. (Proceedings - 2017 IEEE International Conference on Big Data, Big Data 2017; vol. 2018-January).

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

    Open Access
    3 Scopus citations
  • Efficient data retrieval in faulty sensor networks using a mobile mule

    Yedidsion, H., Banik, A., Carmi, P., Katz, M. J. & Segal, M., 27 Jun 2017, 2017 15th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, WiOpt 2017. Institute of Electrical and Electronics Engineers, 7959880

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

    2 Scopus citations
  • Efficient method extraction for automatic elimination of type-3 clones

    Ettinger, R., Tyszberowicz, S. & Menaia, S., 21 Mar 2017, SANER 2017 - 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering. Bavota, G., Pinzger, M. & Marcus, A. (eds.). Institute of Electrical and Electronics Engineers, p. 327-337 11 p. 7884633. (SANER 2017 - 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering).

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

    2 Scopus citations
  • Efficient scalable constant-round mpc via garbled circuits

    Ben-Efraim, A., Lindell, Y. & Omri, E., 1 Jan 2017, Advances in Cryptology – ASIACRYPT 2017 - 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Proceedings. Takagi, T. & Peyrin, T. (eds.). Springer Verlag, p. 471-498 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10625 LNCS).

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

    12 Scopus citations
  • Electricity cost minimization in cooling systems with storage

    Shimony, S. E., 4 Jan 2017, 2016 IEEE International Conference on the Science of Electrical Engineering, ICSEE 2016. Institute of Electrical and Electronics Engineers, 7806039. (2016 IEEE International Conference on the Science of Electrical Engineering, ICSEE 2016).

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