Department of Computer Science

Filter
Conference contribution

Search results

  • 2025

    (Almost-)Optimal FPT Algorithm and Kernel for T-CYCLE on Planar Graphs

    Gahlawat, H., Rathod, A. & Zehavi, M., 30 Jun 2025, 52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025. Censor-Hillel, K., Grandoni, F., Ouaknine, J. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 82. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 334).

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

  • Access Policy Prediction via User Behavior

    Amour, S. & Gudes, E., 1 Jan 2025, Cyber Security, Cryptology, and Machine Learning - 8th International Symposium, CSCML 2024, Proceedings. Dolev, S., Elhadad, M., Kutyłowski, M. & Persiano, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 257-267 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15349 LNCS).

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

  • A New World in the Depths of Microcrypt: Separating OWSGs and Quantum Money from QEFID

    Behera, A., Malavolta, G., Morimae, T., Mour, T. & Yamakawa, T., 1 Jan 2025, Advances in Cryptology – EUROCRYPT 2025 - 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Fehr, S. & Fouque, P.-A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-52 30 p. (Lecture Notes in Computer Science; vol. 15607 LNCS).

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

  • A Probabilistic Model for Rounding Errors: A New Look at the Table-Maker’s Dilemma

    Devor, J., Khankin, D. & Margalit, O., 1 Jan 2025, Cyber Security, Cryptology, and Machine Learning - 8th International Symposium, CSCML 2024, Proceedings. Dolev, S., Elhadad, M., Kutyłowski, M. & Persiano, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 190-200 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15349 LNCS).

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

  • Brief Announcement: Make Master Private-Keys Secure by Keeping It Public

    Dolev, S., Kumari, K., Mehrotra, S., Schieber, B. & Sharma, S., 1 Jan 2025, Stabilization, Safety, and Security of Distributed Systems - 26th International Symposium, SSS 2024, Proceedings. Masuzawa, T., Katayama, Y., Kim, Y., Kakugawa, H. & Nakamura, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 338-343 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14931 LNCS).

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

  • Completeness of First-Order Bi-Intuitionistic Logic

    Kirst, D. & Shillito, I., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 40. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).

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

  • Consistent Amortized Clustering via Generative Flow Networks

    Chelly, I., Uziel, R., Freifeld, O. & Pakman, A., 22 Jan 2025, 28th International Conference on Artificial Intelligence and Statistics (AISTATS).

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

    Open Access

  • Crossing Number in Slightly Superexponential Time (Extended Abstract)

    Lokshtanov, D., Panolan, F., Saurabh, S., Sharma, R., Xue, J. & Zehavi, M., 1 Jan 2025, Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2025. Association for Computing Machinery, p. 1412-1424 13 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 3).

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

  • Cyclone: A Heterogeneous Tool for Verifying Infinite Descent

    Cohen, L., Rowe, R. N. S. & Shaked, M., 1 Jan 2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 336-354 19 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).

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

    Open Access

  • Detecting Spiral Text Lines in Aramaic Incantation Bowls

    Nammneh, S., Madi, B., Atamni, N., Boardman, S., Vasyutinsky-Shapira, D., Rabaev, I., Saabni, R. & El-Sana, J., 1 Jan 2025, Pattern Recognition - 27th International Conference, ICPR 2024, Proceedings. Antonacopoulos, A., Chaudhuri, S., Chellappa, R., Liu, C.-L., Bhattacharya, S. & Pal, U. (eds.). Springer Science and Business Media Deutschland GmbH, p. 250-264 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15319 LNCS).

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

  • Efficiently Finding and Counting Patterns with Distance Constraints in Sparse Graphs

    Lokshtanov, D., Panolan, F., Saurabh, S., Xue, J. & Zehavi, M., 15 Jun 2025, STOC 2025 - Proceedings of the 57th Annual ACM Symposium on Theory of Computing. Koucky, M. & Bansal, N. (eds.). Association for Computing Machinery, p. 1965-1974 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

  • Exponentially Fast Collaborative Broadcasting in 3D Space

    Ashkenazi, Y., Dolev, S., Frenkel, S., Kumar, M., Kumari, S., Narayanan, R. P. & Somani, A., 1 Jan 2025, 2025 10th International Conference on Information and Network Technologies, ICINT 2025. Institute of Electrical and Electronics Engineers, p. 124-128 5 p. (2025 10th International Conference on Information and Network Technologies, ICINT 2025).

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

  • From OpenACC to OpenMP5 GPU Offloading: Performance Evaluation on NAS Parallel Benchmarks

    Fridman, Y., Goren, Y. & Oren, G., 5 May 2025, Proceedings of 2025 4th International Workshop on Extreme Heterogeneity Solutions, ExHET 2025. Association for Computing Machinery, Inc, p. 10-18 9 p. (Proceedings of 2025 4th International Workshop on Extreme Heterogeneity Solutions, ExHET 2025).

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

    Open Access

  • Improved Constructions for Distributed Multi-Point Functions

    Boyle, E., Gilboa, N., Hamilis, M., Ishai, Y. & Tu, Y., 1 Jan 2025, Proceedings - 46th IEEE Symposium on Security and Privacy, SP 2025. Blanton, M., Enck, W. & Nita-Rotaru, C. (eds.). Institute of Electrical and Electronics Engineers, p. 2414-2432 19 p. (Proceedings - IEEE Symposium on Security and Privacy).

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

  • I See Dead People: Gray-Box Adversarial Attack on Image-to-Text Models

    Lapid, R. & Sipper, M., 1 Jan 2025, Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2023, Revised Selected Papers. Meo, R. & Silvestri, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 277-289 13 p. (Communications in Computer and Information Science; vol. 2137 CCIS).

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

  • Learning Broadcast Protocols with LeoParDS

    Izsak, N., Fisman, D. & Jacobs, S., 1 Jan 2025, Automated Technology for Verification and Analysis - 22nd International Symposium, Proceedings. Akshay, S., Niemetz, A. & Sankaranarayanan, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 220-234 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15054 LNCS).

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

  • Lifting to Bounded-Depth and Regular Resolutions over Parities via Games

    Alekseev, Y. & Itsykson, D., 15 Jun 2025, STOC 2025 - Proceedings of the 57th Annual ACM Symposium on Theory of Computing. Koucky, M. & Bansal, N. (eds.). Association for Computing Machinery, p. 584-595 12 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

  • Lightweight Near-Additive Spanners

    Gitlitz, Y., Neiman, O. & Spence, R., 1 Jan 2025, Graph-Theoretic Concepts in Computer Science - 50th International Workshop, WG 2024, Revised Selected Papers. Kráľ, D. & Milanič, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 236-250 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14760 LNCS).

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

  • Minimizing the Number of Tardy Jobs with Uniform Processing Times on Parallel Machines

    Heeger, K. & Molter, H., 24 Feb 2025, 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025. Beyersdorff, O., Pilipczuk, M., Pimentel, E. & Thang, N. K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 47. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 327).

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

  • Min-Sum Disjoint Paths on Subclasses of Chordal Graphs

    Menashe, B. & Zehavi, M., 1 Jan 2025, WALCOM: Algorithms and Computation - 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Proceedings. Nakano, S.-I. & Xiao, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 281-295 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15411 LNCS).

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

  • New Upper Bounds for Evolving Secret Sharing via Infinite Branching Programs

    Alon, B., Beimel, A., Ben David, T., Omri, E. & Paskin-Cherniavsky, A., 1 Jan 2025, Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings. Boyle, E., Boyle, E. & Mahmoody, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 548-580 33 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15367 LNCS).

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

    1 Scopus citations

  • Online Range Assignment Problems

    Carmi, P., Katz, M. J. & Tomer, I., 1 Jan 2025, Algorithms and Complexity - 14th International Conference, CIAC 2025, Proceedings. Finocchi, I. & Georgiadis, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 68-82 15 p. (Lecture Notes in Computer Science; vol. 15679 LNCS).

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

  • On Zarankiewicz's Problem for Intersection Hypergraphs of Geometric Objects

    Chan, T. M., Keller, C. & Smorodinsky, S., 20 Jun 2025, 41st International Symposium on Computational Geometry, SoCG 2025. Aichholzer, O. & Wang, H. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 33. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 332).

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

  • Optimizing Vision-Language Model for Road Crossing Intention Estimation

    Uziel, R. & Bialer, O., 1 Jan 2025, Proceedings - 2025 IEEE Winter Conference on Applications of Computer Vision, WACV 2025. Institute of Electrical and Electronics Engineers, p. 1702-1712 11 p. (Proceedings - 2025 IEEE Winter Conference on Applications of Computer Vision, WACV 2025).

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

  • OWA for Bipartite Assignments

    Hastings, J., Oren, S. & Reingold, O., 3 Jun 2025, 6th Symposium on Foundations of Responsible Computing, FORC 2025. Bun, M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 21. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 329).

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

  • Parameterized Geometric Graph Modification with Disk Scaling

    Fomin, F. V., Golovach, P. A., Inamdar, T., Saurabh, S. & Zehavi, M., 11 Feb 2025, 16th Innovations in Theoretical Computer Science Conference, ITCS 2025. Meka, R. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 51. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 325).

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

  • Partially Disjoint Shortest Paths and Near-Shortest Paths Trees

    Dinitz, Y., Dolev, S., Kumar, M. & Schieber, B., 1 Jan 2025, Stabilization, Safety, and Security of Distributed Systems - 26th International Symposium, SSS 2024, Proceedings. Masuzawa, T., Katayama, Y., Kim, Y., Kakugawa, H. & Nakamura, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 240-254 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14931 LNCS).

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

  • Polychromatic Coloring of Tuples in Hypergraphs

    Biniaz, A., De Carufel, J. L., Maheshwari, A., Smid, M., Smorodinsky, S. & Stojaković, M., 20 Jun 2025, 41st International Symposium on Computational Geometry, SoCG 2025. Aichholzer, O. & Wang, H. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 19. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 332).

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

  • Post Quantum Lightweight OWF Candidates: Based on Theoretically Secure Primitives: Xors, Error Detection Codes, Permutations, Polynomials, Interaction, and Nesting (Short Version)

    Cyprys, P., Dolev, S. & Margalit, O., 1 Jan 2025, Cyber Security, Cryptology, and Machine Learning - 8th International Symposium, CSCML 2024, Proceedings. Dolev, S., Elhadad, M., Kutyłowski, M. & Persiano, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 322-334 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15349 LNCS).

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

  • Preprocessing for Life: Dishonest-Majority MPC with a Trusted or Untrusted Dealer

    Boyle, E., Gilboa, N., Hamilis, M., Ishai, Y. & Nof, A., 1 Jan 2025, Proceedings - 46th IEEE Symposium on Security and Privacy, SP 2025. Blanton, M., Enck, W. & Nita-Rotaru, C. (eds.). Institute of Electrical and Electronics Engineers, p. 2433-2452 20 p. (Proceedings - IEEE Symposium on Security and Privacy).

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

  • Recognizing Artistic Style of Archaeological Image Fragments Using Deep Style Extrapolation

    Elkin, G., Shahar, O. I., Ohayon, Y., Alali, N. & Ben-Shahar, O., 1 Jan 2025, Culture and Computing - 13th International Conference, C and C 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Proceedings. Rauterberg, M. (ed.). Springer Science and Business Media Deutschland GmbH, p. 115-131 17 p. (Lecture Notes in Computer Science; vol. 15800 LNCS).

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

  • Reminisce for Securing Private-Keys in Public

    Dolev, S., Kumari, K., Mehrotra, S., Schieber, B. & Sharma, S., 1 Jan 2025, Cyber Security, Cryptology, and Machine Learning - 8th International Symposium, CSCML 2024, Proceedings. Dolev, S., Elhadad, M., Kutyłowski, M. & Persiano, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 168-177 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15349 LNCS).

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

  • Secret-Sharing Schemes for High Slices

    Beimel, A., Farràs, O., Lasri, O. & Nir, O., 1 Jan 2025, Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings. Boyle, E., Boyle, E. & Mahmoody, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 581-613 33 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15367 LNCS).

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

    1 Scopus citations

  • Shortest Longest-Path Graph Orientations for Trees

    Asahiro, Y., Jansson, J., Melkman, A. A., Miyano, E., Ono, H., Xue, Q., Yano, Y. & Zakov, S., 1 Jan 2025, SOFSEM 2025: Theory and Practice of Computer Science - 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Proceedings. Královič, R. & Kůrková, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 51-64 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15538 LNCS).

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

  • Sparse Bounded Hop-Spanners for Geometric Intersection Graphs

    Bhore, S., Chan, T. M., Huang, Z., Smorodinsky, S. & Tóth, C. D., 20 Jun 2025, 41st International Symposium on Computational Geometry, SoCG 2025. Aichholzer, O. & Wang, H. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 332).

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

  • Subexponential Parameterized Algorithms for Hitting Subgraphs

    Lokshtanov, D., Panolan, F., Saurabh, S., Xue, J. & Zehavi, M., 15 Jun 2025, STOC 2025 - Proceedings of the 57th Annual ACM Symposium on Theory of Computing. Koucky, M. & Bansal, N. (eds.). Association for Computing Machinery, p. 1975-1984 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

  • Super-Teaching in Machine Learning

    Barak-Pelleg, D., Berend, D. & Kontorovich, A., 1 Jan 2025, Cyber Security, Cryptology, and Machine Learning - 8th International Symposium, CSCML 2024, Proceedings. Dolev, S., Elhadad, M., Kutyłowski, M. & Persiano, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 335-342 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15349 LNCS).

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

  • The Power of a Single Haar Random State: Constructing and Separating Quantum Pseudorandomness

    Chen, B., Coladangelo, A. & Sattath, O., 1 Jan 2025, Advances in Cryptology – EUROCRYPT 2025 - 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Fehr, S. & Fouque, P.-A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 108-137 30 p. (Lecture Notes in Computer Science; vol. 15607 LNCS).

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

  • Trainable Highly-Expressive Activation Functions

    Chelly, I., Finder, S. E., Ifergane, S. & Freifeld, O., 1 Jan 2025, Computer Vision – ECCV 2024 - 18th European Conference, Proceedings. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 200-217 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15118 LNCS).

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

  • Treewidth Parameterized by Feedback Vertex Number

    Molter, H., Zehavi, M. & Zivan, A., 30 Jun 2025, 52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025. Censor-Hillel, K., Grandoni, F., Ouaknine, J. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 120. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 334).

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

  • Wavelet Convolutions for Large Receptive Fields

    Finder, S. E., Amoyal, R., Treister, E. & Freifeld, O., 1 Jan 2025, Computer Vision – ECCV 2024 - 18th European Conference, Proceedings. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 363-380 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15112 LNCS).

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

    72 Scopus citations

  • When Connectivity Is Hard, Random Walks Are Easy with Non-determinism

    Doron, D., Pyne, E., Tell, R. & Williams, R. R., 15 Jun 2025, STOC 2025 - Proceedings of the 57th Annual ACM Symposium on Theory of Computing. Koucky, M. & Bansal, N. (eds.). Association for Computing Machinery, p. 1108-1117 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

  • 2024

    A 1.9999-Approximation Algorithm for Vertex Cover on String Graphs

    Lokshtanov, D., Panolan, F., Saurabh, S., Xue, J. & Zehavi, M., 1 Jun 2024, 40th International Symposium on Computational Geometry, SoCG 2024. Mulzer, W. & Phillips, J. M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 72. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 293).

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

    2 Scopus citations

  • AMaze: Non-Stop Source to Destination Optimal Vehicle Scheduling

    Yair, H., Dolev, S. & Gudes, E., 1 Jan 2024, Moving Integrated Product Development to Service Clouds in the Global Economy - Proceedings of the 21st ISPE Inc. International Conference on Concurrent Engineering, CE 2014. Shafik, M. (ed.). IOS Press BV, p. 329-338 10 p. (Advances in Transdisciplinary Engineering; vol. 63).

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

    Open Access

  • A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic

    Shillito, I. & Kirst, D., 9 Jan 2024, CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. Timany, A., Traytel, D., Pientka, B. & Blazy, S. (eds.). Association for Computing Machinery, Inc, p. 218-229 12 p. (CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024).

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

    Open Access
    2 Scopus citations

  • A Melting Pot of Evolution and Learning,

    Sipper, M., Elyasaf, A., Halperin, T., Haramaty, Z. D., Lapid, R., Segal, E., Tzruia, I. & Vitrack Tamam, S., Feb 2024, Genetic Programming Theory and Practice XX. Winkler, S. & Trujillo, L. (eds.). Springer Singapore

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

    Open Access

  • A Modular Approach to Unclonable Cryptography

    Ananth, P. & Behera, A., 1 Jan 2024, Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings. Reyzin, L. & Stebila, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-37 35 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14926 LNCS).

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

    1 Scopus citations

  • An Analysis of BPE Vocabulary Trimming in Neural Machine Translation

    Cognetta, M., Hiraoka, T., Okazaki, N., Sennrich, R. & Pinter, Y., 1 Jan 2024, Insights 2024 - 5th Workshop on Insights from Negative Results in NLP, Proceedings of the Workshop. Tafreshi, S., Akula, A. R., Sedoc, J., Drozd, A., Rogers, A. & Rumshisky, A. (eds.). Association for Computational Linguistics (ACL), p. 48-50 3 p. (Insights 2024 - 5th Workshop on Insights from Negative Results in NLP, Proceedings of the Workshop).

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

    1 Scopus citations

  • A Polynomial Kernel for Deletion to the Scattered Class of Cliques and Trees

    Jacob, A., Majumdar, D. & Zehavi, M., 4 Dec 2024, 35th International Symposium on Algorithms and Computation, ISAAC 2024. Mestre, J. & Wirth, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 322).

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

    1 Scopus citations