Filter
Conference contribution

Search results

  • 2017

    Service composition in stochastic settings

    Brafman, R. I., De Giacomo, G., Mecella, M. & Sardina, S., 1 Jan 2017, AI*IA 2017 Advances in Artificial Intelligence - 16th International Conference of the Italian Association for Artificial Intelligence, Proceedings. Esposito, F., Ferilli, S., Lisi, F. A. & Basili, R. (eds.). Springer Verlag, p. 159-171 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10640 LNAI).

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

    7 Scopus citations
  • Some properties of batch value of information in the selection problem

    Shperberg, S. S. & Shimony, S. E., 1 Jan 2017, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 5065-5069 5 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

  • Structured behavioral programming idioms

    Ashrov, A., Gordon, M., Marron, A., Arnon, S. & Weiss, G., 17 May 2017, Enterprise, Business-Process and Information Systems Modeling - 18th International Conference, BPMDS 2017, 22nd International Conference, EMMSAD 2017 Held at CAiSE 2017, Proceedings. Gulden, J., Nurcan, S., Reinhartz-Berger, I., Bera, P. & Guedria, W. (eds.). Springer Verlag, p. 319-333 15 p. (Lecture Notes in Business Information Processing; vol. 287).

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

    2 Scopus citations
  • Supervised detection of infected machines using anti-virus induced labels

    Cohen, T., Hendler, D. & Potashnik, D., 1 Jan 2017, Cyber Security Cryptography and Machine Learning - 1st International Conference, CSCML 2017, Proceedings. Dolev, S. & Lodha, S. (eds.). Springer Verlag, p. 34-49 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10332 LNCS).

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

    1 Scopus citations
  • The DNA word design problem: A new constraint model and new results

    Codish, M., Frank, M. & Lagoon, V., 1 Jan 2017, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 585-591 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 0).

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

    Open Access
    4 Scopus citations
  • Time-memory tradeoff attacks on the MTP proof-of-work scheme

    Dinur, I. & Nadler, N., 1 Jan 2017, Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings. Katz, J. & Shacham, H. (eds.). Springer Verlag, p. 375-403 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10402 LNCS).

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

    5 Scopus citations
  • Tracking paths

    Banik, A., Katz, M. J., Packer, E. & Simakov, M., 1 Jan 2017, Algorithms and Complexity - 10th International Conference, CIAC 2017, Proceedings. Fotakis, D., Pagourtzis, A. & Paschos, V. T. (eds.). Springer Verlag, p. 67-79 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10236 LNCS).

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

    10 Scopus citations
  • VML-HD: The historical Arabic documents dataset for recognition systems

    Kassis, M., Abdalhaleem, A., Droby, A., Alaasam, R. & 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. 11-14 4 p. 8067751. (1st IEEE International Workshop on Arabic Script Analysis and Recognition, ASAR 2017).

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

    38 Scopus citations
  • WAHD: A database for writer identification of Arabic historical documents

    Abdelhaleem, A., Droby, A., Asi, A., Kassis, M., Al Asam, R. & El-Sanaa, J., 13 Oct 2017, 1st IEEE International Workshop on Arabic Script Analysis and Recognition, ASAR 2017. Institute of Electrical and Electronics Engineers, p. 64-68 5 p. 8067761. (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
  • δ-Greedy t-spanner

    On, G. B. & Carmi, P., 1 Jan 2017, Algorithms and Data Structures - 15th International Symposium, WADS 2017, Proceedings. Ellen, F., Kolokolova, A. & Sack, J.-R. (eds.). Springer Verlag, p. 85-96 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

  • 2016

    A biclique approach to reference anchored gene blocks and its applications to pathogenicity Islands

    Benshahar, A., Chalifa-Caspi, V., Hermelin, D. & Ziv-Ukelson, M., 1 Jan 2016, Algorithms in Bioinformatics - 16th International Workshop, WABI 2016, Proceedings. Frith, M. & Pedersen, C. N. S. (eds.). Springer Verlag, p. 14-26 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9838 LNCS).

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

  • Algorithmic stability for adaptive data analysis?

    Bassily, R., Steinke, T., Nissim, K., Stemmer, U., Smith, A. & Ullman, J., 19 Jun 2016, STOC 2016 - Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing. Mansour, Y. & Wichs, D. (eds.). Association for Computing Machinery, p. 1046-1059 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. 19-21-June-2016).

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

    Open Access
    128 Scopus citations
  • An Improved MapReduce Algorithm for Mining Closed Frequent Itemsets

    Gonen, Y. & Gudes, E., 18 Jul 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. Institute of Electrical and Electronics Engineers, p. 77-83 7 p. 7515413. (Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016).

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

    5 Scopus citations
  • Attacking and defending dynamic analysis system-calls based IDS

    Rosenberg, I. & Gudes, E., 1 Jan 2016, Information Security Theory and Practice - 10th IFIP WG 11.2 International Conference, WISTP 2016, Proceedings. Foresti, S. & Lopez, J. (eds.). Springer Verlag, p. 103-119 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9895 LNCS).

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

  • Automatic Synthesis of Historical Arabic Text for Word-Spotting

    Kassis, M. & El-Sana, J., 10 Jun 2016, Proceedings - 12th IAPR International Workshop on Document Analysis Systems, DAS 2016. Institute of Electrical and Electronics Engineers, p. 239-244 6 p. 7490124. (Proceedings - 12th IAPR International Workshop on Document Analysis Systems, DAS 2016).

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

    7 Scopus citations
  • Beyond the Richter-Thomassen conjecture

    Pach, J., Rubin, N. & Tardos, G., 1 Jan 2016, 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Krauthgamer, R. (ed.). Association for Computing Machinery, p. 957-968 12 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2).

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

    Open Access
    6 Scopus citations
  • Black box replication: Breaking the latency limits

    Natanzon, A., Winokur, A. & Bachmat, E., 6 Jun 2016, SYSTOR 2016 - Proceedings of the 9th ACM International Systems and Storage Conference. Association for Computing Machinery, Inc, 2928277. (SYSTOR 2016 - Proceedings of the 9th ACM International Systems and Storage Conference).

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

  • Brain inspired automatic directory

    Azaria, I., Dolev, S., Hanemann, A. & Puzis, R., 11 Mar 2016, Proceedings - 2nd International Symposium on Stochastic Models in Reliability Engineering, Life Science, and Operations Management, SMRLO 2016. Lisnianski, A. & Frenkel, I. (eds.). Institute of Electrical and Electronics Engineers, p. 197-201 5 p. 7433116. (Proceedings - 2nd International Symposium on Stochastic Models in Reliability Engineering, Life Science, and Operations Management, SMRLO 2016).

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

  • Breaking symmetries in graphs: The nauty way

    Codish, M., Gange, G., Itzhakov, A. & Stuckey, P. J., 1 Jan 2016, Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Proceedings. Rueher, M. (ed.). Springer Verlag, p. 157-172 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9892 LNCS).

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

    10 Scopus citations
  • Brief announcement: Proactive secret sharing with a dishonest majority

    Dolev, S., ElDefrawy, K., Lampkins, J., Ostrovsky, R. & Yung, M., 25 Jul 2016, PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 401-403 3 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. 25-28-July-2016).

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

  • Brief announcement: Mending the big-data missing information

    Daltrophe, H., Dolev, S. & Lotker, Z., 1 Jan 2016, Distributed Computing - 30th International Symposium, DISC 2016, Proceedings. Gavoille, C. & Ilcinkas, D. (eds.). Springer Verlag, p. 474-476 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9888 LNCS).

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

    1 Scopus citations
  • Computing marginals using MapReduce

    Afrati, F. N., Sharma, S., Ullman, J. D. & Ullman, J. R., 11 Jul 2016, Proceedings of the 20th International Database Engineering and Applications Symposium, IDEAS 2016. Desai, B. C. & Desai, E. (eds.). Association for Computing Machinery, p. 12-23 12 p. (ACM International Conference Proceeding Series; vol. 11-13-July-2016).

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

    Open Access
  • Concise essence-preserving big data representation

    Derbeko, P., Dolev, S., Gudes, E. & Ullman, J. D., 1 Jan 2016, Proceedings - 2016 IEEE International Conference on Big Data, Big Data 2016. Ak, R., Karypis, G., Xia, Y., Hu, X. T., Yu, P. S., Joshi, J., Ungar, L., Liu, L., Sato, A.-H., Suzumura, T., Rachuri, S., Govindaraju, R. & Xu, W. (eds.). Institute of Electrical and Electronics Engineers, p. 3662-3665 4 p. 7841033. (Proceedings - 2016 IEEE International Conference on Big Data, Big Data 2016).

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

    3 Scopus citations
  • DataTags, Data Handling Policy Spaces and the Tags Language

    Bar-Sinai, M., Sweeney, L. & Crosas, M., 1 Aug 2016, Proceedings - 2016 IEEE Symposium on Security and Privacy Workshops, SPW 2016. Institute of Electrical and Electronics Engineers, p. 1-8 8 p. 7527746. (Proceedings - 2016 IEEE Symposium on Security and Privacy Workshops, SPW 2016).

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

    14 Scopus citations
  • Distributed search for pure nash equilibria in graphical games

    Litov, O. & Meisels, A., 1 Jan 2016, AAMAS 2016 - Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1279-1280 2 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

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

    1 Scopus citations
  • Distributed strong diameter network decomposition: [Extended Abstract]

    Elkin, M. & Neiman, O., 25 Jul 2016, PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 211-216 6 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. 25-28-July-2016).

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

    Open Access
    24 Scopus citations
  • Distribution design

    Beimel, A., Gabizon, A., Ishai, Y. & Kushilevitz, E., 14 Jan 2016, ITCS 2016 - Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science. Association for Computing Machinery, Inc, p. 81-92 12 p. (ITCS 2016 - Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science).

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

    Open Access
    7 Scopus citations
  • DPDNS 2016 Keynote

    Dolev, S., 2016, 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2016, Chicago, IL, USA, May 23-27, 2016. Institute of Electrical and Electronics Engineers, p. 1270 1 p.

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

  • Duplication for the removal of duplication

    Ettinger, R. & Tyszberowicz, S., 20 May 2016, 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016. Institute of Electrical and Electronics Engineers, p. 53-59 7 p. 7476797. (2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016).

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

    3 Scopus citations
  • Dynamics of evolving social groups

    Alon, N., Feldman, M., Mansour, Y., Oren, S. & Tennenholtz, M., 21 Jul 2016, EC 2016 - Proceedings of the 2016 ACM Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 637-654 18 p. (EC 2016 - Proceedings of the 2016 ACM Conference on Economics and Computation).

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

    Open Access
    2 Scopus citations
  • Efficient boolean games equilibria: A scalable approach

    Komarovsky, Z., Levit, V., Grinshpoun, T. & Meisels, A., 1 Jan 2016, AAMAS 2016 - Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1405-1406 2 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

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

  • Efficient equilibria in a public goods game

    Komarovsky, Z., Levit, V., Grinshpoun, T. & Meisels, A., 2 Feb 2016, Proceedings - 2015 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2015. Institute of Electrical and Electronics Engineers, p. 214-219 6 p. 7397362. (Proceedings - 2015 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2015; vol. 2).

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

    13 Scopus citations
  • Evading system-calls based intrusion detection systems

    Rosenberg, I. & Gudes, E., 1 Jan 2016, Network and System Security - 10th International Conference, NSS 2016, Proceedings. Yung, M., Chen, J., Su, C. & Piuri, V. (eds.). Springer Verlag, p. 200-216 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9955 LNCS).

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

    1 Scopus citations
  • From shape analysis to termination analysis in linear time

    Manevich, R., Dogadov, B. & Rinetzky, N., 1 Jan 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Farzan, A. & Chaudhuri, S. (eds.). Springer Verlag, p. 426-446 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9779).

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

    6 Scopus citations
  • Gabriel triangulations and angle-monotone graphs: Local routing and recognition

    Bonichon, N., Bose, P., Carmi, P., Kostitsyna, I., Lubiw, A. & Verdonschot, S., 1 Jan 2016, Graph Drawing and Network Visualization - 24th International Symposium, GD 2016, Revised Selected Papers. Nollenburg, M. & Hu, Y. (eds.). Springer Verlag, p. 519-531 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9801 LNCS).

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

    20 Scopus citations
  • Generic attacks on secure outsourced databases

    Kellaris, G., Kollios, G., Nissim, K. & O'Neill, A., 24 Oct 2016, CCS 2016 - Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1329-1340 12 p. (Proceedings of the ACM Conference on Computer and Communications Security; vol. 24-28-October-2016).

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

    Open Access
    228 Scopus citations
  • Hopsets with Constant Hopbound, and Applications to Approximate Shortest Paths

    Elkin, M. & Neiman, O., 14 Dec 2016, Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016. Institute of Electrical and Electronics Engineers, Vol. 2016-December. p. 128-137 10 p. 7782925

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

    Open Access
    45 Scopus citations
  • Hybrid replication: Optimizing network bandwidth and primary storage performance for remote replication

    Natanzon, A., Shilane, P., Abashkin, M., Baruch, L. & Bachmat, E., 23 Aug 2016, 2016 IEEE International Conference on Networking Architecture and Storage, NAS 2016 - Proceedings. Institute of Electrical and Electronics Engineers, 7549405. (2016 IEEE International Conference on Networking Architecture and Storage, NAS 2016 - Proceedings).

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

    2 Scopus citations
  • Impossibility of sketching of the 3D transportation metric with quadratic cost

    Andoni, A., Naor, A. & Neiman, O., 1 Aug 2016, 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016. Rabani, Y., Chatzigiannakis, I., Sangiorgi, D. & Mitzenmacher, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 83. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 55).

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

    6 Scopus citations
  • Integrated caching and tiering according to use and QoS requirements

    Abashkin, M., Natanzon, A. & Bachmat, E., 17 Feb 2016, 2015 IEEE 34th International Performance Computing and Communications Conference, IPCCC 2015. Institute of Electrical and Electronics Engineers, 7410323. (2015 IEEE 34th International Performance Computing and Communications Conference, IPCCC 2015).

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

    3 Scopus citations
  • Keyword Retrieval Using Scale-Space Pyramid

    Rabaev, I., Kedem, K. & El-Sana, J., 10 Jun 2016, Proceedings - 12th IAPR International Workshop on Document Analysis Systems, DAS 2016. Institute of Electrical and Electronics Engineers, p. 144-149 6 p. 7490108. (Proceedings - 12th IAPR International Workshop on Document Analysis Systems, DAS 2016).

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

    5 Scopus citations
  • Local self-organization with strong privacy protection

    Hanzlik, L., Kluczniak, K., Kutyłowski, M. & Dolev, S., 1 Jan 2016, Proceedings - 15th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, 10th IEEE International Conference on Big Data Science and Engineering and 14th IEEE International Symposium on Parallel and Distributed Processing with Applications, IEEE TrustCom/BigDataSE/ISPA 2016. Institute of Electrical and Electronics Engineers, p. 775-782 8 p. 7847021. (Proceedings - 15th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, 10th IEEE International Conference on Big Data Science and Engineering and 14th IEEE International Symposium on Parallel and Distributed Processing with Applications, IEEE TrustCom/BigDataSE/ISPA 2016).

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

    1 Scopus citations
  • Locating a small cluster privately

    Nissim, K., Stemmer, U. & Vadhan, S., 15 Jun 2016, PODS 2016 - Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Association for Computing Machinery, p. 413-427 15 p. (Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems; vol. 26-June-01-July-2016).

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

    Open Access
    36 Scopus citations
  • Lower bound on the step complexity of anonymous binary consensus

    Attiya, H., Ben-Baruch, O. & Hendler, D., 1 Jan 2016, Distributed Computing - 30th International Symposium, DISC 2016, Proceedings. Gavoille, C. & Ilcinkas, D. (eds.). Springer Verlag, p. 257-268 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9888 LNCS).

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

    2 Scopus citations
  • Memory-Aware Management for Heterogeneous Main Memory Using an Optimization of the Aging Paging Algorithm

    Oren, G., Barenboim, L. & Amar, L., 23 Sep 2016, Proceedings - 45th International Conference on Parallel Processing Workshops, ICPPW 2016. Institute of Electrical and Electronics Engineers, p. 98-105 8 p. 7576458. (Proceedings of the International Conference on Parallel Processing Workshops; vol. 2016-September).

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

    1 Scopus citations
  • Memory-efficient algorithms for finding needles in haystacks

    Dinur, I., Dunkelman, O., Keller, N. & Shamir, A., 1 Jan 2016, Advances in Cryptology - 36th Annual International Cryptology Conference, CRYPTO 2016, Proceedings. Robshaw, M. & Katz, J. (eds.). Springer Verlag, p. 185-206 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9815).

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

    Open Access
    7 Scopus citations
  • Methods for solving extremal problems in practice

    Frank, M., 1 Nov 2016, Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016. King, A., Saeedloei, N., De Vos, M. & Linares, M. C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 21. (OpenAccess Series in Informatics; vol. 52).

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

  • Multilevel Modeling and Reasoning with FOML

    Balaban, M., Khitron, I. & Kifer, M., 18 Jul 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. Institute of Electrical and Electronics Engineers, p. 61-70 10 p. 7515411. (Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016).

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

    3 Scopus citations
  • New attacks on the concatenation and XOR hash combiners

    Dinur, I., 1 Jan 2016, Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Fischlin, M. & Coron, J.-S. (eds.). Springer Verlag, p. 484-508 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9665).

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

    Open Access
    7 Scopus citations
  • Node-centric detection of overlapping communities in social networks

    Cohen, Y., Hendler, D. & Rubin, A., 21 Nov 2016, Proceedings of the 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2016. Kumar, R., Caverlee, J. & Tong, H. (eds.). Institute of Electrical and Electronics Engineers, p. 1384-1385 2 p. 7752423

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

    Open Access
    6 Scopus citations