Filter
Conference contribution

Search results

  • 2024

    Representations of the quantum double of quasitriangular Hopf algebras

    Cohen, M. & Westreich, S., 1 Jan 2024, Amitsur Centennial Symposium, 2021. Mann, A., Rowen, L. H., Saltman, D. J., Shalev, A., Small, L. W. & Vishne, U. (eds.). American Mathematical Society, p. 101-116 16 p. (Contemporary Mathematics; vol. 800).

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

  • Secure Crowdsource-Based Open-Source Code Verification (SC)2V

    Nahum, M., Grolman, E., Maimon, I., Mimran, D., Brodt, O., Elyashar, A., Elovici, Y. & Shabtai, A., 8 Apr 2024, 39th Annual ACM Symposium on Applied Computing, SAC 2024. Association for Computing Machinery, p. 1536-1538 3 p. (Proceedings of the ACM Symposium on Applied Computing).

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

  • 2023

    Bounds on the Essential Covering Radius of Constrained Systems

    Elimelech, D., Meyerovitch, T. & Schwartz, M., 1 Jan 2023, 2023 IEEE International Symposium on Information Theory, ISIT 2023. Institute of Electrical and Electronics Engineers, p. 2679-2684 6 p. (IEEE International Symposium on Information Theory - Proceedings; vol. 2023-June).

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

  • On Distinguished Spaces Cp(X) of Continuous Functions

    Ka̧kol, J. & Leiderman, A., 1 Jan 2023, Functional Analysis and Continuous Optimization - In Honour of Juan Carlos Ferrando’s 65th Birthday, 2022. Amigó, J. M., Cánovas, M. J., López-Cerdá, M. A. & López-Pellicer, M. (eds.). Springer, p. 213-236 24 p. (Springer Proceedings in Mathematics and Statistics; vol. 424).

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

  • Quantized-Constraint Concatenation and the Covering Radius of Constrained Systems

    Elimelech, D., Meyerovitch, T. & Schwartz, M., 1 Jan 2023, 2023 IEEE International Symposium on Information Theory, ISIT 2023. Institute of Electrical and Electronics Engineers, p. 2673-2678 6 p. (IEEE International Symposium on Information Theory - Proceedings; vol. 2023-June).

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

    Open Access
  • Topological Properties of the Weak and Weak Topologies of Function Spaces

    Gabriyelyan, S., 1 Jan 2023, Functional Analysis and Continuous Optimization - In Honour of Juan Carlos Ferrando’s 65th Birthday, 2022. Amigó, J. M., Cánovas, M. J., López-Cerdá, M. A. & López-Pellicer, M. (eds.). Springer, p. 123-135 13 p. (Springer Proceedings in Mathematics and Statistics; vol. 424).

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

    1 Scopus citations
  • 2022

    A Solution to Ringel's Circle Problem

    Davies, J., Keller, C., Kleist, L., Smorodinsky, S. & Walczak, B., 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, 33. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 224).

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

  • High Dimensional Expansion Implies Amplified Local Testability

    Kaufman, T. & Oppenheim, I., 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, 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 245).

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

    1 Scopus citations
  • Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure

    Amram, G., Hayoun, A., Mizrahi, L. & Weiss, G., 1 Oct 2022, 36th International Symposium on Distributed Computing, DISC 2022. Scheideler, C. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 246).

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

    1 Scopus citations
  • Randomness for Randomness Testing

    Berend, D., Dolev, S. & Kumar, M., 23 Jun 2022, Cyber Security, Cryptology, and Machine Learning - 6th International Symposium, CSCML 2022, Proceedings. Dolev, S., Meisels, A. & Katz, J. (eds.). Springer Cham, p. 153-161 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13301 LNCS).

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

  • Simulating a Coupon Collector

    Barak-Pelleg, D. & Berend, D., 1 Jan 2022, Cyber Security, Cryptology, and Machine Learning - 6th International Symposium, CSCML 2022, Proceedings. Dolev, S., Meisels, A. & Katz, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 66-77 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13301 LNCS).

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

    1 Scopus citations
  • 2021

    A Novel Algorithm for Max Sat Calling MOCE to Order

    Berend, D., Golan, S. & Twitto, Y., 1 Jan 2021, Combinatorial Optimization and Applications - 15th International Conference, COCOA 2021, Proceedings. Du, D.-Z., Du, D., Wu, C. & Xu, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 302-317 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13135 LNCS).

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

  • Approximating a Distribution Using Weight Queries

    Barak, N. & Sabato, S., 1 Jan 2021, Proceedings of the 38th International Conference on Machine Learning, ICML 2021. ML Research Press, p. 674-683 10 p. (Proceedings of Machine Learning Research; vol. 139).

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

    1 Scopus citations
  • Coboundary and Cosystolic Expansion from Strong Symmetry

    Kaufman, T. & Oppenheim, I., 2 Jul 2021, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021. Bansal, N., Merelli, E. & Worrell, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 84. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 198).

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

    4 Scopus citations
  • Randomly Rotate Qubits, Compute and Reverse for Weak Measurements Resilient QKD and Securing Entanglement: (Extended Abstract)

    Bitan, D. & Dolev, S., 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. 196-204 9 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

  • THE TWO POINT FEYNMAN-α THEORY: A PRACTICAL POINT OF VIEW ON EX-CORE DETECTORS

    Dubi, C. & Magali, E., 1 Jan 2021, Proceedings of the International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering, M and C 2021. American Nuclear Society, p. 1587-1601 15 p. (Proceedings of the International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering, M and C 2021).

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

  • 2020

    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
  • 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

    1 Scopus citations
  • 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
  • From Schur Rings to Constructive and Analytical Enumeration of Circulant Graphs with Prime-Cubed Number of Vertices

    Gatt, V., Klin, M., Lauri, J. & Liskovets, V., 1 Jan 2020, Isomorphisms, Symmetry and Computations in Algebraic Graph Theory, WAGT 2016. Jones, G. A., Ponomarenko, I. & Širán, J. (eds.). Springer, p. 37-65 29 p. (Springer Proceedings in Mathematics and Statistics; vol. 305).

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

    1 Scopus citations
  • 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 proceedingConference contributionpeer-review

  • Learning the function concept in an augmented reality-rich environment

    Levy, Y., Jaber, O., Swidan, O. & Schacht, F., Sep 2020, Mathematics Education in the Digital Age (MEDA). erme - European society for research in mathematics education, Vol. 10. p. 239-246

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

  • New Method of Smooth Extension of Local Maps on Linear Topological Spaces. Applications and Examples

    Belitskii, G. & Rayskin, V., 1 Jan 2020, Progress on Difference Equations and Discrete Dynamical Systems - 25th ICDEA, 2019. Baigent, S., Bohner, M. & Elaydi, S. (eds.). Springer, p. 353-368 16 p. (Springer Proceedings in Mathematics and Statistics; vol. 341).

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

  • The Paulus–Rozenfeld–Thompson Graph on 26 Vertices Revisited and Related Combinatorial Structures

    Gyürki, Š., Klin, M. & Ziv-Av, M., 1 Jan 2020, Isomorphisms, Symmetry and Computations in Algebraic Graph Theory, WAGT 2016. Jones, G. A., Ponomarenko, I. & Širán, J. (eds.). Springer, p. 73-154 82 p. (Springer Proceedings in Mathematics and Statistics; vol. 305).

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

  • The ε-T-net problem

    Alon, N., Jartoux, B., Keller, C., Smorodinsky, S. & Yuditsky, Y., 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-5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 164).

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

  • 2019

    Geometric equivalence of π-torsion-free nilpotent groups

    Lipyanski, R., 1 Jan 2019, Groups, Algebras and Identities. Plotkin, E. (ed.). American Mathematical Society, p. 123-133 11 p. (Contemporary Mathematics; vol. 726).

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

  • Maximally almost periodic groups and respecting properties: In honour of manuel lópez-pellicer

    Gabriyelyan, S., 3 Jun 2019, Descriptive Topology and Functional Analysis II - In Honour of Manuel López-Pellicer Mathematical Work, 2018. Ferrando, J. C. (ed.). Springer New York LLC, p. 103-136 34 p. (Springer Proceedings in Mathematics and Statistics; vol. 286).

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

    Open Access
    12 Scopus citations
  • On the zariski topology of Ω-groups

    Lipyanski, R., 1 Jan 2019, Groups, Algebras and Identities. Plotkin, E. (ed.). American Mathematical Society, p. 135-142 8 p. (Contemporary Mathematics; vol. 726).

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

  • 2018

    Approximating maximum diameter-bounded subgraph in unit disk graphs

    Abu-Affash, A. K., Carmi, P., Maheshwari, A., Morin, P., Smid, M. & Smorodinsky, S., 1 Jun 2018, 34th International Symposium on Computational Geometry, SoCG 2018. Toth, C. D. & Speckmann, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 21-212 192 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 99).

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

  • Conict-free coloring of intersection graphs of geometric objects

    Keller, C. & Smorodinsky, S., 1 Jan 2018, 29th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018. Czumaj, A. (ed.). Association for Computing Machinery, p. 2397-2411 15 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

    Open Access
    7 Scopus citations
  • Construction of new local spectral high dimensional expanders

    Kaufman, T. & Oppenheim, I., 20 Jun 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 952-963 12 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    26 Scopus citations
  • Fibers of polynomial mappings over ℝn

    Peretz, R., 27 Jul 2018, Mathematical Methods and Computational Techniques in Science and Engineering II. Bardis, N. (ed.). American Institute of Physics Inc., 020010. (AIP Conference Proceedings; vol. 1982).

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

    Open Access
  • From a (p, 2)-Theorem to a Tight (p, q)-Theorem

    Keller, C. & Smorodinsky, S., 1 Jun 2018, 34th International Symposium on Computational Geometry, SoCG 2018. Toth, C. D. & Speckmann, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 511-5114 4604 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 99).

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

  • High order random walks: Beyond spectral gap

    Kaufman, T. & Oppenheim, I., 1 Aug 2018, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 21st International Workshop, APPROX 2018, and 22nd International Workshop, RANDOM 2018. Blais, E., Rolim, J. D. P., Steurer, D. & Jansen, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 47. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 116).

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

    25 Scopus citations
  • One-Round Secure Multiparty Computation of Arithmetic Streams and Functions: (Extended Abstract)

    Bitan, D. & Dolev, S., 17 Jun 2018, Cyber Security Cryptography and Machine Learning - Second International Symposium, CSCML 2018, Proceedings. Dinur, I., Dolev, S. & Lodha, S. (eds.). Springer Verlag, p. 255-273 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10879 LNCS).

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

    1 Scopus citations
  • On the satisfiability threshold of random community-structured SAT

    Barak-Pelleg, D. & Berend, D., 1 Jan 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1249-1255 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2018-July).

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

    Open Access
  • Robust sampling of the feynman variance to mean ratio

    Dubi, C., 1 Jan 2018, International Conference on Physics of Reactors, PHYSOR 2018: Reactor Physics Paving the Way Towards More Efficient Systems. Sociedad Nuclear Mexicana, A.C., p. 3335-3343 9 p. (International Conference on Physics of Reactors, PHYSOR 2018: Reactor Physics Paving the Way Towards More Efficient Systems; vol. Part F168384-5).

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

  • 2017

    Advanced Analysis of Subcritical Neutron Noise Experiments

    Gilad, E., Dubi, C., Geslot, B. & Blaise, P., 16 Apr 2017, M&C2017 - International Conference on Mathematics & Computational Methods Applied to Nuclear Science & Engineering: Jeju ISland (Korea).

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

  • Average-case competitive ratio for evaluating scheduling algorithms of multi-user cache

    Dolev, S., Berend, D., Hassidim, A. & Kogan-Sadetsky, M., 29 Jun 2017, 2017 International Symposium on Cyber Security Cryptography and Machine Learning (CSCML 2017).

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

  • Balanced line separators of unit disk graphs

    Carmi, P., Chiu, M. K., Katz, M. J., Korman, M., Okamoto, Y., Van Renssen, A., Roeloffzen, M., Shiitada, T. & Smorodinsky, S., 1 Jan 2017, Algorithms and Data Structures - 15th International Symposium, WADS 2017, Proceedings. Ellen, F., Kolokolova, A. & Sack, J.-R. (eds.). Springer Verlag, p. 241-252 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10389 LNCS).

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

  • Coloring curves that cross a fixed curve

    Rok, A. & Walczak, B., 1 Jun 2017, 33rd International Symposium on Computational Geometry, SoCG 2017. Katz, M. J. & Aronov, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 561-5615 5055 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 77).

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

    2 Scopus citations
  • Multidimensional semiconstrained systems

    Elishco, O., Meyerovitch, T. & Schwartz, M., 9 Aug 2017, 2017 IEEE International Symposium on Information Theory, ISIT 2017. Institute of Electrical and Electronics Engineers, p. 1490-1494 5 p. 8006777. (IEEE International Symposium on Information Theory - Proceedings).

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

  • On max-clique for intersection graphs of sets and the hadwiger-debrunner numbers

    Keller, C., Smorodinsky, S. & Tardos, G., 1 Jan 2017, 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017. Klein, P. N. (ed.). Association for Computing Machinery, p. 2254-2263 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 0).

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

    Open Access
    17 Scopus citations
  • Supervised detection of infected machines using anti-virus induced labels

    Cohen, T., Hendler, D. & Potashnik, D., 1 Jan 2017, Cyber Security Cryptography and Machine Learning - 1st International Conference, CSCML 2017, Proceedings. Dolev, S. & Lodha, S. (eds.). Springer Verlag, p. 34-49 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10332 LNCS).

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

    1 Scopus citations
  • 2016

    Encoding semiconstrained systems

    Elishco, O., Meyerovitch, T. & Schwartz, M., 10 Aug 2016, Proceedings - ISIT 2016; 2016 IEEE International Symposium on Information Theory. Institute of Electrical and Electronics Engineers, p. 395-399 5 p. 7541328. (IEEE International Symposium on Information Theory - Proceedings; vol. 2016-August).

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

    Open Access
    3 Scopus citations
  • On interference among moving sensors and related problems

    De Carufel, J. L., Katz, M. J., Korman, M., Van Renssen, A., Roeloffzen, M. & Smorodinsky, S., 1 Aug 2016, 24th Annual European Symposium on Algorithms, ESA 2016. Zaroliagis, C. & Sankowski, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 34. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 57).

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

    1 Scopus citations
  • Reachability of a cascade of linear systems with communication delays

    Verriest, E. I., Helmke, U. & Fuhrmann, P. A., 28 Jul 2016, 2016 American Control Conference, ACC 2016. Institute of Electrical and Electronics Engineers, p. 4440-4445 6 p. 7525621. (Proceedings of the American Control Conference; vol. 2016-July).

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

    1 Scopus citations
  • The F-snapshot problem

    Amram, G., 1 Jan 2016, Structural Information and Communication Complexity - 23rd International Colloquium, SIROCCO 2016, Revised Selected Papers. Suomela, J. (ed.). Springer Verlag, p. 159-176 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9988 LNCS).

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

  • The normalized autocorrelation length of random max r-Sat converges in probability to (1 − 1/2r)/r

    Berend, D. & Twitto, Y., 1 Jan 2016, Theory and Applications of Satisfiability Testing – SAT 2016 - 19th International Conference, Proceedings. Le Berre, D. & Creignou, N. (eds.). Springer Verlag, p. 60-76 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9710).

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

    3 Scopus citations
  • Weak 1/r-nets for moving points

    Rok, A. & Smorodinsky, S., 1 Jun 2016, 32nd International Symposium on Computational Geometry, SoCG 2016. Fekete, S. & Lubiw, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 59.1-59.13 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 51).

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

    2 Scopus citations