The Rachel and Selim Benin School of Engineering and Computer Science

Filter
Conference contribution

Search results

  • 2020

    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
    17 Scopus citations
  • On (I/O)-Aware Good-For-Games Automata

    Faran, R. & Kupferman, O., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Springer Science and Business Media Deutschland GmbH, p. 161-178 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12302 LNCS).

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

    1 Scopus citations
  • Online probabilistic metric embedding: A general framework for bypassing inherent bounds

    Bartal, Y., Fandina, N. & Umboh, S. W., 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 1538-1557 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

    6 Scopus citations
  • On repetition languages

    Kupferman, O. & Leshkowitz, O., 1 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, MFCS-2020-59. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

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

    3 Scopus citations
  • On Synthesis of Specifications with Arithmetic

    Faran, R. & Kupferman, O., 2020, SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Proceedings. Chatzigeorgiou, A., Dondi, R., Herodotou, H., Kapoutsis, C., Manolopoulos, Y., Papadopoulos, G. A. & Sikora, F. (eds.). Springer, p. 161-173 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12011 LNCS).

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

    9 Scopus citations
  • On the communication exponent of distributed testing for Gaussian correlations

    Kochman, Y. & Wang, L., 2020, 2020 IEEE Information Theory Workshop, ITW 2020. Institute of Electrical and Electronics Engineers Inc., p. 1-5 5 p. 9457632. (2020 IEEE Information Theory Workshop, ITW 2020).

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

    Open Access
    2 Scopus citations
  • On the optimality of dolinar’s receiver

    Katz, I. & Kochman, Y., 2020, 2020 IEEE Information Theory Workshop, ITW 2020. Institute of Electrical and Electronics Engineers Inc., p. 1-5 5 p. 9457582. (2020 IEEE Information Theory Workshop, ITW 2020).

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

  • Optimal End-Biased Histograms for Hierarchical Data

    Behar, R. & Cohen, S., 19 Oct 2020, CIKM 2020 - Proceedings of the 29th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 3261-3264 4 p. (International Conference on Information and Knowledge Management, Proceedings).

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

    2 Scopus citations
  • Out-of-band authenticated group key exchange: From strong authentication to immediate key delivery

    Naor, M., Rotem, L. & Segev, G., 1 Jun 2020, 1st Conference on Information-Theoretic Cryptography, ITC 2020. Kalai, Y. T., Smith, A. D. & Wichs, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 163).

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

    1 Scopus citations
  • Parallelization Techniques for Verifying Neural Networks

    Wu, H., Ozdemir, A., Zeljic, A., Julian, K., Irfan, A., Gopinath, D., Fouladi, S., Katz, G., Pasareanu, C. & Barrett, C., 21 Sep 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. Ivrii, A., Strichman, O., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 128-137 10 p. 9283631. (Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020).

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

    31 Scopus citations
  • Parametrized metrical task systems

    Bubeck, S. & Rabani, Y., 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, APPROX54. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 176).

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

    2 Scopus citations
  • PCC Proteus: Scavenger Transport and beyond

    Meng, T., Schiff, N. R., Brighten Godfrey, P. & Schapira, M., 30 Jul 2020, SIGCOMM 2020 - Proceedings of the 2020 Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication. Association for Computing Machinery, p. 615-631 17 p. (SIGCOMM 2020 - Proceedings of the 2020 Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication).

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

    67 Scopus citations
  • Perspective games with notifications

    Kupferman, O. & Shenwald, N., Dec 2020, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020. Saxena, N. & Simon, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 51. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 182).

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

    3 Scopus citations
  • Proving Server Faults: RPCs for Distributed Systems in Byzantine Networks

    Weiss, J., Kwon, A. & Gilad, Y., 4 Nov 2020, HotNets 2020 - Proceedings of the 19th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 74-80 7 p. (HotNets 2020 - Proceedings of the 19th ACM Workshop on Hot Topics in Networks).

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

  • PWAS: Proteome-wide association study

    Brandes, N., Linial, N. & Linial, M., 2020, Research in Computational Molecular Biology - 24th Annual International Conference, RECOMB 2020, Proceedings. Schwartz, R. (ed.). Springer, p. 237-239 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12074 LNBI).

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

    Open Access
    1 Scopus citations
  • Reasoning about quality and fuzziness of strategic behaviours

    Bouyer, P., Kupferman, O., Markey, N., Maubert, B., Murano, A. & Perelli, G., 24 Aug 2020, ECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings. De Giacomo, G., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarin, A. & Lang, J. (eds.). IOS Press BV, p. 2887-2888 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).

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

  • Reasoning about the future in blockchain databases

    Cohen, S., Rosenthal, A. & Zohar, A., Apr 2020, Proceedings - 2020 IEEE 36th International Conference on Data Engineering, ICDE 2020. IEEE Computer Society, p. 1930-1933 4 p. 9101185. (Proceedings - International Conference on Data Engineering; vol. 2020-April).

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

    7 Scopus citations
  • Revisiting Asynchronous Fault Tolerant Computation with Optimal Resilience

    Abraham, I., Dolev, D. & Stern, G., 31 Jul 2020, PODC 2020 - Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 139-148 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    Open Access
    9 Scopus citations
  • Route Hijacking and DoS in Off-Chain Networks

    Tochner, S., Zohar, A. & Schmid, S., 21 Oct 2020, AFT 2020 - Proceedings of the 2nd ACM Conference on Advances in Financial Technologies. Association for Computing Machinery, Inc, p. 228-240 13 p. (AFT 2020 - Proceedings of the 2nd ACM Conference on Advances in Financial Technologies).

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

    25 Scopus citations
  • Secure massively parallel computation for dishonest majority

    Fernando, R., Komargodski, I., Liu, Y. & Shi, E., 2020, Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings. Pass, R. & Pietrzak, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 379-409 31 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

    4 Scopus citations
  • Semantic Structural Decomposition for Neural Machine Translation

    Sulem, E., Abend, O. & Rappoport, A., Dec 2020, Proceedings of the Ninth Joint Conference on Lexical and Computational Semantics. Gurevych, I., Apidianaki, M. & Faruqui, M. (eds.). Barcelona, Spain (Online): Association for Computational Linguistics (ACL), p. 50-57 8 p.

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

    Open Access
  • Simplifying Neural Networks Using Formal Verification

    Gokulanathan, S., Feldsher, A., Malca, A., Barrett, C. & Katz, G., 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, p. 85-93 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).

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

    24 Scopus citations
  • SOK: Cryptocurrency networking context, state-of-the-art, challenges

    Dotan, M., Pignolet, Y. A., Schmid, S., Tochner, S. & Zohar, A., 25 Aug 2020, Proceedings of the 15th International Conference on Availability, Reliability and Security, ARES 2020. Association for Computing Machinery, (ACM International Conference Proceeding Series).

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

    11 Scopus citations
  • Spectral algorithm for shared low-rank matrix regressions

    Gigi, Y., Nevo, S., Elidan, G., Hassidim, A., Matias, Y. & Wiesel, A., Jun 2020, 2020 IEEE 11th Sensor Array and Multichannel Signal Processing Workshop, SAM 2020. IEEE Computer Society, 9104279. (Proceedings of the IEEE Sensor Array and Multichannel Signal Processing Workshop; vol. 2020-June).

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

    1 Scopus citations
  • The Duality Upper Bound for Unifilar Finite-State Channels with Feedback

    Sabag, O. & Permuter, H. H., 26 Feb 2020, International Zurich Seminar on Information and Communication (IZS 2020). Proceedings. Lapidoth, A. & Moser, S. M. (eds.). Zurich: ETH Zurich, p. 68 - 72

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

    Open Access
  • The language of legal and illegal activity on the darknet

    Choshen, L., Eldad, D., Hershcovich, D., Sulem, E. & Abend, O., 2020, ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 4271-4279 9 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

    12 Scopus citations
  • The surprising effectiveness of linear unsupervised image-to-image translation

    Richardson, E. & Weiss, Y., 2020, Proceedings of ICPR 2020 - 25th International Conference on Pattern Recognition. Institute of Electrical and Electronics Engineers Inc., p. 7855-7861 7 p. 9413199. (Proceedings - International Conference on Pattern Recognition).

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

    Open Access
    4 Scopus citations
  • Towards a proof of the fourier-entropy conjecture?

    Kelman, E., Kindler, G., Lifshitz, N., Minzer, D. & Safra, M., Nov 2020, Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020. IEEE Computer Society, p. 247-258 12 p. 9317968. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2020-November).

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

    Open Access
    3 Scopus citations
  • Tutorial at COLING 2020 Cross-lingual Semantic Representation for NLP with UCCA

    Abend, O., Dvir, D., Hershcovich, D., Prange, J. & Schneider, N., 2020, COLING 2020 - 28th International Conference on Computational Linguistics, Tutorial Abstracts. Specia, L. & Beck, D. (eds.). Association for Computational Linguistics (ACL), p. 1-9 9 p. (COLING 2020 - 28th International Conference on Computational Linguistics, Tutorial Abstracts).

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

    Open Access
    3 Scopus citations
  • Unary prime languages

    Jecker, I., Kupferman, O. & Mazzocchi, N., 1 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, MFCS-2020-51. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

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

    5 Scopus citations
  • Verifying Recurrent Neural Networks Using Invariant Inference

    Jacoby, Y., Barrett, C. & Katz, G., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Springer Science and Business Media Deutschland GmbH, p. 57-74 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12302 LNCS).

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

    Open Access
    25 Scopus citations
  • 2019

    3D Modelling of the Residual Freezing for Renal Cryoablation Simulation and Prediction

    Essert, C., Rao, P. P., Gangi, A. & Joskowicz, L., 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019 - 22nd International Conference, Proceedings. Shen, D., Yap, P.-T., Liu, T., Peters, T. M., Khan, A., Staib, L. H., Essert, C. & Zhou, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 209-217 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11768 LNCS).

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

    2 Scopus citations
  • Access to population-level signaling as a source of inequality

    Immorlica, N., Ligett, K. & Ziani, J., 29 Jan 2019, FAT* 2019 - Proceedings of the 2019 Conference on Fairness, Accountability, and Transparency. Association for Computing Machinery, Inc, p. 249-258 10 p. (FAT* 2019 - Proceedings of the 2019 Conference on Fairness, Accountability, and Transparency).

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

    Open Access
    8 Scopus citations
  • A deep reinforcement learning perspective on internet congestion control

    Jay, N., Rotman, N. H., Brighten Godfrey, P., Schapira, M. & Tamar, A., 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 5390-5399 10 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

    70 Scopus citations
  • A Lower Bound on the Expected Distortion of Joint Source-Channel Coding

    Kochman, Y., Ordentlich, O. & Polyanskiy, Y., Jul 2019, 2019 IEEE International Symposium on Information Theory, ISIT 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1332-1336 5 p. 8849390. (IEEE International Symposium on Information Theory - Proceedings; vol. 2019-July).

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

    Open Access
    7 Scopus citations
  • Automatically extracting challenge sets for non-local phenomena in neural machine translation

    Choshen, L. & Abend, O., 2019, CoNLL 2019 - 23rd Conference on Computational Natural Language Learning, Proceedings of the Conference. Association for Computational Linguistics, p. 291-303 13 p. (CoNLL 2019 - 23rd Conference on Computational Natural Language Learning, Proceedings of the Conference).

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

    Open Access
    13 Scopus citations
  • Beating BGP is harder than we thought

    Arnold, T., Calder, M., Cunha, I., Gupta, A., Madhyastha, H. V., Schapira, M. & Katz-Bassett, E., 13 Nov 2019, HotNets 2019 - Proceedings of the 18th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 9-16 8 p. (HotNets 2019 - Proceedings of the 18th ACM Workshop on Hot Topics in Networks).

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

    15 Scopus citations
  • Blind Unwrapping of Modulo Reduced Gaussian Vectors: Recovering MSBs from LSBs

    Romanov, E. & Ordentlich, O., Jul 2019, 2019 IEEE International Symposium on Information Theory, ISIT 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2329-2333 5 p. 8849841. (IEEE International Symposium on Information Theory - Proceedings; vol. 2019-July).

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

    Open Access
    2 Scopus citations
  • Communication complexity of byzantine agreement, revisited

    Abraham, I., Chan, T. H. H., Dolev, D., Nayak, K., Pass, R., Ren, L. & Shi, E., 16 Jul 2019, PODC 2019 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 317-326 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    Open Access
    75 Scopus citations
  • Communication complexity of cake cutting

    Brânzei, S. & Nisan, N., 17 Jun 2019, ACM EC 2019 - Proceedings of the 2019 ACM Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 525 1 p. (ACM EC 2019 - Proceedings of the 2019 ACM Conference on Economics and Computation).

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

    Open Access
    12 Scopus citations
  • Computation of matrix chain products on parallel machines

    Schwartz, O. & Weiss, E., May 2019, Proceedings - 2019 IEEE 33rd International Parallel and Distributed Processing Symposium, IPDPS 2019. Institute of Electrical and Electronics Engineers Inc., p. 491-500 10 p. 8820783. (Proceedings - 2019 IEEE 33rd International Parallel and Distributed Processing Symposium, IPDPS 2019).

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

    3 Scopus citations
  • Content differences in syntactic and semantic representations

    Hershcovich, D., Abend, O. & Rappoport, A., 2019, Long and Short Papers. Association for Computational Linguistics (ACL), p. 478-488 11 p. (NAACL HLT 2019 - 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies - Proceedings of the Conference; vol. 1).

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

    9 Scopus citations
  • Corrected trees for reliable group communication

    Küttler, M., Planeta, M., Bierbaum, J., Weinhold, C., Härtig, H., Barak, A. & Hoefler, T., 16 Feb 2019, PPoPP 2019 - Proceedings of the 24th Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 287-299 13 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

    2 Scopus citations
  • Covering metric spaces by few trees

    Bartal, Y., Fandina, N. & Neiman, O., 1 Jul 2019, 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019. Baier, C., Chatzigiannakis, I., Flocchini, P. & Leonardi, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 132).

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

    11 Scopus citations
  • Detection of Distal Radius Fractures Trained by a Small Set of X-Ray Images and Faster R-CNN

    Yahalomi, E., Chernofsky, M. & Werman, M., 2019, Intelligent Computing - Proceedings of the 2019 Computing Conference. Arai, K., Bhatia, R. & Kapoor, S. (eds.). Springer Verlag, p. 971-981 11 p. (Advances in Intelligent Systems and Computing; vol. 997).

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

    43 Scopus citations
  • Discovering unexpected local nonlinear interactions in scientific black-box models

    Doron, M., Segev, I. & Shahaf, D., 25 Jul 2019, KDD 2019 - Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 425-435 11 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

    Open Access
    3 Scopus citations
  • Dynamic Temporal Alignment of Speech to Lips

    Halperin, T., Ephrat, A. & Peleg, S., May 2019, 2019 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 3980-3984 5 p. 8682863. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2019-May).

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

    Open Access
    28 Scopus citations
  • Enumerating minimal weight set covers

    Ajami, Z. & Cohen, S., Apr 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE Computer Society, p. 518-529 12 p. 8731348. (Proceedings - International Conference on Data Engineering; vol. 2019-April).

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

    5 Scopus citations
  • Expander graphs-both local and global

    Chapman, M., Linial, N. & Peled, Y., Nov 2019, Proceedings - 2019 IEEE 60th Annual Symposium on Foundations of Computer Science, FOCS 2019. IEEE Computer Society, p. 158-170 13 p. 8948700. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2019-November).

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

    Open Access
  • Exponent Trade-off for Hypothesis Testing Over Noisy Channels

    Weinberger, N., Kochman, Y. & Wigger, M., Jul 2019, 2019 IEEE International Symposium on Information Theory, ISIT 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1852-1856 5 p. 8849485. (IEEE International Symposium on Information Theory - Proceedings; vol. 2019-July).

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

    Open Access
    11 Scopus citations