Department of Computer Science

Filter
Conference contribution

Search results

  • 2018

    Interactive coding over the noisy broadcast channel

    Efremenko, K., Kol, G. & Saxena, R., 20 Jun 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 890-901 12 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations

  • Light spanners for high dimensional norms via stochastic decompositions

    Filtser, A. & Neiman, O., 1 Aug 2018, 26th European Symposium on Algorithms, ESA 2018. Bast, H., Herman, G. & Azar, Y. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 112).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • Locally-iterative distributed (∆ + 1)-coloring below szegedy-vishwanathan barrier, and applications to self-stabilization and to restricted-bandwidth models

    Barenboim, L., Elkin, M. & Goldenberg, U., 23 Jul 2018, PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 437-446 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    47 Scopus citations

  • Logic programming with max-clique and its application to graph coloring (tool description)

    Codish, M., Frank, M., Metodi, A. & Muslimany, M., 1 Feb 2018, Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017. Son, T. C., Mears, C., Rocha, R. & Saeedloei, N. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (OpenAccess Series in Informatics; vol. 58).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • LTL F /LDL F non-markovian rewards

    Brafman, R. I., De Giacomo, G. & Patrizi, F., 1 Jan 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI press, p. 1771-1778 8 p. (32nd AAAI Conference on Artificial Intelligence, AAAI 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    59 Scopus citations

  • Make&activate-before-break: Policy preserving seamless routes replacement in SDN

    Dinitz, Y., Dolev, S. & Khankin, D., 1 Jan 2018, 25th International Colloquium, SIROCCO 2018, Revised Selected Papers. Lotker, Z. & Patt-Shamir, B. (eds.). Springer Verlag, p. 34-37 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11085).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Max-cut above spanning tree is fixed-parameter tractable

    Madathil, J., Saurabh, S. & Zehavi, M., 1 Jan 2018, Computer Science - Theory and Applications - 13th International Computer Science Symposium in Russia, CSR 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (eds.). Springer Verlag, p. 244-256 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10846 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Memento: Making sliding windows efficient for heavy hitters

    Basat, R. B., Einziger, G., Keslassy, I., Orda, A., Vargaftik, S. & Waisbard, E., 4 Dec 2018, CoNEXT 2018 - Proceedings of the 14th International Conference on Emerging Networking EXperiments and Technologies. Association for Computing Machinery, Inc, p. 254-266 13 p. (CoNEXT 2018 - Proceedings of the 14th International Conference on Emerging Networking EXperiments and Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    34 Scopus citations

  • Metric embedding via shortest path decompositions

    Abraham, I., Gupta, A., Filtser, A. & Neiman, O., 20 Jun 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 912-919 8 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    11 Scopus citations

  • Multi-Label Classification of Patient Notes: Case Study on ICD Code Assignment

    Baumel, T., Nassour-Kassis, J., Cohen, R., Elhadad, M. & Elhadad, N., 2018, 2018 AAAI Joint Workshop on Health Intelligence (W3PHIAI 2018) . New Orleans: AAAI press, p. 409-416 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Near isometric terminal embeddings for doubling metrics

    Elkin, M. & Neiman, O., 1 Jun 2018, 34th International Symposium on Computational Geometry, SoCG 2018. Toth, C. D. & Speckmann, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 361-3615 3255 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 99).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Near-optimal distributed routing with low memory

    Elkin, M. & Neiman, O., 23 Jul 2018, PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 207-216 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations

  • Nesting-safe recoverable linearizability: Modular constructions for non-volatile memory

    Attiya, H., Ben-Baruch, O. & Hendler, D., 23 Jul 2018, PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 7-16 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    32 Scopus citations

  • NTIRE 2018 challenge on spectral reconstruction from RGB images

    Arad, B., Ben-Shahar, O., Timofte, R., Van Gool, L., Zhang, L. & Yang, M. H., 13 Dec 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2018. Institute of Electrical and Electronics Engineers, p. 1042-1051 10 p. 8575291. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops; vol. 2018-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    109 Scopus citations

  • One-Round Secure Multiparty Computation of Arithmetic Streams and Functions: (Extended Abstract)

    Bitan, D. & Dolev, S., 17 Jun 2018, Cyber Security Cryptography and Machine Learning - Second International Symposium, CSCML 2018, Proceedings. Dinur, I., Dolev, S. & Lodha, S. (eds.). Springer Verlag, p. 255-273 19 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 proceeding › Conference contribution › peer-review

    1 Scopus citations

  • On multiparty garbling of arithmetic circuits

    Ben-Efraim, A., 1 Jan 2018, Advances in Cryptology – ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. Peyrin, T. & Galbraith, S. (eds.). Springer Verlag, p. 3-33 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11274 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • On the satisfiability threshold of random community-structured SAT

    Barak-Pelleg, D. & Berend, D., 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. 1249-1255 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Optimal approximation of random variables for estimating the probability of meeting a plan deadline

    Cohen, L., Grinshpoun, T. & Weiss, G., 1 Jan 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI press, p. 6327-6334 8 p. (32nd AAAI Conference on Artificial Intelligence, AAAI 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Optimal linear multiparty conditional disclosure of secrets protocols

    Beimel, A. & Peter, N., 1 Jan 2018, Advances in Cryptology – ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. Peyrin, T. & Galbraith, S. (eds.). Springer Verlag, p. 332-362 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11274 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations

  • Parameterized algorithms for survivable network design with uniform demands

    Bang-Jensen, J., Basavaraju, M., Klinkby, K. V., Misra, P., Ramanujan, M. S., Saurabh, S. & Zehavi, M., 1 Jan 2018, 29th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018. Czumaj, A. (ed.). Association for Computing Machinery, p. 2838-2850 13 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    10 Scopus citations

  • Polylogarithmic Approximation Algorithms for Weighted-F-Deletion Problems

    Agrawal, A., Lokshtanov, D., Misra, P., Saurabh, S. & Zehavi, M., 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 fuer Informatik, 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 116).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations

  • Privacy via Maintaining Small Similitude Data for Big Data Statistical Representation

    Derbeko, P., Dolev, S. & Gudes, E., 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. 105-119 15 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 proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Quasipolynomial representation of transversal matroids with applications in parameterized complexity

    Lokshtanov, D., Misra, P., Panolan, F., Saurabh, S. & Zehavi, M., 1 Jan 2018, 9th Innovations in Theoretical Computer Science, ITCS 2018. Karlin, A. R. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 94).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Ramsey spanning trees and their applications

    Abraham, I., Chechik, S., Elkin, M., Filtser, A. & Neiman, O., 1 Jan 2018, 29th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018. Czumaj, A. (ed.). Association for Computing Machinery, p. 1650-1664 15 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    9 Scopus citations

  • Ransomware prevention using application authentication-based file access control

    Ami, O., Elovici, Y. & Hendler, D., 9 Apr 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, p. 1610-1619 10 p. (Proceedings of the ACM Symposium on Applied Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    17 Scopus citations

  • Reasoning methods for ME-maps - A CSP based approach

    Maraee, A. & Sturm, A., 6 Jul 2018, 2018 12th International Conference on Research Challenges in Information Science, RCIS 2018. Institute of Electrical and Electronics Engineers, p. 1-11 11 p. (Proceedings - International Conference on Research Challenges in Information Science; vol. 2018-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Recoverable mutual exclusion under system-wide failures

    Golab, W. & Hendler, D., 23 Jul 2018, PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 17-26 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    20 Scopus citations

  • Reducing CMSO model checking to highly connected graphs

    Lokshtanov, D., Ramanujan, M. S., Saurabh, S. & Zehavi, M., 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, 135. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 107).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    25 Scopus citations

  • Resolving SINR queries in a dynamic setting

    Aronov, B., Bar-On, G. & Katz, M. J., 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, 145. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 107).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Si O No, Que Penses? Catalonian Independence and Linguistic Identity on Social Media

    Stewart, I., Pinter, Y. & Eisenstein, J., Jun 2018, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Walker, M., Ji, H. & Stent, A. (eds.). New Orleans, Louisiana: Association for Computational Linguistics, Vol. 2. p. 136-141 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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 proceeding › Conference contribution › peer-review

    10 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 proceeding › Conference contribution › peer-review

    Open Access
    12 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    5 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    Open Access
    42 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 proceeding › Conference contribution › peer-review

    18 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    Open Access
    16 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 proceeding › Conference contribution › peer-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., Sep 2018, Assistance and Service Robotics in a Human Environment: From Personal Mobility Aids to Rehabilitation-Oriented Robotics..

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    Open Access
    15 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 proceeding › Conference contribution › peer-review

    Open Access
    12 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 proceeding › Conference contribution › peer-review

    22 Scopus citations