Filter
Conference contribution

Search results

  • 2018

    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

    22 Scopus citations
  • 2017

    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
    9 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

    8 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
    3 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
    20 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
    13 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
    29 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 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

  • 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., Apr 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

    9 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
    17 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
    55 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
    21 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

    3 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

    16 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

  • Experiment study on utilizing convolutional neural networks to recognize historical Arabic handwritten text

    Alaasam, R., Kurar, B., Kassis, M. & El-Sana, J., 13 Oct 2017, 1st IEEE International Workshop on Arabic Script Analysis and Recognition, ASAR 2017. Institute of Electrical and Electronics Engineers, p. 124-128 5 p. 8067773. (1st IEEE International Workshop on Arabic Script Analysis and Recognition, ASAR 2017).

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

    15 Scopus citations
  • Filter Selection for Hyperspectral Estimation

    Arad, B. & Ben-Shahar, O., 22 Dec 2017, Proceedings - 2017 IEEE International Conference on Computer Vision, ICCV 2017. Institute of Electrical and Electronics Engineers, p. 3172-3180 9 p. 8237604. (Proceedings of the IEEE International Conference on Computer Vision; vol. 2017-October).

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

    47 Scopus citations
  • From Square Pieces to Brick Walls: The Next Challenge in Solving Jigsaw Puzzles

    Gur, S. & Ben-Shahar, O., 22 Dec 2017, Proceedings - 2017 IEEE International Conference on Computer Vision, ICCV 2017. Institute of Electrical and Electronics Engineers, p. 4049-4057 9 p. 8237696. (Proceedings of the IEEE International Conference on Computer Vision; vol. 2017-October).

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

    17 Scopus citations
  • How Long Does It Take to Board an Airplane?

    Kaupužs, J., Mahnke, R., Bachmat, E. & Frette, V., 2017, Traffic and Granular Flow '17. Hamdar, S. (ed.). Springer, p. 415-421

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

  • Increased privacy with reduced communication in multi-agent planning

    Maliah, S., Brafman, R. I. & Shani, G., 1 Jan 2017, Proceedings of the 27th International Conference on Automated Planning and Scheduling, ICAPS 2017. Barbulescu, L., Smith, S. F., Mausam & Frank, J. D. (eds.). AAAI press, p. 209-217 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

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

    6 Scopus citations
  • Incremental frequent itemsets mining with MapReduce

    Kandalov, K. & Gudes, E., 1 Jan 2017, Advances in Databases and Information Systems - 21st European Conference, ADBIS 2017, Proceedings. Kirikova, M., Norvag, K. & Papadopoulos, G. A. (eds.). Springer Verlag, p. 247-261 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10509 LNCS).

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

    2 Scopus citations
  • In-vivo energy harvesting nano robots

    Dolev, S., Frenkel, S., Rosenblit, M., Narayanan, R. P. & Venkateswarlu, K. M., 4 Jan 2017, 2016 IEEE International Conference on the Science of Electrical Engineering, ICSEE 2016. Institute of Electrical and Electronics Engineers, 7806107. (2016 IEEE International Conference on the Science of Electrical Engineering, ICSEE 2016).

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

    16 Scopus citations
  • Linear secret-sharing schemes for forbidden graph access structures

    Beimel, A., Farràs, O., Mintz, Y. & Peter, N., 1 Jan 2017, Theory of Cryptography - 15th International Conference, TCC 2017, Proceedings. Kalai, Y. & Reyzin, L. (eds.). Springer Verlag, p. 394-423 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10678 LNCS).

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

    21 Scopus citations
  • Load-balancing adaptive clustering refinement algorithm for wireless sensor network clusters

    Oren, G., Barenboim, L. & Levin, H., 1 Jan 2017, Wired/Wireless Internet Communications - 15th IFIP WG 6.2 International Conference, WWIC 2017, Proceedings. Matta, I., Koucheryavy, Y., Ometov, A., Mamatas, L. & Papadimitriou, P. (eds.). Springer Verlag, p. 157-173 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10372 LNCS).

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

    Open Access
    4 Scopus citations
  • Local list recovery of high-rate tensor codes & applications

    Hemenway, B., Ron-Zewi, N. & Wootters, M., 10 Nov 2017, Proceedings - 58th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2017. Institute of Electrical and Electronics Engineers, p. 204-215 12 p. 8104059. (Annual Symposium on Foundations of Computer Science - Proceedings; vol. 2017-October).

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

    23 Scopus citations
  • Mending the big-data missing information

    Daltrophe, H., Dolev, S. & Lotker, Z., 4 Jan 2017, 2016 IEEE International Conference on the Science of Electrical Engineering, ICSEE 2016. Institute of Electrical and Electronics Engineers, 7806067. (2016 IEEE International Conference on the Science of Electrical Engineering, ICSEE 2016).

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

    Open Access
    1 Scopus citations
  • Minimizing the union: Tight approximations for small set bipartite vertex expansion

    Chlamtáč, E., Dinitz, M. & Makarychev, Y., 1 Jan 2017, 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017. Klein, P. N. (ed.). Association for Computing Machinery, p. 881-899 19 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
    38 Scopus citations
  • Monitorability bounds via expander, sparsifier and random walks the interplay between on-demand monitoring and anonymity (Extendend abstract)

    Dolev, S. & Khankin, D., 1 Jan 2017, Networked Systems - 5th International Conference, NETYS 2017, Proceedings. El Abbadi, A. & Garbinato, B. (eds.). Springer Verlag, p. 307-321 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10299 LNCS).

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

    2 Scopus citations
  • Network optimization on partitioned pairs of points

    Arkin, E. M., Banik, A., Carmi, P., Citovsky, G., Jia, S., Katz, M. J., Mayer, T. & Mitchell, J. S. B., 1 Dec 2017, 28th International Symposium on Algorithms and Computation, ISAAC 2017. Tokuyama, T. & Okamoto, Y. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 92).

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

    1 Scopus citations
  • Planning with multiple biases

    Kleinberg, J., Oren, S. & Raghavan, M., 20 Jun 2017, EC 2017 - Proceedings of the 2017 ACM Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 567-584 18 p.

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

    Open Access
    20 Scopus citations
  • Predicting and choosing alternatives of route updates per QoS VNF in SDN

    Frenkel, S., Khankin, D. & Kutsyy, A., 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-6 6 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

    4 Scopus citations
  • Programming reflexes (Extended abstract)

    Dolev, S., Manevich, R. & Rokach, A., 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-4 4 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

  • Query learning of derived ω-tree languages in polynomial time

    Angluin, D., Antonopoulos, T. & Fisman, D., 1 Aug 2017, Computer Science Logic 2017, CSL 2017. Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 82).

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

    1 Scopus citations
  • Reasoning Inside The Box: Deduction in Herbrand Logics

    Cohen, L. & Zohar, Y., Oct 2017, GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017. Benzmüller, C., Lisetti, C. L. & Theobald, M. (eds.). EasyChair, Vol. 50. p. 107-120 14 p. (EPiC Series in Computing).

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

    Open Access
  • Recoverable mutual exclusion in sub-logarithmic time

    Golab, W. & Hendler, D., 26 Jul 2017, PODC 2017 - Proceedings of the ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 211-220 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

    34 Scopus citations
  • Relationship of Jaccard and edit distance in malware clustering and online identification (Extended abstract)

    Dolev, S., Ghanayim, M., Binun, A., Frenkel, S. & Sun, Y. 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-5 5 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

    9 Scopus citations
  • Securing Dataverse with an Adapted Command Design Pattern

    Durand, G., Bar-Sinai, M. & Crosas, M., 20 Oct 2017, Proceedings - 2017 IEEE Cybersecurity Development Conference, SecDev 2017. Institute of Electrical and Electronics Engineers, p. 54-60 7 p. 8077807. (Proceedings - 2017 IEEE Cybersecurity Development Conference, SecDev 2017).

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

    1 Scopus citations
  • Self-stabilizing reconfiguration

    Dolev, S., Georgiou, C., Marcoullis, I. & Schiller, E. M., 1 Jan 2017, Networked Systems - 5th International Conference, NETYS 2017, Proceedings. El Abbadi, A. & Garbinato, B. (eds.). Springer Verlag, p. 51-68 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10299 LNCS).

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

    Open Access
    5 Scopus citations