Filter
Conference contribution

Search results

  • 2016

    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
  • Nontrivial and universal helping for wait-free queues and stacks

    Attiya, H., Castañeda, A. & Hendler, D., 1 Sep 2016, 19th International Conference on Principles of Distributed Systems, OPODIS 2015. Anceaume, E., Cachin, C. & Potop-Butucaru, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 31.1-31.16 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 46).

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

    1 Scopus citations
  • On almost Monge all scores matrices

    Carmel, A., Tsur, D. & Ziv-Ukelson, M., 1 Jun 2016, 27th Annual Symposium on Combinatorial Pattern Matching, CPM 2016. Grossi, R. & Lewenstein, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 17.1-17.12 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 54).

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

  • On efficient distributed construction of near optimal routing schemes: [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. 235-244 10 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
    12 Scopus citations
  • On interference among moving sensors and related problems

    De Carufel, J. L., Katz, M. J., Korman, M., Van Renssen, A., Roeloffzen, M. & Smorodinsky, S., 1 Aug 2016, 24th Annual European Symposium on Algorithms, ESA 2016. Zaroliagis, C. & Sankowski, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 34. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 57).

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

    1 Scopus citations
  • On local structures of cubicity 2 graphs

    Bhore, S., Chakraborty, D., Das, S. & Sen, S., 1 Jan 2016, Combinatorial Optimization and Applications - 10th International Conference, COCOA 2016, Proceedings. Li, M., Wang, L. & Chan, T.-H. H. (eds.). Springer Verlag, p. 254-269 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10043 LNCS).

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

    Open Access
    2 Scopus citations
  • On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks

    Menczel, A., Weiss, G. & Fried, D., 18 Jul 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. Institute of Electrical and Electronics Engineers, p. 125-134 10 p. 7515420. (Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016).

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

  • On notions of distortion and an almost minimum spanning tree with constant average distortion

    Bartal, Y., Filtsert, A. & Neiman, O., 1 Jan 2016, 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Krauthgamer, R. (ed.). Association for Computing Machinery, p. 873-882 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2).

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

    8 Scopus citations
  • On Notions of Distortion and an Almost Minimum Spanning Tree with Constant Average Distortion

    Bartal, Y., Filtsert, A. & Neiman, O., 2016, 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Krauthgamer, R. (ed.). Association for Computing Machinery, p. 873-882 10 p.

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

  • On the complexity of reader-writer locks: [Extended Abstract]

    Hendler, D., 25 Jul 2016, PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, Vol. 25-28 July. p. 315-324 10 p.

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

  • On the general chain pair simplification problem

    Fan, C., Filtser, O., Katz, M. J. & Zhu, B., 1 Aug 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 58).

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

    3 Scopus citations
  • Optical PUF for non forwardable vehicle authentication

    Dolev, S., Krzywiecki, Ł., Panwar, N. & Segal, M., 4 Jan 2016, Proceedings - 2015 IEEE 14th International Symposium on Network Computing and Applications, NCA 2015. Avresky, D. R., Avresky, D. R. & Busnel, Y. (eds.). Institute of Electrical and Electronics Engineers, p. 204-207 4 p. 7371725. (Proceedings - 2015 IEEE 14th International Symposium on Network Computing and Applications, NCA 2015).

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

    4 Scopus citations
  • Optimizing semi-honest secure multiparty computation for the Internet

    Ben-Efraim, A., Lindell, Y. & Omri, E., 24 Oct 2016, CCS 2016 - Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 578-590 13 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

    67 Scopus citations
  • Performance level profiles: A formal language for describing the expected performance of functional modules

    Brafman, R. I., Bar-Sinai, M. & Ashkenazi, M., 28 Nov 2016, IROS 2016 - 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems. Institute of Electrical and Electronics Engineers, p. 1751-1756 6 p. 7759280. (IEEE International Conference on Intelligent Robots and Systems; vol. 2016-November).

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

    9 Scopus citations
  • Peripheral authentication for autonomous vehicles

    Dolev, S. & Panwar, N., 8 Dec 2016, Proceedings - 2016 IEEE 15th International Symposium on Network Computing and Applications, NCA 2016. Avresky, D. R., Gkoulalas-Divanis, A., Di Sanzo, P., Avresky, D. R. & Pellegrini, A. (eds.). Institute of Electrical and Electronics Engineers, p. 282-285 4 p. 7778631. (Proceedings - 2016 IEEE 15th International Symposium on Network Computing and Applications, NCA 2016).

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

    4 Scopus citations
  • Planning problems for sophisticated agents with present bias

    Kleinberg, J., Oren, S. & Raghavan, M., 21 Jul 2016, EC 2016 - Proceedings of the 2016 ACM Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 343-360 18 p.

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

    Open Access
    28 Scopus citations
  • Private and secure secret shared mapreduce (Extended Abstract)

    Dolev, S., Li, Y. & Sharma, S., 1 Jan 2016, Data and Applications Security and Privacy - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Proceedings. Ranise, S. & Swarup, V. (eds.). Springer Verlag, p. 151-160 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9766).

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

    Open Access
    15 Scopus citations
  • Proactive Secret Sharing with a dishonest majority

    Dolev, S., ElDefrawy, K., Lampkins, J., Ostrovsky, R. & Yung, M., 1 Jan 2016, Security and Cryptography for Networks - 10th International Conference, SCN 2016, Proceedings. De Prisco, R. & Zikas, V. (eds.). Springer Verlag, p. 529-548 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9841 LNCS).

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

    11 Scopus citations
  • Scribble based interactive page layout segmentation using gabor filter

    Kassis, M. & El-Sana, J., 2 Jul 2016, Proceedings - 2016 15th International Conference on Frontiers in Handwriting Recognition, ICFHR 2016. Institute of Electrical and Electronics Engineers, p. 13-18 6 p. 7814032. (Proceedings of International Conference on Frontiers in Handwriting Recognition, ICFHR; vol. 0).

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

    13 Scopus citations
  • Seamless SDN route updates

    Delaet, S., Dolev, S., Khankin, D., Tzur-David, S. & Godinger, T., 4 Jan 2016, Proceedings - 2015 IEEE 14th International Symposium on Network Computing and Applications, NCA 2015. Avresky, D. R., Avresky, D. R. & Busnel, Y. (eds.). Institute of Electrical and Electronics Engineers, p. 120-125 6 p. 7371713. (Proceedings - 2015 IEEE 14th International Symposium on Network Computing and Applications, NCA 2015).

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

    12 Scopus citations
  • Secret shared random access machine

    Dolev, S. & Li, Y., 1 Jan 2016, Algorithmic Aspects of Cloud Computing - 1st International Workshop, ALGOCLOUD 2015, Revised Selected Papers. Triantafillou, P., Karydis, I., Sioutas, S. & Tsoumakos, D. (eds.). Springer Verlag, p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9511).

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

    4 Scopus citations
  • Secret sharing schemes for dense forbidden graphs

    Beimel, A., Farràs, O. & Peter, N., 1 Jan 2016, Security and Cryptography for Networks - 10th International Conference, SCN 2016, Proceedings. De Prisco, R. & Zikas, V. (eds.). Springer Verlag, p. 509-528 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9841 LNCS).

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

    7 Scopus citations
  • Self-stabilizing byzantine-tolerant distributed replicated state machine

    Binun, A., Coupaye, T., Dolev, S., Kassi-Lahlou, M., Lacoste, M., Palesandro, A., Yagel, R. & Yankulin, L., 1 Jan 2016, Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Proceedings. Petit, F. & Bonakdarpour, B. (eds.). Springer Verlag, p. 36-53 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10083 LNCS).

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

    8 Scopus citations
  • Self-Stabilizing Reconfiguration

    Dolev, S., Marcoullis, I., Georgiou, C. & Schiller, E. M., 12 Dec 2016, Proceedings of the Posters and Demos Session of the ACM/IFIP/USENIX Middleware 2016 Conference, Middleware Posters and Demos 2016. Association for Computing Machinery, Inc, p. 13-14 2 p.

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

    Open Access
    1 Scopus citations
  • Sentence embedding evaluation using pyramid annotation

    Baumel, T., Cohen, R. & Elhadad, M., 1 Jan 2016, Proceedings of the 1st Workshop on Evaluating Vector-Space Representations for NLP, RepEval 2016 at the 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016. Association for Computational Linguistics (ACL), p. 145-149 5 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics).

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

    Open Access
  • ShapeExplorer: Querying and exploring shapes using visual knowledge

    Ge, T., Wang, Y., De Melo, G., Hao, Z., Sharf, A. & Chen, B., 1 Jan 2016, Advances in Database Technology - EDBT 2016: 19th International Conference on Extending Database Technology, Proceedings. Manolescu, I., Pitoura, E., Marian, A., Maabout, S., Tanca, L., Koutrika, G. & Stefanidis, K. (eds.). OpenProceedings.org, p. 648-651 4 p. (Advances in Database Technology - EDBT; vol. 2016-March).

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

    1 Scopus citations
  • Simultaneous private learning of multiple concepts

    Bun, M., Nissim, K. & Stemmer, U., 14 Jan 2016, ITCS 2016 - Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science. Association for Computing Machinery, Inc, p. 369-380 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
    35 Scopus citations
  • Sparse recovery of hyperspectral signal from natural RGB images

    Arad, B. & Ben-Shahar, O., 1 Jan 2016, Computer Vision - 14th European Conference, ECCV 2016, Proceedings. Leibe, B., Matas, J., Sebe, N. & Welling, M. (eds.). Springer Verlag, p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9911 LNCS).

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

    Open Access
    531 Scopus citations
  • SSSDB: Database with private information search

    Avni, H., Dolev, S., Gilboa, N. & Li, X., 1 Jan 2016, Algorithmic Aspects of Cloud Computing - 1st International Workshop, ALGOCLOUD 2015, Revised Selected Papers. Triantafillou, P., Karydis, I., Sioutas, S. & Tsoumakos, D. (eds.). Springer Verlag, p. 49-61 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9511).

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

    6 Scopus citations
  • Submodular learning and covering with response-dependent costs

    Sabato, S., 1 Jan 2016, Algorithmic Learning Theory - 27th International Conference, ALT 2016, Proceedings. Simon, H. U., Zilles, S. & Ortner, R. (eds.). Springer Verlag, p. 130-144 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9925 LNAI).

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

  • The densest κ-subhypergraph problem

    Chlamtác, E., Dinitz, M., Konrad, C., Kortsarz, G. & Rabanca, G., 1 Sep 2016, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 19th International Workshop, APPROX 2016 and 20th International Workshop, RANDOM 2016. Jansen, K., Mathieu, C., Rolim, J. D. P. & Umans, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 60).

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

    10 Scopus citations
  • The greedy spanner is existentially optimal: [Extended Abstract]

    Filtser, A. & Solomon, S., 25 Jul 2016, PODC 2016 - Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 9-17 9 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
    35 Scopus citations
  • The Hebrew FrameNet project

    Hayoun, A. & Elhadad, M., 1 Jan 2016, Proceedings of the 10th International Conference on Language Resources and Evaluation, LREC 2016. Calzolari, N., Choukri, K., Mazo, H., Moreno, A., Declerck, T., Goggi, S., Grobelnik, M., Odijk, J., Piperidis, S., Maegaard, B. & Mariani, J. (eds.). European Language Resources Association (ELRA), p. 4341-4347 7 p. (Proceedings of the 10th International Conference on Language Resources and Evaluation, LREC 2016).

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

    Open Access
    9 Scopus citations
  • The looking-glass system: A unidirectional network for secure data transfer using an optic medium

    Oren, G., Amar, L., Levy-Hevroni, D. & Malamud, G., 1 Jan 2016, Future Network Systems and Security - 2nd International Conference, FNSS 2016, Proceedings. Zhou, W., Piramuthu, S. & Doss, R. (eds.). Springer Verlag, p. 81-97 17 p. (Communications in Computer and Information Science; vol. 670).

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

    1 Scopus citations
  • The normalized autocorrelation length of random max r-Sat converges in probability to (1 − 1/2r)/r

    Berend, D. & Twitto, Y., 1 Jan 2016, Theory and Applications of Satisfiability Testing – SAT 2016 - 19th International Conference, Proceedings. Le Berre, D. & Creignou, N. (eds.). Springer Verlag, p. 60-76 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9710).

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

    3 Scopus citations
  • Topic concentration in query focused summarization datasets

    Baumel, T., Cohen, R. & Elhadad, M., 1 Jan 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI press, p. 2573-2579 7 p. (30th AAAI Conference on Artificial Intelligence, AAAI 2016).

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

    Open Access
    27 Scopus citations
  • Trust-based dynamic RBAC

    Lavi, T. & Gudes, E., 1 Jan 2016, ICISSP 2016 - Proceedings of the 2nd International Conference on Information Systems Security and Privacy. Camp, O., Furnell, S. & Mori, P. (eds.). SciTePress, p. 317-324 8 p. (ICISSP 2016 - Proceedings of the 2nd International Conference on Information Systems Security and Privacy).

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

    Open Access
    7 Scopus citations
  • Word spotting using radial descriptor graph

    Kassis, M. & El-Sana, J., 2 Jul 2016, Proceedings - 2016 15th International Conference on Frontiers in Handwriting Recognition, ICFHR 2016. Institute of Electrical and Electronics Engineers, p. 31-35 5 p. 7814035. (Proceedings of International Conference on Frontiers in Handwriting Recognition, ICFHR; vol. 0).

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

    8 Scopus citations
  • 2015

    Accumulating automata and cascaded equations automata: For communicationless information theoretically secure multi-party computation

    Dolev, S., Gilboa, N. & Li, X., 14 Apr 2015, SCC 2015 - Proceedings of the 3rd ACM International Workshop on Security in Cloud Computing, part of ASIACCS 2015. Association for Computing Machinery, Inc, p. 21-29 9 p. (SCC 2015 - Proceedings of the 3rd ACM International Workshop on Security in Cloud Computing, part of ASIACCS 2015).

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

    14 Scopus citations
  • A compilation based approach to conformant probabilistic planning with stochastic actions

    Taig, R. & Brafman, R. I., 1 Jan 2015, ICAPS 2015 - Proceedings of the 25th International Conference on Automated Planning and Scheduling. Haslum, P., Domshlak, C., Brafman, R. & Zilberstein, S. (eds.). AAAI press, p. 220-224 5 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; vol. 2015-January).

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

  • A fast network-decomposition algorithm and its applications to constant-time distributed computation: (Extended abstract)

    Barenboim, L., Elkin, M. & Gavoille, C., 1 Jan 2015, Structural Information and Communication Complexity - 22nd International Colloquium, SIROCCO 2015, Post-Proceedings. Scheideler, C. (ed.). Springer Verlag, p. 209-223 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9439).

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

    18 Scopus citations
  • Algorithms for regular tree grammar network search and their application to mining human-viral infection patterns

    Smoly, I., Carmel, A., Shemer-Avni, Y., Yeger-Lotem, E. & Ziv-Ukelson, M., 1 Jan 2015, Algorithms in Bioinformatics - 15th International Workshop, WABI 2015, Proceedings. Pop, M. & Touzet, H. (eds.). Springer Verlag, p. 53-65 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9289).

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

  • Algorithms that learn to play like people

    Pavia, A., Samothrakis, S., Schaul, T., Shaker, N., Sipper, M., Togelius, J., Yannakakis, G. & Zambetta, F., 2015, Artificial and computational intelligence in games: Integration. Lucas, S. M., Mateas, M., Preuss, M., Spronck, P. & Togelius, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 5. p. 222-223

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

    Open Access
  • Aligning transcript of historical documents using dynamic programming

    Rabaev, I., Cohen, R., El-Sana, J. & Kedem, K., 1 Jan 2015, Proceedings of SPIE-IS and T Electronic Imaging - Document Recognition and Retrieval XXII. Lamiroy, B. & Ringger, E. K. (eds.). SPIE, 94020I. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 9402).

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

    6 Scopus citations
  • Aligning transcript of historical documents using energy minimization

    Cohen, R., Rabaev, I., El-Sana, J., Kedem, K. & Dinstein, I., 20 Nov 2015, 13th IAPR International Conference on Document Analysis and Recognition, ICDAR 2015 - Conference Proceedings. Institute of Electrical and Electronics Engineers, p. 266-270 5 p. 7333765. (Proceedings of the International Conference on Document Analysis and Recognition, ICDAR; vol. 2015-November).

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

    2 Scopus citations
  • A linear-size logarithmic stretch path-reporting distance oracle for general graphs

    Elkin, M. & Pettie, S., 1 Jan 2015, Proceedings of the 26th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015. January ed. Association for Computing Machinery, p. 805-821 17 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2015-January, no. January).

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

    Open Access
    12 Scopus citations
  • Analyzing a Decade of Human-Competitive ("HUMIE") Winners: What Can We Learn?

    Kannappan, K., Spector, L., Sipper, M., Helmuth, T., Cava, W. G. L., Wisdom, J. & Bernstein, O., 2015, Genetic Programming Theory and Practice XII . Riolo, R., Worzel, W. & Kotanchek , M. (eds.). p. 149-166

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

  • Applying sorting networks to synthesize optimized sorting libraries

    Codish, M., Cruz-Filipe, L., Nebel, M. & Schneider-Kamp, P., 1 Jan 2015, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers. Falaschi, M. (ed.). Springer Verlag, p. 127-142 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9527).

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

    5 Scopus citations
  • A privacy preserving algorithm for multi-agent planning and search

    Brafman, R. I., 1 Jan 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (eds.). International Joint Conferences on Artificial Intelligence, p. 1530-1536 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2015-January).

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

    48 Scopus citations