Department of Computer Science

Filter
Conference contribution

Search results

  • 2020

    Eth-tight algorithms for long path and cycle on unit disk graphs

    Fomin, F. V., Lokshtanov, D., Panolan, F., Saurabh, S. & Zehavi, M., 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-44. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 164).

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

    7 Scopus citations

  • Evolutionary algorithms in biomedical data mining: Challenges, solutions, and frontiers

    Urbanowicz, R. J. & Sipper, M., 8 Jul 2020, GECCO 2020 Companion - Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc, p. 1224-1253 30 p. (GECCO 2020 Companion - Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion).

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

    1 Scopus citations

  • Evolving ramp secret sharing with a small gap

    Beimel, A. & Othman, H., 1 Jan 2020, Advances in Cryptology – EUROCRYPT 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Canteaut, A. & Ishai, Y. (eds.). Springer, p. 529-555 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12105 LNCS).

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

    7 Scopus citations

  • Executing Scenario-Based Specification with Dynamic Generation of Rich Events

    Harel, D., Katz, G., Marron, A., Sadon, A. & Weiss, G., 3 Jan 2020, Model-Driven Engineering and Software Development - 7th International Conference, MODELSWARD 2019, Revised Selected Papers. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). Springer, p. 246-274 29 p. (Communications in Computer and Information Science; vol. 1161 CCIS).

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

    10 Scopus citations

  • Faster and More Accurate Measurement through Additive-Error Counters

    Basat, R. B., Einziger, G., Mitzenmacher, M. & Vargaftik, S., 1 Jul 2020, INFOCOM 2020 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers, p. 1251-1260 10 p. 9155340. (Proceedings - IEEE INFOCOM; vol. 2020-July).

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

    Open Access
    15 Scopus citations

  • Fault tolerant subgraphs with applications in kernelization

    Lochet, W., Lokshtanov, D., Misra, P., Saurabh, S., Sharma, R. & Zehavi, M., 1 Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 47. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    5 Scopus citations

  • GIF: Generative Interpretable Faces

    Ghosh, P., Gupta, P. S., Uziel, R., Ranjan, A., Black, M. J. & Bolkart, T., 1 Nov 2020, Proceedings - 2020 International Conference on 3D Vision, 3DV 2020. Institute of Electrical and Electronics Engineers, p. 868-878 11 p. 9320336. (Proceedings - 2020 International Conference on 3D Vision, 3DV 2020).

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

    Open Access
    40 Scopus citations

  • Graph Hamiltonicity Parameterized by Proper Interval Deletion Set

    Golovach, P. A., Krithika, R., Sahu, A., Saurabh, S. & Zehavi, M., 1 Jan 2020, LATIN 2020: Theoretical Informatics - 14th Latin American Symposium 2021, Proceedings. Kohayakawa, Y. & Miyazawa, F. K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 104-115 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12118 LNCS).

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

    1 Scopus citations

  • GraphiX: A fast human-computer interaction symmetric multiprocessing parallel scientific visualization tool

    Harel, R. & Oren, G., 1 Jan 2020, Parallel Computing: Technology Trends. Foster, I., Joubert, G. R., Kucera, L., Nagel, W. E. & Peters, F. (eds.). IOS Press BV, p. 509-520 12 p. (Advances in Parallel Computing; vol. 36).

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

    Open Access

  • 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., 1 Jan 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 proceeding › Conference contribution › peer-review

  • HCvmultiscalefit: A simulator for parameter estimation in multiscale models of hepatitis C virus dynamics

    Churkin, A., Reinharz, V., Lewkiewicz, S., Dahari, H. & Barash, D., 24 Nov 2020, International Conference on Numerical Analysis and Applied Mathematics, ICNAAM 2019. Simos, T. E., Simos, T. E., Simos, T. E., Simos, T. E., Simos, T. E. & Tsitouras, C. (eds.). American Institute of Physics Inc., 420028. (AIP Conference Proceedings; vol. 2293).

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

    Open Access
    1 Scopus citations

  • Hitting topological minors is FPT

    Fomin, F. V., Lokshtanov, D., Panolan, F., Saurabh, S. & Zehavi, M., 8 Jun 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (eds.). Association for Computing Machinery, p. 1317-1326 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
    25 Scopus citations

  • How to cut a ball without separating: Improved approximations for length bounded cut

    Chlamtáč, E. & Kolman, P., 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, APPROX41. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 176).

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

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

    5 Scopus citations

  • I Know What You Did Last Summer: Network Monitoring using Interval Queries

    Ivkin, N., Basat, R. B., Liu, Z., Einziger, G., Friedman, R. & Braverman, V., 8 Jun 2020, SIGMETRICS Performance 2020 - Abstracts of the 2020 SIGMETRICS/Performance Joint International Conference on Measurement and Modeling of Computer Systems. Association for Computing Machinery, Inc, p. 61-62 2 p.

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

    Open Access
    3 Scopus citations

  • Incremental symmetry breaking constraints for graph search problems

    Itzhakov, A. & Codish, M., 1 Jan 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI press, p. 1536-1543 8 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).

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

    3 Scopus citations

  • Integrating Induction and Coinduction via Closure Operators and Proof Cycles

    Cohen, L. & Rowe, R. N. S., 1 Jan 2020, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, p. 375-394 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12166 LNAI).

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

    Open Access
    4 Scopus citations

  • Interactive coding with constant round and communication blowup

    Efremenko, K., Haramaty, E. & Kalai, Y. T., 1 Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    4 Scopus citations

  • Interactive error resilience beyond 2/7

    Efremenko, K., Kol, G. & Saxena, R. R., 8 Jun 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (eds.). Association for Computing Machinery, p. 565-578 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    5 Scopus citations

  • Invited Paper: Reactive PLS for Distributed Decision

    Chen, J., Dolev, S. & Kutten, S., 1 Jan 2020, Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Proceedings. Devismes, S. & Mittal, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 81-96 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12514 LNCS).

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

  • Invited Paper: Homomorphic Operations Techniques Yielding Communication Efficiency

    Bitan, D. & Dolev, S., 1 Jan 2020, Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Proceedings. Devismes, S. & Mittal, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 16-28 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12514 LNCS).

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

  • Learning and solving regular decision processes

    Abadi, E. & Brafman, R. I., 1 Jan 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020. Bessiere, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 1948-1954 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2021-January).

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

    12 Scopus citations

  • Learning interpretable models in the property specification language

    Roy, R., Fisman, D. & Neider, D., 1 Jan 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020. Bessiere, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 2213-2219 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2021-January).

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

    15 Scopus citations

  • Locally private k-means clustering

    Stemmer, U., 1 Jan 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 548-559 12 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2020-January).

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

    30 Scopus citations

  • Long-Lived Snapshots with Polylogarithmic Amortized Step Complexity

    Baig, M. A., Hendler, D., Milani, A. & Travers, C., 31 Jul 2020, PODC 2020 - Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 31-40 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    Open Access
    3 Scopus citations

  • Lossless prioritized embeddings

    Elkin, M. & Neiman, O., 1 Jan 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 1049-1062 14 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2020-January).

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

    Open Access
    2 Scopus citations

  • Minimizing Total Interference in Asymmetric Sensor Networks

    Abu-Affash, A. K., Carmi, P. & Katz, M. J., 1 Jan 2020, Algorithms for Sensor Systems - 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Revised Selected Papers. Pinotti, C. M., Navarra, A. & Bagchi, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-16 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12503 LNCS).

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

    1 Scopus citations

  • Multi-directional heuristic search

    Atzmon, D., Li, J., Felner, A., Nachmani, E., Shperberg, S., Sturtevant, N. & Koenig, S., 1 Jan 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020. Bessiere, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 4062-4068 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2021-January).

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

    8 Scopus citations

  • Multi-directional search

    Atzmon, D., Li, J., Felner, A., Nachmani, E., Shperberg, S., Sturtevant, N. & Koenig, S., 1 Jan 2020, Proceedings of the 13th International Symposium on Combinatorial Search, SoCS 2020. Harabor, D. & Vallati, M. (eds.). The AAAI Press, p. 121-122 2 p. (Proceedings of the 13th International Symposium on Combinatorial Search, SoCS 2020).

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

  • Near optimal network-wide per-flow measurement

    Ben Basat, R., Einziger, G. & Tayh, B., 1 Jul 2020, IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2020. Institute of Electrical and Electronics Engineers, p. 1294-1295 2 p. 9162961. (IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2020).

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

    1 Scopus citations

  • Noisy Beeps

    Efremenko, K., Kol, G. & Saxena, R. R., 31 Jul 2020, PODC 2020 - Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 418-427 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    11 Scopus citations

  • Non-Asymptotic Performance Analysis of Size-Based Routing Policies

    Bachmat, E. & Doncel, J., 17 Nov 2020, Proceedings - 2020 IEEE 28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2020. Institute of Electrical and Electronics Engineers, 9285943. (Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS; vol. 2020-November).

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

    Open Access
    1 Scopus citations

  • Non-Crossing Matching of Online Points

    Bose, P., Carmi, P., Durocher, S., Kamali, S. & Sajadpour, A., 2020, Proceedings of the 32nd Canadian Conference on Computational Geometry, CCCG 2020, August 5-7, 2020, University of Saskatchewan, Saskatoon, Saskatchewan, Canada. Keil, J. M. & Mondal, D. (eds.). p. 233-239 7 p.

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

  • NTIRE 2020 challenge on spectral reconstruction from an RGB image

    Arad, B., Timofte, R., Ben-Shahar, O., Lin, Y. T., Finlayson, G., Givati, S., Li, J., Wu, C., Song, R., Li, Y., Liu, F., Lang, Z., Wei, W., Zhang, L., Nie, J., Zhao, Y., Po, L. M., Yan, Q., Liu, W. & Lin, T. & 28 others, Kim, Y., Shin, C., Rho, K., Kim, S., Zhu, Z., Hou, J., Sun, H., Ren, J., Fang, Z., Yan, Y., Peng, H., Chen, X., Zhao, J., Stiebel, T., Koppers, S., Merhof, D., Gupta, H., Mitra, K., Fubara, B. J., Sedky, M., Dyke, D., Banerjee, A., Palrecha, A., Sabarinathan, S., Uma, K., Vinothini, D. S., Sathya Bama, B. & Md Mansoor Roomi, S. M., 1 Jun 2020, Proceedings - 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2020. Institute of Electrical and Electronics Engineers, p. 1806-1822 17 p. 9150756. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops; vol. 2020-June).

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

    Open Access
    147 Scopus citations

  • One-one constrained pseudorandom functions

    Peter, N., Tsabary, R. & Wee, H., 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, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 163).

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

  • On the (parameterized) complexity of almost stable marriage

    Gupta, S., Jain, P., Roy, S., Saurabh, S. & Zehavi, M., 1 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, 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 182).

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

    7 Scopus citations

  • On the differences and similarities of fMM and GBFHS

    Shperberg, S. S. & Felner, A., 1 Jan 2020, Proceedings of the 13th International Symposium on Combinatorial Search, SoCS 2020. Harabor, D. & Vallati, M. (eds.). The AAAI Press, p. 66-74 9 p. (Proceedings of the 13th International Symposium on Combinatorial Search, SoCS 2020).

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

    2 Scopus citations

  • On the round complexity of the shuffle model

    Beimel, A., Haitner, I., Nissim, K. & Stemmer, U., 1 Jan 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 proceeding › Conference contribution › peer-review

    4 Scopus citations

  • On the Streaming Indistinguishability of a Random Permutation and a Random Function

    Dinur, I., 1 Jan 2020, Advances in Cryptology – EUROCRYPT 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Canteaut, A. & Ishai, Y. (eds.). Springer, p. 433-460 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12106 LNCS).

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

    7 Scopus citations

  • Out of oddity – new cryptanalytic techniques against symmetric primitives optimized for integrity proof systems

    Beyne, T., Canteaut, A., Dinur, I., Eichlseder, M., Leander, G., Leurent, G., Naya-Plasencia, M., Perrin, L., Sasaki, Y., Todo, Y. & Wiemer, F., 1 Jan 2020, Advances in Cryptology - CRYPTO 2020 - 40th Annual International Cryptology Conference, Proceedings. Micciancio, D. & Ristenpart, T. (eds.). Springer, p. 299-328 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12172 LNCS).

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

    26 Scopus citations

  • Parameter analysis for guarding terrains

    Agrawal, A., Kolay, S. & Zehavi, M., 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, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 162).

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

    2 Scopus citations

  • Parameterization above a multiplicative guarantee

    Fomin, F. V., Golovach, P. A., Lokshtanov, D., Panolan, F., Saurabh, S. & Zehavi, M., 1 Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

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

    7 Scopus citations

  • Parameterized analysis of art gallery and terrain guarding

    Zehavi, M. & Agrawal, A., 1 Jan 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ed.). Springer, p. 16-29 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12159 LNCS).

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

    7 Scopus citations

  • Parameterized complexity and approximability of directed odd cycle transversal

    Lokshtanov, D., Ramanujan, M. S., Saurabh, S. & Zehavi, M., 1 Jan 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 2181-2200 20 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2020-January).

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

    37 Scopus citations

  • Parameterized Complexity of Maximum Edge Colorable Subgraph

    Agrawal, A., Kundu, M., Sahu, A., Saurabh, S. & Tale, P., 1 Jan 2020, Computing and Combinatorics - 26th International Conference, COCOON 2020, Proceedings. Kim, D., Uma, R. N., Cai, Z. & Lee, D. H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 615-626 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12273 LNCS).

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

    2 Scopus citations

  • Parameterized study of steiner tree on unit disk graphs

    Bhore, S., Carmi, P., Kolay, S. & Zehavi, M., 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, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 162).

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

    1 Scopus citations

  • Patience Control: A Modular and Dynamic Construction of Composite Controllers

    Sadon, A., Arogeti, S. & Weiss, G., 29 Jun 2020, 7th International Conference on Control, Decision and Information Technologies, CoDIT 2020. Institute of Electrical and Electronics Engineers, p. 975-981 7 p. 9263831. (7th International Conference on Control, Decision and Information Technologies, CoDIT 2020).

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

  • Planar bichromatic bottleneck spanning trees

    Abu-Affash, A. K., Bhore, S., Carmi, P. & Mitchell, J. S. B., 1 Aug 2020, 28th Annual European Symposium on Algorithms, ESA 2020. Grandoni, F., Herman, G. & Sanders, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 173).

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

  • Polynomial Identification of ω-Automata

    Angluin, D., Fisman, D. & Shoval, Y., 1 Jan 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 325-343 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

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

    Open Access
    4 Scopus citations

  • Poster abstract: Parallel VM placement with provable guarantees

    Cohen, I., Einziger, G., Goldstein, M., Sa'Ar, Y., Scalosub, G. & Waisbard, E., 1 Jul 2020, IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2020. Institute of Electrical and Electronics Engineers, p. 1298-1299 2 p. 9162912. (IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2020).

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