Faculty of Natural Sciences

  • Postal addressShow on map

    Ben-Gurion University of the Negev​, The Marcus Family Campus, Building 30

    8410501 Beer-Sheva

    Israel

Filter
Conference contribution

Search results

  • 2021

    Verifiable Computing Using Computation Fingerprints Within FHE

    Dolev, S. & Kalma, A., 1 Jan 2021, 2021 IEEE 20th International Symposium on Network Computing and Applications, NCA 2021. Andreolini, M., Marchetti, M. & Avresky, D. R. (eds.). Institute of Electrical and Electronics Engineers, (2021 IEEE 20th International Symposium on Network Computing and Applications, NCA 2021).

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

    Open Access
    3 Scopus citations
  • Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs

    Bar-Sinai, M. & Weiss, G., 5 Aug 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 199-215 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12479 LNCS).

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

    1 Scopus citations
  • Verification of Multi-layered Assignment Problems

    Steindl, B. & Zehavi, M., 1 Jan 2021, Multi-Agent Systems - 18th European Conference, EUMAS 2021, Revised Selected Papers. Rosenfeld, A. & Talmon, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 194-210 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12802 LNAI).

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

    Open Access
  • Verifying Plans and Scripts for Robotics Tasks Using Performance Level Profiles

    Kovalchuk, A., Shekhar, S. & Brafman, R. I., 1 Jan 2021, 31st International Conference on Automated Planning and Scheduling, ICAPS 2021. Biundo, S., Do, M., Goldman, R., Katz, M., Yang, Q. & Zhuo, H. H. (eds.). Association for the Advancement of Artificial Intelligence, p. 673-681 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; vol. 2021-August).

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

    2 Scopus citations
  • VML-HP: Hebrew Paleography Dataset

    Droby, A., Kurar Barakat, B., Vasyutinsky Shapira, D., Rabaev, I. & El-Sana, J., 1 Jan 2021, Document Analysis and Recognition - ICDAR 2021 - 16th International Conference, Proceedings. Lladós, J., Lopresti, D. & Uchida, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 205-220 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12824 LNCS).

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

    2 Scopus citations
  • Warped Input Gaussian Processes for Time Series Forecasting

    Vinokur, I. & Tolpin, D., 1 Jan 2021, Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings. Dolev, S., Margalit, O., Pinkas, B. & Schwarzmann, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 205-220 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12716 LNCS).

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

    2 Scopus citations
  • 2020

    Acceleration of hydro poro-elastic damage simulation in a shared-memory environment

    Levin, H., Oren, G., Shalev, E. & Lyakhovsky, V., 1 Jan 2020, Parallel Computing: Technology Trends. Foster, I., Joubert, G. R., Kucera, L., Nagel, W. E. & Peters, F. (eds.). IOS Press BV, p. 341-353 13 p. (Advances in Parallel Computing; vol. 36).

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

    Open Access
    2 Scopus citations
  • A faster and more efficient q-MAX algorithm

    Basat, R. B., Einziger, G. & Tayh, B., 23 Nov 2020, CoNEXT 2020 - Proceedings of the 16th International Conference on Emerging Networking EXperiments and Technologies. Association for Computing Machinery, Inc, p. 538-539 2 p. (CoNEXT 2020 - Proceedings of the 16th International Conference on Emerging Networking EXperiments and Technologies).

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

  • AMSI-Based Detection of Malicious PowerShell Code Using Contextual Embeddings

    Hendler, D., Kels, S. & Rubin, A., 5 Oct 2020, Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020. Association for Computing Machinery, Inc, p. 679-693 15 p. (Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020).

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

    Open Access
    18 Scopus citations
  • A new lower bound on Hadwiger-Debrunner numbers in the plane

    Keller, C. & Smorodinsky, S., 1 Jan 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 1155-1169 15 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2020-January).

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

    1 Scopus citations
  • An exponential time parameterized algorithm for planar disjoint paths

    Lokshtanov, D., Misra, P., Pilipczuk, M., 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. 1307-1316 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
    12 Scopus citations
  • Approximate nearest neighbor for curves - simple, efficient, and deterministic

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

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

    14 Scopus citations
  • Approximate search for known gene clusters in new genomes using PQ-trees

    Zimerman, G. R., Svetlitsky, D., Zehavi, M. & Ziv-Ukelson, M., 1 Aug 2020, 20th International Workshop on Algorithms in Bioinformatics, WABI 2020. Kingsford, C. & Pisanti, N. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 172).

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

    1 Scopus citations
  • Approximation schemes via Width/Weight trade-offs on minor-free graphs

    Fomin, F. V., Lokshtanov, D., 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. 2299-2318 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

    7 Scopus citations
  • Authigenic Iron Minerals Associated with Iron and Methane Coupling in Marine Sediments

    Boyko, V., Herut, B., Yorshansky, O. & Sivan, O., Jun 2020, GOLDSCHMIDT 2020 Virtual. p. 243-243 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Automorphism Groups of Paley Graphs and Cyclotomic Schemes

    Muzychuk, M. E., 1 Jan 2020, Isomorphisms, Symmetry and Computations in Algebraic Graph Theory, WAGT 2016. Jones, G. A., Ponomarenko, I. & Širán, J. (eds.). Springer, p. 185-194 10 p. (Springer Proceedings in Mathematics and Statistics; vol. 305).

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

  • Average-Case Competitive Ratio of Scheduling Algorithms of Multi-user Cache

    Berend, D., Dolev, S., Hassidim, A. & Kogan-Sadetsky, M., 1 Jan 2020, Cyber Security Cryptography and Machine Learning - 4th International Symposium, CSCML 2020, Proceedings. Dolev, S., Weiss, G., Kolesnikov, V. & Lodha, S. (eds.). Springer, p. 237-244 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12161 LNCS).

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

  • Basin Plan-view Geometry is Dynamic but Reflects No Age

    Havusha, K., Goren, L. & Nativ, R., 10 Dec 2020, American Geophysical Union, Fall Meeting 2020. Vol. 02. p. 1-1 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Better secret sharing via robust conditional disclosure of secrets

    Applebaum, B., Beimel, A., Nir, O. & Peter, N., 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. 280-293 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    23 Scopus citations
  • Bidirectional heuristic search: Expanding nodes by a lower bound (extended abstract)

    Shperberg, S. S., Felner, A., Sturtevant, N. R., Shimony, E. & Hayoun, A., 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. 4775-4779 5 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2021-January).

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

    2 Scopus citations
  • Binary Interactive Error Resilience Beyond 1/8 (or why (½)3>1/8)

    Efremenko, K., Kol, G. & Saxena, R. R., 19 Nov 2020, Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020. Institute of Electrical and Electronics Engineers, p. 470-481 12 p. 9317957. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2020-November).

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

    4 Scopus citations
  • Bounding the fairness and accuracy of classifiers from population statistics

    Sabato, S. & Yom-Tov, E., 1 Jan 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 8286-8295 10 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-11).

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

    6 Scopus citations
  • Brief Announcements: Local Deal-Agreement Based Monotonic Distributed Algorithms for Load Balancing in General Graphs

    Dinitz, Y., Dolev, S. & Kumar, M., 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. 113-117 5 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 proceedingConference contributionpeer-review

    2 Scopus citations
  • Building a hebrew semantic role labeling lexical resource from parallel movie subtitles

    Eyal, B. & Elhadad, M., 1 Jan 2020, LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings. Calzolari, N., Bechet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (eds.). European Language Resources Association (ELRA), p. 5934-5942 9 p. (LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings).

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

    Open Access
  • Can the Operator of a Drone Be Located by Following the Drone’s Path?

    Mashhadi, E., Oren, Y. & Weiss, G., 1 Jan 2020, Cyber Security Cryptography and Machine Learning - 4th International Symposium, CSCML 2020, Proceedings. Dolev, S., Weiss, G., Kolesnikov, V. & Lodha, S. (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. 12161 LNCS).

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

    1 Scopus citations
  • Coalitional games with stochastic characteristic functions defined by private types

    Zhao, D., Huang, Y., Cohen, L. & Grinshpoun, T., 1 Jan 2020, Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020. An, B., El Fallah Seghrouchni, A. & Sukthankar, G. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 2086-2088 3 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2020-May).

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

  • Coevolving artistic images using OMNIREP

    Sipper, M., Moore, J. H. & Urbanowicz, R. J., 20 Apr 2020, Artificial Intelligence in Music, Sound, Art and Design - 9th International Conference, EvoMUSART 2020, held as part of EvoStar 2020, Proceedings. Romero, J., Ekárt, A., Martins, T. & Correia, J. (eds.). Cham: Springer, p. 165-178 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12103 LNCS).

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

    Open Access
    1 Scopus citations
  • Compar: Optimized multi-compiler for automatic openmp s2s parallelization

    Mosseri, I., Alon, L. O., Harel, R. ’. & Oren, G., 1 Jan 2020, OpenMP: Portable Multi-Level Parallelism on Modern Systems - 16th International Workshop on OpenMP, IWOMP 2020, Proceedings. Milfeld, K., Koesterke, L., de Supinski, B. R. & Klinkenberg, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 247-262 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12295 LNCS).

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

    Open Access
    7 Scopus citations
  • Comparison of DNS Based Methods for Detecting Malicious Domains

    Paz, E. & Gudes, E., 1 Jan 2020, Cyber Security Cryptography and Machine Learning - 4th International Symposium, CSCML 2020, Proceedings. Dolev, S., Weiss, G., Kolesnikov, V. & Lodha, S. (eds.). Springer, p. 219-236 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12161 LNCS).

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

    1 Scopus citations
  • Complete Deep Computer-Vision Methodology for Investigating Hydrodynamic Instabilities

    Harel, R., Rusanovsky, M., Fridman, Y., Shimony, A. & Oren, G., 1 Jan 2020, High Performance Computing - ISC High Performance 2020 International Workshops, Revised Selected Papers. Jagode, H., Anzt, H., Juckeland, G. & Ltaief, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 61-80 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12321 LNCS).

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

    5 Scopus citations
  • Computation of Hadwiger number and related contraction problems: Tight lower bounds

    Fomin, F. V., Lokshtanov, D., Mihajlin, I., Saurabh, S. & Zehavi, M., 1 Jun 2020, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020. Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 168).

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

    3 Scopus citations
  • Continuously-Adaptive Haptic Rendering

    El-Sana, J. & Varshney, A., 1 Jan 2020, Proceedings of the 6th Eurographics Workshop on Virtual Environments, EGVE 2000. Mulder, J. D. & van Liere, R. (eds.). The Eurographics Association, (Proceedings of the 6th Eurographics Workshop on Virtual Environments, EGVE 2000).

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

  • Cooperative Network-wide Flow Selection

    Basat, R. B., Einziger, G. & Tayh, B., 13 Oct 2020, 28th IEEE International Conference on Network Protocols, ICNP 2020. Institute of Electrical and Electronics Engineers, 9259395. (Proceedings - International Conference on Network Protocols, ICNP; vol. 2020-October).

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

    10 Scopus citations
  • Correlated pseudorandom functions from variable-density lpn

    Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L. & Scholl, P., 1 Nov 2020, Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020. Institute of Electrical and Electronics Engineers, p. 1069-1080 12 p. 9317926. (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
    29 Scopus citations
  • Cost Effective Troubleshooting of NFV Infrastructure

    Basat, R. B., Einziger, G., Goldstein, M., Pele, L. & Segall, I., 1 Jun 2020, IFIP Networking 2020 Conference and Workshops, Networking 2020. Institute of Electrical and Electronics Engineers, p. 686-694 9 p. 9142775. (IFIP Networking 2020 Conference and Workshops, Networking 2020).

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

  • Designing committees for mitigating biases

    Feldman, M., Mansour, Y., Nisan, N., Oren, S. & Tennenholtz, M., 1 Jan 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI press, p. 1942-1949 8 p.

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

    2 Scopus citations
  • Direct observation and kinetic mapping of point-to-point proton transfer to multiple competing molecular sites

    Pines, E., Pines, D. & Huppert, D., 16 Nov 2020, International Conference on Ultrafast Phenomena, UP 2020. Optica Publishing Group (formerly OSA), M4B.24. (Optics InfoBase Conference Papers).

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

  • Distributed Backup Placement in One Round and its Applications to Maximum Matching Approximation and Self-Stabilization

    Barenboim, L. & Oren, G., 1 Jan 2020, 3rd SIAM Symposium on Simplicity in Algorithms, SOSA 2020. Farach-Colton, M. & Gortz, I. L. (eds.). Society for Industrial and Applied Mathematics Publications, p. 99-105 7 p. (3rd SIAM Symposium on Simplicity in Algorithms, SOSA 2020).

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

    6 Scopus citations
  • Distributed Construction of Light Networks

    Elkin, M., Filtser, A. & Neiman, O., 31 Jul 2020, PODC 2020 - Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 483-492 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
    6 Scopus citations
  • Dynamic time warping-based proximity problems

    Aronov, B., Katz, M. J. & Sulami, E., 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-9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

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

  • Effect of Initial Assignment on Local Search Performance for Max Sat

    Berend, D. & Twitto, Y., 1 Jun 2020, 18th International Symposium on Experimental Algorithms, SEA 2020. Faro, S. & Cantone, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 160).

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

    2 Scopus citations
  • Emerging mechanisms of ecosystem functioning in a warmer and drier world

    Grünzweig, J. M., De Boeck, H. J., Rey, A., Tzuk, O., Meron, E., Flores, O., Santos, M. J. & Bahn, M., May 2020, 22nd EGU General Assembly, held online 4-8 May, 2020. Vol. 22. p. 13465

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

    Open Access
  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    11 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    5 Scopus citations
  • Feedbacks between Knickpoint and Divide Migration as Reflected in Paired Reverse and Truncated Channels

    Qu, T., Shelef, E., Goren, L. & Prince, P., 9 Dec 2020, American Geophysical Union, Fall Meeting 2020. Vol. 01. p. 1-1 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Following Individual Ruptures: A New approach for Measuring Dynamic Friction in the Lab

    Rubino, V., Rosakis, A., Tal, Y. & Lapusta, N., 17 Dec 2020, American Geophysical Union, Fall Meeting 2020. Vol. 03. p. 1-1 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution