Bar-Ilan University

  • Postal addressShow on map

    Max and Anna Web St

    5290002 Ramat-Gan

    Israel

Filter
Conference contribution

Search results

  • 2022

    Comparison-based MPC in Star Topology

    Chandran, G. R., Hazay, C., Hundt, R. & Schneider, T., 2022, SECRYPT 2022 - Proceedings of the 19th International Conference on Security and Cryptography. De Capitani di Vimercati, S. & Samarati, P. (eds.). Science and Technology Publications, Lda, p. 69-82 14 p. (Proceedings of the International Conference on Security and Cryptography; vol. 1).

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

    Open Access
    3 Scopus citations

  • Comparison of Learning-Based DOA Estimation Between SH Domain Features

    Hu, Y. & Gannot, S., 2022, 30th European Signal Processing Conference, EUSIPCO 2022 - Proceedings. European Signal Processing Conference, EUSIPCO, p. 329-333 5 p. (European Signal Processing Conference; vol. 2022-August).

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

    2 Scopus citations

  • COMPOSER: Compositional Reasoning of Group Activity in Videos with Keypoint-Only Modality

    Zhou, H., Kadav, A., Shamsian, A., Geng, S., Lai, F., Zhao, L., Liu, T., Kapadia, M. & Graf, H. P., 2022, Computer Vision – ECCV 2022 - 17th European Conference, Proceedings. Avidan, S., Brostow, G., Cissé, M., Farinella, G. M. & Hassner, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 249-266 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13695 LNCS).

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

    17 Scopus citations

  • Conformance Checking over Stochastically Known Logs

    Bogdanov, E., Cohen, I. & Gal, A., 2022, Business Process Management Forum - BPM 2022 Forum, Proceedings. Di Ciccio, C., Dijkman, R., del Río Ortega, A. & Rinderle-Ma, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 105-119 15 p. (Lecture Notes in Business Information Processing; vol. 458 LNBIP).

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

    12 Scopus citations

  • Convex floating bodies of equilibrium

    Florentin, D. I., Schütt, C., Werner, E. M. & Zhang, N., 1 Jul 2022, PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY . 7 ed. Vol. 150. p. 3037-3048 12 p. (Proceedings of the American Mathematical Society).

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

    Open Access
    3 Scopus citations

  • Coupled Training for Multi-Source Domain Adaptation

    Amosy, O. & Chechik, G., 2022, Proceedings - 2022 IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2022. Institute of Electrical and Electronics Engineers Inc., p. 1071-1080 10 p. (Proceedings - 2022 IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2022).

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

    7 Scopus citations

  • cvc5: A Versatile and Industrial-Strength SMT Solver

    Barbosa, H., Barrett, C., Brain, M., Kremer, G., Lachnitt, H., Mann, M., Mohamed, A., Mohamed, M., Niemetz, A., Nötzli, A., Ozdemir, A., Preiner, M., Reynolds, A., Sheng, Y., Tinelli, C. & Zohar, Y., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 415-442 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13243 LNCS).

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

    218 Scopus citations

  • DALLE-2 is Seeing Double: Flaws in Word-to-Concept Mapping in Text2Image Models

    Rassin, R., Ravfogel, S. & Goldberg, Y., 2022, BlackboxNLP 2022 - BlackboxNLP Analyzing and Interpreting Neural Networks for NLP, Proceedings of the Workshop. Association for Computational Linguistics (ACL), p. 325-334 10 p. (BlackboxNLP 2022 - BlackboxNLP Analyzing and Interpreting Neural Networks for NLP, Proceedings of the Workshop).

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

    9 Scopus citations

  • DeepArtist: A Dual-Stream Network for Painter Classification of Highly-Varying Image Resolutions

    Nevo, D., David, E. O. & Netanyahu, N. S., 2022, Artificial Neural Networks and Machine Learning - ICANN 2022 - 31st International Conference on Artificial Neural Networks, Proceedings. Pimenidis, E., Aydin, M., Angelov, P., Jayne, C. & Papaleonidas, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 582-593 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13532 LNCS).

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

    1 Scopus citations

  • Demonstrating SubStrat: A Subset-Based Strategy for Faster AutoML on Large Datasets

    Lazebnik, T. & Somech, A., 17 Oct 2022, CIKM 2022 - Proceedings of the 31st ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 4907-4911 5 p. (International Conference on Information and Knowledge Management, Proceedings).

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

    1 Scopus citations

  • Design Choices in Crowdsourcing Discourse Relation Annotations: The Effect of Worker Selection and Training

    Scholman, M. C. J., Pyatkin, V., Yung, F., Dagan, I., Tsarfaty, R. & Demberg, V., 2022, 2022 Language Resources and Evaluation Conference, LREC 2022. Calzolari, N., Bechet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Odijk, J. & Piperidis, S. (eds.). European Language Resources Association (ELRA), p. 2148-2156 9 p. (2022 Language Resources and Evaluation Conference, LREC 2022).

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

    5 Scopus citations

  • Designing a quantifiable detection method for the optimization of gold nanoparticle based gene therapy

    Labovitz, J., Motiei, M., Sadan, T., Fixler, D. & Popovtzer, R., 2022, Nanoscale Imaging, Sensing, and Actuation for Biomedical Applications XIX. Fixler, D., Goldys, E. M. & Wachsmann-Hogiu, S. (eds.). SPIE, 119760C. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 11976).

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

  • DETReg: Unsupervised Pretraining with Region Priors for Object Detection

    Bar, A., Wang, X., Kantorov, V., Reed, C. J., Herzig, R., Chechik, G., Rohrbach, A., Darrell, T. & Globerson, A., 2022, Proceedings - 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2022. IEEE Computer Society, p. 14585-14595 11 p. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2022-June).

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

    Open Access
    76 Scopus citations

  • Detuning Modulated Composite Segments for High Fidelity Directional Couplers in Integrated Photonic Devices

    Piasetzky, Y., Katzman, M., Priel, M., Suchowski, H. & Zadok, A., 2022, 2022 Conference on Lasers and Electro-Optics, CLEO 2022 - Proceedings. Institute of Electrical and Electronics Engineers Inc., JTu3B.6. (2022 Conference on Lasers and Electro-Optics, CLEO 2022 - Proceedings).

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

  • Direct Distributed Analysis of Nonlinear Inter-Modal Forward Scattering in Polarization Maintaining Fibers

    Sharma, K., Zehavi, E., Diamandi, H. H., Bashan, G., London, Y. & Zadok, A., 2022, 2022 Conference on Lasers and Electro-Optics, CLEO 2022 - Proceedings. Institute of Electrical and Electronics Engineers Inc., JTh3A.15. (2022 Conference on Lasers and Electro-Optics, CLEO 2022 - Proceedings).

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

  • Direct Spatially Distributed Analysis of Forward Brillouin Scattering in Polarization Maintaining Fibers

    Sharma, K., Zehavi, E., Diamandi, H. H., Bashan, G., London, Y. & Zadok, A., 2022, Optical Fiber Sensors, OFS 2022. Optica Publishing Group (formerly OSA), (Optics InfoBase Conference Papers).

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

  • Discovery of Single Independent Latent Variable

    Shaham, U., Svirsky, J., Katz, O. & Talmon, R., 2022, Advances in Neural Information Processing Systems 35 - 36th Conference on Neural Information Processing Systems, NeurIPS 2022. Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K. & Oh, A. (eds.). Neural information processing systems foundation, (Advances in Neural Information Processing Systems; vol. 35).

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

    2 Scopus citations

  • Distributed Computations in Fully-Defective Networks

    Censor-Hillel, K., Cohen, S., Gelles, R. & Sela, G., 20 Jul 2022, PODC 2022 - Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 141-150 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

  • Double Balanced Sets in High Dimensional Expanders

    Kaufman, T. & Mass, D., 1 Sep 2022, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2022. Chakrabarti, A. & Swamy, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 3. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 245).

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

    3 Scopus citations

  • Dyna-bAbI: unlocking bAbI’s potential with dynamic synthetic benchmarking

    Tamari, R., Richardson, K., Kahlon, N., Sar-Shalom, A., Liu, N. F., Tsarfaty, R. & Shahaf, D., 2022, *SEM 2022 - 11th Joint Conference on Lexical and Computational Semantics, Proceedings of the Conference. Nastase, V., Pavlick, E., Pilehvar, M. T., Camacho-Collados, J. & Raganato, A. (eds.). Association for Computational Linguistics (ACL), p. 101-122 22 p. (*SEM 2022 - 11th Joint Conference on Lexical and Computational Semantics, Proceedings of the Conference).

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

    Open Access
    2 Scopus citations

  • Dynamic Connectivity in Disk Graphs

    Kaplan, H., Kauer, A., Klost, K., Knorr, K., Mulzer, W., Roditty, L. & Seiferth, P., 1 Jun 2022, 38th International Symposium on Computational Geometry, SoCG 2022. Goaoc, X. & Kerber, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 224).

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

    5 Scopus citations

  • EDAM: Edit Distance tolerant Approximate Matching content addressable memory

    Hanhan, R., Garzón, E., Jahshan, Z., Teman, A., Lanuzza, M. & Yavits, L., 18 Jun 2022, ISCA 2022 - Proceedings of the 49th Annual International Symposium on Computer Architecture. Institute of Electrical and Electronics Engineers Inc., p. 495-507 13 p. (Proceedings - International Symposium on Computer Architecture).

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

    21 Scopus citations

  • EEG reactivity changes captured via mobile BCI device following tDCS intervention - a pilot-study in disorders of consciousness (DOC) patients

    Maimon, N. B., Molcho, L., Jaul, E., Intrator, N., Barron, J. & Meiron, O., 2022, 10th International Winter Conference on Brain-Computer Interface, BCI 2022. Institute of Electrical and Electronics Engineers Inc., 3 p. (International Winter Conference on Brain-Computer Interface, BCI; vol. 2022-February).

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

    1 Scopus citations

  • Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices

    Lahav, O. & Zohar, Y., 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 468-485 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).

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

    7 Scopus citations

  • Efficient Secure Three-Party Sorting with Applications to Data Analysis and Heavy Hitters

    Asharov, G., Hamada, K., Ikarashi, D., Kikuchi, R., Nof, A., Pinkas, B., Takahashi, K. & Tomida, J., 7 Nov 2022, CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 125-138 14 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

    16 Scopus citations

  • Eigenstripping, Spectral Decay, and Edge-Expansion on Posets

    Gaitonde, J., Hopkins, M., Kaufman, T., Lovett, S. & Zhang, R., 1 Sep 2022, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2022. Chakrabarti, A. & Swamy, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 245).

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

    2 Scopus citations

  • Electro-Opto-Mechanical Microwave-Frequency Oscillator in a Surface Acoustic Wave Silicon-Photonic Circuit

    Priel, M., Bag, S. K., Slook, M., Dokhanian, L., Shafir, I., Grunwald, E., Katzman, M., Hen, M. & Zadok, A., 2022, 2022 IEEE International Topical Meeting on Microwave Photonics, MWP 2022 - Proceedings. Institute of Electrical and Electronics Engineers Inc., (2022 IEEE International Topical Meeting on Microwave Photonics, MWP 2022 - Proceedings).

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

  • Enjoy the Ride Consciously with CAWA: Context-Aware Advisory Warnings for Automated Driving

    Pakdamanian, E., Hu, E., Sheng, S., Kraus, S., Heo, S. & Feng, L., 17 Sep 2022, Main Proceedings - 14th International ACM Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2022. Association for Computing Machinery, Inc, p. 75-85 11 p. (Main Proceedings - 14th International ACM Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2022).

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

    Open Access
    8 Scopus citations

  • En savoir des choses : une étude de chose dans un corpus de l'hébreu oral spontané

    Yatziv-Malibert, I. & Adler, S., 1 Dec 2022, Journées d'hommage à Estelle Moline. Paris, France

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

  • Evaluation of Dual Mode Logic Under Cryogenic Temperatures

    Stanger, I., Roknian, N., Shoshan, Y., Levy, Z., Weizman, Y., Charbon, E., Teman, A. & Fish, A., 2022, IEEE International Symposium on Circuits and Systems, ISCAS 2022. Institute of Electrical and Electronics Engineers Inc., p. 361-364 4 p. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2022-May).

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

    2 Scopus citations

  • Experimental Generation of Cluster-state Entanglement by Phase Modulation of the Quantum Optical Frequency Comb

    Zhu, X., Chang, C. H., González-Arciniegas, C., Pe'er, A. & Pfister, O., 2022, 2022 Conference on Lasers and Electro-Optics, CLEO 2022 - Proceedings. Institute of Electrical and Electronics Engineers Inc., JTh3A.65. (2022 Conference on Lasers and Electro-Optics, CLEO 2022 - Proceedings).

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

  • Explainability in Mechanism Design: Recent Advances and the Road Ahead

    Suryanarayana, S. A., Sarne, D. & Kraus, S., 2022, Multi-Agent Systems - 19th European Conference, EUMAS 2022, Proceedings. Baumeister, D. & Rothe, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 364-382 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13442 LNAI).

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

    5 Scopus citations

  • Explaining Preference-Driven Schedules: The EXPRES Framework

    Pozanco, A., Mosca, F., Zehtabi, P., Magazzeni, D. & Kraus, S., 13 Jun 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). Association for the Advancement of Artificial Intelligence, p. 710-718 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; vol. 32).

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

    Open Access
    3 Scopus citations

  • Extending Multi-Text Sentence Fusion Resources via Pyramid Annotations

    Weiss, D. B., Roit, P., Ernst, O. & Dagan, I., 2022, NAACL 2022 - 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 1854-1860 7 p. (NAACL 2022 - 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference).

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

    4 Scopus citations

  • Extracting the reduced scattering coefficient in different optical magnifications in the blue regime: theory and experiments

    Shapira, C., Yariv, I., Duadi, H. & Fixler, D., 2022, Nanoscale Imaging, Sensing, and Actuation for Biomedical Applications XIX. Fixler, D., Goldys, E. M. & Wachsmann-Hogiu, S. (eds.). SPIE, 1197605. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 11976).

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

    1 Scopus citations

  • Extraction of absorption coefficients from two-layer phantoms based on crossover point in diffuse reflectance

    Rudraiah, P. S., Duadi, H. & Fixler, D., 2022, Nanoscale Imaging, Sensing, and Actuation for Biomedical Applications XIX. Fixler, D., Goldys, E. M. & Wachsmann-Hogiu, S. (eds.). SPIE, 1197609. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 11976).

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

    1 Scopus citations

  • Fair and Truthful Giveaway Lotteries

    Arbiv, T. & Aumann, Y., 30 Jun 2022, AAAI-22 Technical Tracks 5. Association for the Advancement of Artificial Intelligence, p. 4785-4792 8 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).

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

    Open Access
    1 Scopus citations

  • Fast Fully Secure Multi-Party Computation over Any Ring with Two-Thirds Honest Majority

    Dalskov, A., Escudero, D. & Nof, A., 7 Nov 2022, CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 653-666 14 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

    11 Scopus citations

  • Fiber Based Generic Photonic Computing Unit

    Yevnin, M., Cohen, E., Yanir, T. & Zalevsky, Z., 2022, 2022 Conference on Lasers and Electro-Optics, CLEO 2022 - Proceedings. Institute of Electrical and Electronics Engineers Inc., STu5P.3. (2022 Conference on Lasers and Electro-Optics, CLEO 2022 - Proceedings).

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

    1 Scopus citations

  • Financially Backed Covert Security

    Faust, S., Hazay, C., Kretzler, D. & Schlosser, B., 2022, Public-Key Cryptography - PKC 2022 - 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings. Hanaoka, G., Shikata, J. & Watanabe, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 99-129 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13178 LNCS).

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

    4 Scopus citations

  • Findings of the First WMT Shared Task on Sign Language Translation (WMT-SLT22)

    Müller, M., Berger, M., España-Bonet, C., Moryossef, A., Shterionov, D., Ebling, S., Bowden, R., Grundkiewicz, R., Perrollaz, R., Sidler-Misere, S., Avramidis, E., Braffort, A., Jiang, Z., Reinhard, S., Tissi, K., Battisti, A., Camgöz, N. C., Koller, O., Rios, A. & Van Landuyt, D., 2022, WMT 2022 - 7th Conference on Machine Translation, Proceedings of the Conference. Association for Computational Linguistics, p. 744-772 29 p. (Conference on Machine Translation - Proceedings).

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

    21 Scopus citations

  • Flexible Proof Production in an Industrial-Strength SMT Solver

    Barbosa, H., Reynolds, A., Kremer, G., Lachnitt, H., Niemetz, A., Nötzli, A., Ozdemir, A., Preiner, M., Viswanathan, A., Viteri, S., Zohar, Y., Tinelli, C. & Barrett, C., 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 15-35 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).

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

    18 Scopus citations

  • Formal Specification for Learning-Enabled Autonomous Systems

    Bensalem, S., Cheng, C. H., Huang, X., Katsaros, P., Molin, A., Nickovic, D. & Peled, D., 2022, Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Proceedings. Isac, O., Katz, G., Ivanov, R., Narodytska, N. & Nenzi, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 131-143 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13466 LNCS).

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

    5 Scopus citations

  • Forward Brillouin Laser in a Polarization Maintaining Fiber

    Bashan, G., Diamandi, H. H., Zehavi, E., Sharma, K., London, Y. & Zadok, A., 2022, 2022 Conference on Lasers and Electro-Optics, CLEO 2022 - Proceedings. Institute of Electrical and Electronics Engineers Inc., STh5K.1. (2022 Conference on Lasers and Electro-Optics, CLEO 2022 - Proceedings).

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

  • Forward Brillouin Point Sensor in a Multi-Core Fiber

    Shemer, K., Bashan, G., Zehavi, E., Diamandi, H. H., Bernstein, A., Sharma, K., London, Y., Barrera, D., Sales, S. & Zadok, A., 2022, Optical Fiber Sensors, OFS 2022. Optica Publishing Group (formerly OSA), (Optics InfoBase Conference Papers).

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

    1 Scopus citations

  • Functional Ensemble Distillation

    Penso, C., Achituve, I. & Fetaya, E., 2022, Advances in Neural Information Processing Systems 35 - 36th Conference on Neural Information Processing Systems, NeurIPS 2022. Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K. & Oh, A. (eds.). Neural information processing systems foundation, (Advances in Neural Information Processing Systems; vol. 35).

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

    2 Scopus citations

  • Gate-tuning of the surface plasmons and their optical properties

    Strelniker, Y. M. & Bergman, D. J., 2022, Plasmonics: Design, Materials, Fabrication, Characterization, and Applications XX. Tsai, D. P., Tanaka, T. & Lu, Y.-J. (eds.). SPIE, 1219706. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 12197).

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

    2 Scopus citations

  • Giving Instructions in Linear Temporal Logic

    Gutierrez, J., Kraus, S., Perelli, G. & Wooldridge, M., 1 Nov 2022, 29th International Symposium on Temporal Representation and Reasoning, TIME 2022. Artikis, A., Posenato, R. & Tonetta, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 247).

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

  • Goal Recognition as Reinforcement Learning

    Amado, L., Mirsky, R. & Meneguzzi, F., 30 Jun 2022, AAAI-22 Technical Tracks 9. Association for the Advancement of Artificial Intelligence, p. 9644-9651 8 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).

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

    Open Access
    13 Scopus citations

  • Golden exosomes: a new platform for cancer theranostics

    Anaki, A., Betzer, O., Motiei, M., Sadan, T., Fixler, D. & Popovtzer, R., 2022, Nanoscale Imaging, Sensing, and Actuation for Biomedical Applications XIX. Fixler, D., Goldys, E. M. & Wachsmann-Hogiu, S. (eds.). SPIE, 119760D. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 11976).

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