Computer Science

Search results

  • 2024

    Accelerating the Global Aggregation of Local Explanations

    Mor, A., Belinkov, Y. & Kimelfeld, B., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 17, p. 18807-18814 8 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access

  • A Dataset for Metaphor Detection in Early Medieval Hebrew Poetry

    Toker, M., Mishali, O., Münz-Manor, O., Kimelfeld, B. & Belinkov, Y., 2024, EACL 2024 - 18th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference. Graham, Y., Purver, M. & Purver, M. (eds.). p. 443-453 11 p. (EACL 2024 - 18th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference; vol. 2).

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

  • A note on “Largest independent sets of certain regular subgraphs of the derangement graph”

    Filmus, Y. & Lindzey, N., 2024, (Accepted/In press) In: Journal of Algebraic Combinatorics.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Assessing Hierarchies by Their Consistent Segmentations

    Gutman, Z., Vij, R., Najman, L. & Lindenbaum, M., 2024, (Accepted/In press) In: Journal of Mathematical Imaging and Vision.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • A Unifying Framework for Incompleteness, Inconsistency, and Uncertainty in Databases

    Kimelfeld, B. & Kolaitis, P. G., 22 Feb 2024, In: Communications of the ACM. 67, 3, p. 74-83 10 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Automatic and Incremental Repair for Speculative Information Leaks

    Bard, J., Jacobs, S. & Vizel, Y., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). p. 291-313 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

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

    Open Access

  • Beyond the Csiszár–Körner Bound: Best-Possible Wiretap Coding via Obfuscation

    Ishai, Y., Korb, A., Lou, P. & Sahai, A., Mar 2024, In: Journal of Cryptology. 37, 1, 1.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Boolean Function Analysis on High-Dimensional Expanders

    Dikstein, Y., Dinur, I., Filmus, Y. & Harsha, P., 2024, (Accepted/In press) In: Combinatorica.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Bounds on Worst-Case Responsiveness for Agreement Algorithms

    Attiya, H. & Welch, J. L., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

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

  • Collision Resistance from Multi-collision Resistance

    Rothblum, R. D. & Vasudevan, P. N., Apr 2024, In: Journal of Cryptology. 37, 2, 14.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Contextual Pre-planning on Reward Machine Abstractions for Enhanced Transfer in Deep Reinforcement Learning

    Azran, G., Danesh, M. H., Albrecht, S. V. & Keren, S., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 10, p. 10953-10961 9 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access

  • Counting Polyominoes, Revisited

    Barequet, G. & Ben-Shachar, G., 2024, 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2024. p. 133-143 11 p. (Proceedings of the Workshop on Algorithm Engineering and Experiments).

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

  • Defense against smart invaders with swarms of sweeping agents

    Francos, R. M. & Bruckstein, A. M., Mar 2024, In: Robotics and Autonomous Systems. 173, 104620.

    Research output: Contribution to journal › Article › peer-review

  • Dimension-Minimality and Primality of Counter Nets

    Almagor, S., Avni, G., Sinclair-Banks, H. & Yeshurun, A., 2024, Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Kobayashi, N. & Worrell, J. (eds.). p. 229-249 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14575 LNCS).

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

    Open Access

  • Direct Access for Answers to Conjunctive Queries with Aggregation

    Eldar, I., Carmeli, N. & Kimelfeld, B., Mar 2024, 27th International Conference on Database Theory, ICDT 2024. Cormode, G. & Shekelyan, M. (eds.). 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 290).

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

  • Error-Correcting Codes for Nanopore Sequencing

    Banerjee, A., Yehezkeally, Y., Wachter-Zeh, A. & Yaakobi, E., 2024, (Accepted/In press) In: IEEE Transactions on Information Theory. p. 1 1 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Extensions and Limits of the Specker-Blatter Theorem

    Fischer, E. & Makowsky, J. A., 2024, (Accepted/In press) In: Journal of Symbolic Logic.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Extensions and Limits of the Specker-Blatter Theorem

    Fischer, E. & Makowsky, J. A., Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (eds.). 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 288).

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

  • Hypercontractivity on the symmetric group

    Filmus, Y., Kindler, G., Lifshitz, N. & Minzer, D., 8 Jan 2024, In: Forum of Mathematics, Sigma. 12, e6.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Improved Lower Bound for Estimating the Number of Defective Items

    Bshouty, N. H., 2024, Combinatorial Optimization and Applications - 16th International Conference, COCOA 2023, Proceedings. Wu, W. & Guo, J. (eds.). p. 303-315 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14461 LNCS).

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

    Open Access

  • Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit

    Attiya, H. & Welch, J. L., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

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

  • Nova: Safe Off-Heap Memory Allocation and Reclamation

    Fakhoury, R., Braginsky, A., Keidar, I. & Zuriel, Y., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

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

  • On Detecting Some Defective Items in Group Testing

    Bshouty, N. H. & Haddad-Zaknoon, C. A., 2024, Computing and Combinatorics - 29th International Conference, COCOON 2023, Proceedings. Wu, W. & Tong, G. (eds.). p. 244-271 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14422 LNCS).

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

    Open Access

  • Optimally reordering mobile agents on parallel rows

    Rabinovich, D., Amir, M. & Bruckstein, A. M., 21 Feb 2024, In: Theoretical Computer Science. 985, 114330.

    Research output: Contribution to journal › Article › peer-review

  • OPTIMAL SETS OF QUESTIONS FOR TWENTY QUESTIONS

    Filmus, Y. & Mehalel, I., 2024, In: SIAM Journal on Discrete Mathematics. 38, 1, p. 412-452 41 p.

    Research output: Contribution to journal › Article › peer-review

  • POSTER: RELAX: Durable Data Structures with Swift Recovery

    Zur, A., Cohen, N., Friedman, M. & Petrank, E., 2 Mar 2024, PPoPP 2024 - Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming. p. 475-477 3 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

    Open Access

  • Proving Unsatisfiability with Hitting Formulas

    Filmus, Y., Hirsch, E. A., Riazanov, A., Smal, A. & Vinyals, M., Jan 2024, 15th Innovations in Theoretical Computer Science Conference, ITCS 2024. Guruswami, V. (ed.). 48. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 287).

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

  • Reconstruction algorithms for DNA-storage systems

    Sabary, O., Yucovich, A., Shapira, G. & Yaakobi, E., Dec 2024, In: Scientific Reports. 14, 1, 1951.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Recoverable and Detectable Self-Implementations of Swap

    Lehman, T. L., Attiya, H. & Hendler, D., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

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

  • Sequence Design and Reconstruction Under the Repeat Channel in Enzymatic DNA Synthesis

    Shafir, R., Sabary, O., Anavy, L., Yaakobi, E. & Yakhini, Z., 1 Feb 2024, In: IEEE Transactions on Communications. 72, 2, p. 675-691 17 p.

    Research output: Contribution to journal › Article › peer-review

  • Skyline Operators for Document Spanners

    Amarilli, A., Kimelfeld, B., Labbé, S. & Mengel, S., Mar 2024, 27th International Conference on Database Theory, ICDT 2024. Cormode, G. & Shekelyan, M. (eds.). 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 290).

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

  • Spatial Voting with Incomplete Voter Information

    Imber, A., Israel, J., Brill, M., Shachnai, H. & Kimelfeld, B., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 9, p. 9790-9797 8 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access

  • Survivable Payment Channel Networks

    Podiatchev, Y., Orda, A. & Rottenstreich, O., 2024, 2024 16th International Conference on COMmunication Systems and NETworkS, COMSNETS 2024. p. 479-487 9 p. (2024 16th International Conference on COMmunication Systems and NETworkS, COMSNETS 2024).

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

  • Technical Note—Incomplete Information VCG Contracts for Common Agency

    Alon, T., Talgam-Cohen, I., Lavi, R. & Shamash, E., 1 Jan 2024, In: Operations Research. 72, 1, p. 288-299 12 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Temporal segmentation in multi agent path finding with applications to explainability

    Almagor, S., Kottinger, J. & Lahijanian, M., May 2024, In: Artificial Intelligence. 330, 104087.

    Research output: Contribution to journal › Article › peer-review

  • The Importance of Parameters in Database Queries

    Grohe, M., Kimelfeld, B., Lindner, P. & Standke, C., Mar 2024, 27th International Conference on Database Theory, ICDT 2024. Cormode, G. & Shekelyan, M. (eds.). 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 290).

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

  • The Synchronization Power of Auditable Registers

    Attiya, H., Pozzo, A. D., Milani, A., Pavloff, U. & Rapetti, A., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

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

  • Towards Contact-Aided Motion Planning for Tendon-Driven Continuum Robots

    Rao, P., Salzman, O. & Burgner-Kahrs, J., 2024, (Accepted/In press) In: IEEE Robotics and Automation Letters. p. 1-8 8 p.

    Research output: Contribution to journal › Article › peer-review

  • 2023

    3D Dice Mosaics: A Multidirectional Dithering System

    Tanasra, H., Elber, G. & Sterman, Y., Jul 2023, p. 45-52. 8 p.

    Research output: Contribution to conference › Paper › peer-review

  • 3D surface topographic measurements for idiopathic scoliosis are highly correlative to patient self-image questionnaires

    Thakur, A., Groisser, B., Hillstrom, H. J., Cunningham, M. E., Hresko, M. T., Otremski, H., Morse, K. W., Page, K., Gmelich, C., Kimmel, R., Wolf, A., Widmann, R. F. & Heyer, J. H., Jul 2023, In: Spine Deformity. 11, 4, p. 871-880 10 p.

    Research output: Contribution to journal › Article › peer-review

    2 Scopus citations

  • A Convex Optimization Framework for Regularized Geodesic Distances

    Edelstein, M., Guillen, N., Solomon, J. & Ben-Chen, M., 23 Jul 2023, Proceedings - SIGGRAPH 2023 Conference Papers. Spencer, S. N. (ed.). 2. (Proceedings - SIGGRAPH 2023 Conference Papers).

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

    Open Access

  • Actively Secure Garbled Circuits with Constant Communication Overhead in the Plain Model

    Hazay, C., Ishai, Y. & Venkitasubramaniam, M., Jul 2023, In: Journal of Cryptology. 36, 3, 26.

    Research output: Contribution to journal › Article › peer-review

    1 Scopus citations

  • Additive Randomized Encodings and Their Applications

    Halevi, S., Ishai, Y., Kushilevitz, E. & Rabin, T., 2023, Advances in Cryptology – CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Proceedings. Handschuh, H. & Lysyanskaya, A. (eds.). p. 203-235 33 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14081 LNCS).

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

  • Adversarial robustness via noise injection in smoothed models

    Nemcovsky, Y., Zheltonozhskii, E., Baskin, C., Chmiel, B., Bronstein, A. M. & Mendelson, A., Apr 2023, In: Applied Intelligence. 53, 8, p. 9483-9498 16 p.

    Research output: Contribution to journal › Article › peer-review

    2 Scopus citations

  • Adversarial Torn-Paper Codes

    Bar-Lev, D., Marcovich, S., Yaakobi, E. & Yehezkeally, Y., 1 Oct 2023, In: IEEE Transactions on Information Theory. 69, 10, p. 6414-6427 14 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Affine vector space partitions

    Bamberg, J., Filmus, Y., Ihringer, F. & Kurz, S., 2023, (Accepted/In press) In: Designs, Codes, and Cryptography.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    1 Scopus citations

  • Algorithmic Motion Planning Meets Minimally-Invasive Robotic Surgery

    Salzman, O., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). p. 7039-7044 6 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).

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

  • Algorithms for Counting Minimum-Perimeter Lattice Animals

    Barequet, G. & Ben-Shachar, G., Jan 2023, In: Algorithmica. 85, 1, p. 75-99 25 p.

    Research output: Contribution to journal › Article › peer-review

    1 Scopus citations

  • A Mechanistic Interpretation of Arithmetic Reasoning in Language Models using Causal Mediation Analysis

    Stolfo, A., Belinkov, Y. & Sachan, M., 2023, EMNLP 2023 - 2023 Conference on Empirical Methods in Natural Language Processing, Proceedings. Bouamor, H., Pino, J. & Bali, K. (eds.). p. 7035-7052 18 p. (EMNLP 2023 - 2023 Conference on Empirical Methods in Natural Language Processing, Proceedings).

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

  • A Model is Worth Tens of Thousands of Examples

    Dagès, T., Cohen, L. D. & Bruckstein, A. M., 2023, Scale Space and Variational Methods in Computer Vision - 9th International Conference, SSVM 2023, Proceedings. Calatroni, L., Donatelli, M., Morigi, S., Prato, M. & Santacesaria, M. (eds.). p. 223-235 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14009 LNCS).

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

    Open Access