Faculty of Exact Sciences

Filter
Conference contribution

Search results

  • 2020

    Getting Rid of Data (Abstract)

    Milo, T., 2020, Proceedings of the 28th Italian Symposium on Advanced Database Systems, Villasimius, Sud Sardegna, Italy (virtual due to Covid-19 pandemic), June 21-24, 2020. Agosti, M., Atzori, M., Ciaccia, P. & Tanca, L. (eds.). CEUR-WS.org, Vol. 2646. p. v (CEUR Workshop Proceedings).

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

  • Global Guidance for Local Generalization in Model Checking

    Vediramana Krishnan, H. G., Chen, Y. T., Shoham, S. & Gurfinkel, A., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 101-125 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12225 LNCS).

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

    Open Access
    16 Scopus citations
  • GrabAR: Occlusion-aware grabbing virtual objects in AR

    Tang, X., Hu, X., Fu, C. W. & Cohen-Or, D., 20 Oct 2020, UIST 2020 - Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, Inc, p. 697-708 12 p. 3415835. (UIST 2020 - Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology).

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

    Open Access
    19 Scopus citations
  • Greedy Maximal Independent Sets via Local Limits

    Krivelevich, M., Mészáros, T., Michaeli, P. & Shikhelman, C., 1 Jun 2020, 31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, A of A 2020. Drmota, M. & Heuberger, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 159).

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

    2 Scopus citations
  • Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation

    Ish-Shalom, O., Itzhaky, S., Manevich, R. & Rinetzky, N., 2020, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, Proceedings. Beyer, D. & Zufferey, D. (eds.). Springer, p. 180-201 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11990 LNCS).

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

  • Hierarchical Clustering: A 0.585 Revenue Approximation

    Alon, N., Azar, Y. & Vainstein, D., 2020, Proceedings of Machine Learning Research: Proceedings of Thirty Third Conference on Learning Theory, PMLR. Abernethy, J. & Agarwal, S. (eds.). Vol. 125. p. 153-162 10 p.

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

  • HIERARCHICAL TIMBRE-PAINTING AND ARTICULATION GENERATION

    Michelashvili, M. & Wolf, L., 2020, Proceedings of the 21st International Society for Music Information Retrieval Conference, ISMIR 2020. Cumming, J., Lee, J. H., McFee, B., Schedl, M., Devaney, J., Devaney, J., McKay, C., Zangerle, E. & de Reuse, T. (eds.). International Society for Music Information Retrieval, p. 216-222 7 p. (Proceedings of the 21st International Society for Music Information Retrieval Conference, ISMIR 2020).

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

    4 Scopus citations
  • How to find a point in the convex hull privately

    Kaplan, H., Sharir, M. & Stemmer, U., 1 Jun 2020, 36th International Symposium on Computational Geometry, SoCG 2020. Cabello, S. & Chen, D. Z. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, LIPIcs-SoCG-2020-52. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 164).

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

    5 Scopus citations
  • Improving compositional generalization in semantic parsing

    Oren, I., Herzig, J., Gupta, N., Gardner, M. & Berant, J., 2020, Findings of the Association for Computational Linguistics Findings of ACL: EMNLP 2020. Association for Computational Linguistics (ACL), p. 2482-2495 14 p. (Findings of the Association for Computational Linguistics Findings of ACL: EMNLP 2020).

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

    37 Scopus citations
  • Incidences between points and curves with almost two degrees of freedom

    Sharir, M. & Zlydenko, O., 1 Jun 2020, 36th International Symposium on Computational Geometry, SoCG 2020. Cabello, S. & Chen, D. Z. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, LIPIcs-SoCG-2020-66. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 164).

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

    2 Scopus citations
  • Incremental based top-k similarity search framework for interactive-data-analysis sessions

    Elbaz, O., Milo, T. & Somech, A., 2020, Advances in Database Technology - EDBT 2020: 23rd International Conference on Extending Database Technology, Proceedings. Bonifati, A., Zhou, Y., Vaz Salles, M. A., Bohm, A., Olteanu, D., Fletcher, G., Khan, A. & Yang, B. (eds.). OpenProceedings.org, p. 97-108 12 p. (Advances in Database Technology - EDBT; vol. 2020-March).

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

    2 Scopus citations
  • Inherent vacuity for GR(1) specifications

    Maoz, S. & Shalom, R., 8 Nov 2020, ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (eds.). Association for Computing Machinery, Inc, p. 99-110 12 p. (ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

    Open Access
    14 Scopus citations
  • Injecting numerical reasoning skills into language models

    Geva, M., Gupta, A. & Berant, J., 2020, ACL 2020 - 58th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 946-958 13 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics).

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

    109 Scopus citations
  • Inventory reduction via maximal coverage in e-commerce

    Gershtein, S., Milo, T. & Novgorodov, S., 2020, Advances in Database Technology - EDBT 2020: 23rd International Conference on Extending Database Technology, Proceedings. Bonifati, A., Zhou, Y., Vaz Salles, M. A., Bohm, A., Olteanu, D., Fletcher, G., Khan, A. & Yang, B. (eds.). OpenProceedings.org, p. 522-533 12 p. (Advances in Database Technology - EDBT; vol. 2020-March).

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

    3 Scopus citations
  • IoCTopus: Outsmarting nonuniform DMA

    Smolyar, I., Markuze, A., Pismenny, B., Eran, H., Zellweger, G., Bolen, A., Liss, L., Morrison, A. & Tsafrir, D., 9 Mar 2020, ASPLOS 2020 - 25th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 101-115 15 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

    17 Scopus citations
  • IR-SNOM on a fork: Infrared scanning near-field optical microscopy for thermal profiling of quantum cascade lasers

    Pandey, B. J., Clark, K. P., Abbas, F., Fuchs, E., Lascola, K., Dikmelik, Y., Hinojos, D., Hodges, K., Robbins, D. I., Platkov, M., Katzir, A., Suliman, A., Spingarn, G., Niguès, A., Veyan, J. F., Gu, Q. & Roodenko, K., 2020, Quantum Sensing and Nano Electronics and Photonics XVII. Razeghi, M., Lewis, J. S., Khodaparast, G. A. & Khalili, P. (eds.). SPIE, 112881Q. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11288).

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

    1 Scopus citations
  • Jellyfish smart wound dressing device containing in-situ synthesized anti-bacterial nanoparticles

    Nudelman, R., Alhmoud, H., Delalat, B., Elnathan, R., Guliakhmedova, T., Gozin, M., Richter, S. & Voelcker, N., Jan 2020, International Conference on Nanostructured Materials (NANO 2020). Melbourne: Engineers Australia Pty. Ltd.

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

  • Just-In-Time Reactive Synthesis

    Maoz, S. & Shevrin, I., Sep 2020, Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020. Institute of Electrical and Electronics Engineers Inc., p. 635-646 12 p. 9286093. (Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020).

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

    Open Access
    9 Scopus citations
  • Learning Canonical Representations for Scene Graph to Image Generation

    Herzig, R., Bar, A., Xu, H., Chechik, G., Darrell, T. & Globerson, A., 2020, Computer Vision – ECCV 2020 - 16th European Conference, 2020, Proceedings. Vedaldi, A., Bischof, H., Brox, T. & Frahm, J-M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 210-227 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12371 LNCS).

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

    Open Access
    32 Scopus citations
  • Learning Object Permanence from Video

    Shamsian, A., Kleinfeld, O., Globerson, A. & Chechik, G., 2020, Computer Vision – ECCV 2020 - 16th European Conference, Proceedings. Vedaldi, A., Bischof, H., Brox, T. & Frahm, J-M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 35-50 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12361 LNCS).

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

    Open Access
    9 Scopus citations
  • Learning Personal Representations from fMRI by Predicting Neurofeedback Performance

    Osin, J., Wolf, L., Gurevitch, G., Keynan, J. N., Fruchtman-Steinbok, T., Or-Borichev, A. & Hendler, T., 2020, Medical Image Computing and Computer Assisted Intervention – MICCAI 2020 - 23rd International Conference, Proceedings. Martel, A. L., Abolmaesumi, P., Stoyanov, D., Mateus, D., Zuluaga, M. A., Zhou, S. K., Racoceanu, D. & Joskowicz, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 469-478 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12267 LNCS).

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

    Open Access
    2 Scopus citations
  • Locality sensitive hashing for set-queries, motivated by group recommendations

    Kaplan, H. & Tenenbaum, J., 1 Jun 2020, 17th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2020. Albers, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 162).

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

  • Logarithmic regret for learning linear quadratic regulators efficiently

    Cassel, A., Cohen, A. & Koren, T., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 1305-1314 10 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-2).

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

    17 Scopus citations
  • Lower Bounds for Distributed Sketching of Maximal Matchings and Maximal Independent Sets

    Assadi, S., Kol, G. & Oshman, R., 31 Jul 2020, PODC 2020 - Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 79-88 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    6 Scopus citations
  • Lower bounds on the time/memory tradeoff of function inversion

    Chawin, D., Haitner, I. & Mazor, N., 2020, Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings. Pass, R. & Pietrzak, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 305-334 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12552 LNCS).

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

    Open Access
    2 Scopus citations
  • Manufacturing, integration, and mechanical verification of SOXS

    Aliverti, M., Oggioni, L., Genoni, M., Pariani, G., Hershko, O., Brucalassi, A., Pignata, G., Kuncarayakti, H., Sanchez, R. Z., Munari, M., Campana, S., Schipani, P., Claudi, R., Baruffolo, A., Ben-Ami, S., Biondi, F., Capasso, G., Cosentino, R., D'Alessio, F., D'Avanzo, P., & 29 othersLandoni, M., Rubin, A., Scuderi, S., Vitali, F., Young, D., Achrén, J., Araiza-Duran, J. A., Arcavi, I., Bruch, R., Cappellaro, E., Colapietro, M., della Valle, M., de Pascale, M., Di Benedetto, R., D'Orsi, S., Gal-Yam, A., Hernandez, M., Kotilainen, J., Li Causi, G., Mattila, S., Rappaport, M., Radhakrishnan, K., Redaelli, E. M. A., Ricci, D., Riva, M., Salasnich, B., Smartt, S., Stritzinger, M. & Ventura, E., 2020, Ground-Based and Airborne Instrumentation for Astronomy VIII. Evans, C. J., Bryant, J. J. & Motohara, K. (eds.). SPIE, 114476O. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11447).

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

    Open Access
    8 Scopus citations
  • MC3: A System for Minimization of Classifier Construction Cost

    Gershtein, S., Milo, T., Morami, G. & Novgorodov, S., 14 Jun 2020, SIGMOD 2020 - Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, p. 2725-2728 4 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

    1 Scopus citations
  • Meta decision trees for explainable recommendation systems

    Shulman, E. & Wolf, L., 7 Feb 2020, AIES 2020 - Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society. Association for Computing Machinery, Inc, p. 365-371 7 p. (AIES 2020 - Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society).

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

    Open Access
    9 Scopus citations
  • Minimization of Classifier Construction Cost for Search Queries

    Gershtein, S., Milo, T., Morami, G. & Novgorodov, S., 14 Jun 2020, SIGMOD 2020 - Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, p. 1351-1365 15 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

    3 Scopus citations
  • Monotone probability distributions over the Boolean cube can be learned with sublinear samples

    Rubinfeld, R. & Vasilyan, A., Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    2 Scopus citations
  • MuLtIQA: An empirical investigation of generalization and transfer in reading comprehension

    Talmor, A. & Berant, J., 2020, ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 4911-4921 11 p. (ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference).

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

    86 Scopus citations
  • Near optimal algorithm for the directed single source replacement paths problem

    Chechik, S. & Magen, O., 1 Jun 2020, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020. Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 81. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 168).

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

    7 Scopus citations
  • Near-optimal erasure list-decodable codes

    Ben-Aroya, A., Doron, D. & Ta-Shma, A., 1 Jul 2020, 35th Computational Complexity Conference, CCC 2020. Saraf, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 169).

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

    5 Scopus citations
  • Near-optimal regret bounds for stochastic shortest path

    Cohen, A., Kaplan, H., Mansour, Y. & Rosenberg, A., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 8180-8189 10 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-11).

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

    4 Scopus citations
  • NFV-based IoT Security for Home Networks using MUD

    Afek, Y., Bremler-Barr, A., Hay, D., Goldschmidt, R., Shafir, L., Avraham, G. & Shalev, A., Apr 2020, Proceedings of IEEE/IFIP Network Operations and Management Symposium 2020: Management in the Age of Softwarization and Artificial Intelligence, NOMS 2020. Institute of Electrical and Electronics Engineers Inc., 9110329. (Proceedings of IEEE/IFIP Network Operations and Management Symposium 2020: Management in the Age of Softwarization and Artificial Intelligence, NOMS 2020).

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

    Open Access
    14 Scopus citations
  • Non-chattering discrete differentiators based on sliding modes

    Hanan, A., Jbara, A. & Levant, A., 14 Dec 2020, 2020 59th IEEE Conference on Decision and Control, CDC 2020. Institute of Electrical and Electronics Engineers Inc., p. 3987-3992 6 p. 9304283. (Proceedings of the IEEE Conference on Decision and Control; vol. 2020-December).

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

    12 Scopus citations
  • NXNSAttack: Recursive DNS inefficiencies and vulnerabilities

    Afek, Y., Bremler-Barr, A. & Shafir, L., 2020, Proceedings of the 29th USENIX Security Symposium. USENIX Association, p. 631-648 18 p. (Proceedings of the 29th USENIX Security Symposium).

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

    25 Scopus citations
  • Obtaining faithful interpretations from compositional neural networks

    Subramanian, S., Bogin, B., Gupta, N., Wolfson, T., Singh, S., Berant, J. & Gardner, M., 2020, ACL 2020 - 58th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 5594-5608 15 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics).

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

    23 Scopus citations
  • OneGAN: Simultaneous Unsupervised Learning of Conditional Image Generation, Foreground Segmentation, and Fine-Grained Clustering

    Benny, Y. & Wolf, L., 2020, Computer Vision – ECCV 2020 - 16th European Conference, 2020, Proceedings. Vedaldi, A., Bischof, H., Brox, T. & Frahm, J-M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 514-530 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12371 LNCS).

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

    Open Access
    17 Scopus citations
  • On hitting-set generators for polynomials that vanish rarely

    Doron, D., Ta-Shma, A. & Tell, R., 1 Aug 2020, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2020. Byrka, J. & Meka, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, APPROX7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 176).

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

    1 Scopus citations
  • Online revenue maximization for server pricing

    Boodaghians, S., Fusco, F., Leonardi, S., Mansour, Y. & Mehta, R., 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020. Bessiere, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 4106-4112 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2021-January).

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

    2 Scopus citations
  • Online Stochastic Max-Weight Matching: Prophet Inequality for Vertex and Edge Arrival Models

    Ezra, T., Feldman, M., Gravin, N. & Tang, Z. G., 13 Jul 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, p. 769-787 19 p. 3399513. (EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation).

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

    Open Access
    36 Scopus citations
  • On Multiple Semantics for Declarative Database Repairs

    Gilad, A., Deutch, D. & Roy, S., 14 Jun 2020, SIGMOD 2020 - Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, p. 817-831 15 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

    Open Access
    8 Scopus citations
  • On oblivious amplification of coin-tossing protocols

    Bitansky, N. & Geier, N., Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

  • On the cryptographic hardness of local search

    Bitansky, N. & Gerichter, I., Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    7 Scopus citations
  • On the performance of reed-muller codes with respect to random errors and erasures

    Sberlo, O. & Shpilka, A., 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 1357-1376 20 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2020-January).

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

    17 Scopus citations
  • On the Power and Limits of Dynamic Pricing in Combinatorial Markets

    Berger, B., Eden, A. & Feldman, M., 2020, Web and Internet Economics - 16th International Conference, WINE 2020, Proceedings. Chen, X., Gravin, N., Hoefer, M. & Mehta, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 206-219 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12495 LNCS).

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

    Open Access
    3 Scopus citations
  • On the round complexity of the shuffle model

    Beimel, A., Haitner, I., Nissim, K. & Stemmer, U., 2020, Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings. Pass, R. & Pietrzak, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 683-712 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12551 LNCS).

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

    Open Access
    2 Scopus citations
  • Open Problem: Tight Convergence of SGD in Constant Dimension

    Koren, T. & Segal, S., 2020, Proceedings of Thirty Third Conference on Learning Theory. Abernethy, J. & Agarwal, S. (eds.). PMLR, p. 3847-3851 5 p. (Proceedings of Machine Learning Research; vol. 125).

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

  • Operational modes and efficiency of SOXS

    Claudi, R., Biondi, F., Elias-Rosa, N., Genoni, M., Munari, M., Radhakrishnan, K., Ricci, D., Zanmar Sanchez, R., Campana, S., Schipani, P., Aliverti, M., Baruffolo, A., Ben-Ami, S., Brucalassi, A., Capasso, G., Cosentino, R., D'Alessio, F., D'Avanzo, P., Hershko, O., Kuncarayakti, H., & 28 othersLandoni, M., Pignata, G., Rubin, A., Scuderi, S., Vitali, F., Young, D., Achrén, J., Araiza-Duran, J. A., Arcavi, I., Bruch, Cappellaro, E., Colapietro, M., della Valle, M., Di Benedetto, R., de Pascale, M., D'Orsi, S., Hernandez, M., Gal-Yam, A., Li Causi, G., Marafatto, L., Matila, S., Rappaport, M., Riva, M., Salasnich, B., Smartt, S., Stritzinger, M., Turatto, M. & Perez Ventura, H., 2020, Ground-Based and Airborne Instrumentation for Astronomy VIII. Evans, C. J., Bryant, J. J. & Motohara, K. (eds.). SPIE, 114477C. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11447).

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

    Open Access
    7 Scopus citations