Filter
Conference contribution

Search results

  • 2016

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

    Optimal ordering of tests with extreme dependencies

    Berend, D., Cohen, S., Shimony, S. E. & Zucker, S., 1 Jan 2015, Modelling, Computation and Optimization in Information Systems and Management Sciences - Proceedings of the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences, MCO 2015. Nguyen, N. T., Le Thi, H. A. & Dinh, T. P. (eds.). Springer Verlag, p. 81-92 12 p. (Advances in Intelligent Systems and Computing; vol. 359).

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

    4 Scopus citations
  • Semiconstrained systems

    Elishco, O., Meyerovitch, T. & Schwartz, M., 28 Sep 2015, Proceedings - 2015 IEEE International Symposium on Information Theory, ISIT 2015. Institute of Electrical and Electronics Engineers, p. 246-250 5 p. 7282454. (IEEE International Symposium on Information Theory - Proceedings; vol. 2015-June).

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

    Open Access
    3 Scopus citations
  • 2014

    Enumeration of Schur rings over small groups

    Ziv-Av, M., 1 Jan 2014, Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Proceedings. Springer Verlag, p. 491-500 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8660 LNCS).

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

    10 Scopus citations
  • Multi-linear secret-sharing schemes

    Beimel, A., Ben-Efraim, A., Padró, C. & Tyomkin, I., 1 Jan 2014, Theory of Cryptography - 11th Theory of Cryptography Conference, TCC 2014, Proceedings. Springer Verlag, p. 394-418 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8349 LNAI).

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

    Open Access
    30 Scopus citations
  • On the mailbox problem

    Abraham, U. & Amram, G., 1 Jan 2014, Principles of Distributed Systems - 18th International Conference, OPODIS 2014, Proceedings. Aguilera, M. K., Querzoni, L. & Shapiro, M. (eds.). Springer Verlag, p. 453-468 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8878).

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

    1 Scopus citations
  • On the signaling problem

    Amram, G., 3 Feb 2014, Distributed Computing and Networking - 15th International Conference, ICDCN 2014, Proceedings. p. 44-65 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8314 LNCS).

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

    3 Scopus citations
  • Point line cover: The easy kernel is essentially tight

    Kratsch, S., Philip, G. & Ray, S., 1 Jan 2014, Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014. Association for Computing Machinery, p. 1596-1606 11 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

    Open Access
    15 Scopus citations
  • Sporadic examples of directed strongly regular graphs obtained by computer algebra experimentation

    Gyürki, Š. & Klin, M., 1 Jan 2014, Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Proceedings. Springer Verlag, p. 155-170 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8660 LNCS).

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

    3 Scopus citations
  • 2013

    An example of a reducible Severi variety

    Tyomkin, I., May 2013, Proceedings of 20th Gokova Geometry-Topology Conference. p. 33-40

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

  • Enumeration of Schur rings over the group A5

    Klin, M. & Ziv-Av, M., 10 Oct 2013, Computer Algebra in Scientific Computing - 15th International Workshop, CASC 2013, Proceedings. p. 219-230 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8136 LNCS).

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

    3 Scopus citations
  • Order convergence ergodic theorems in rearrangement invariant spaces

    Muratov, M., Pashkova, J. & Rubshtein, B. Z., 1 Jan 2013, Operator Methods in Mathematical Physics - Conference on Operator Theory, Analysis and Mathematical Physics, OTAMP 2010. Janas, J., Kurasov, P., Laptev, A. & Naboko, S. (eds.). Springer International Publishing, p. 123-142 20 p. (Operator Theory: Advances and Applications; vol. 227).

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

    2 Scopus citations
  • 2012

    Can wave-particle duality be a source of quantum nonlocality?

    Sen, R. N., 1 Dec 2012, Quantum Theory: Reconsideration of Foundations 6. p. 482-486 5 p. (AIP Conference Proceedings; vol. 1508).

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

  • Strong conflict-free coloring for intervals

    Cheilaris, P., Gargano, L., Rescigno, A. A. & Smorodinsky, S., 1 Jan 2012, Algorithms and Computation - 23rd International Symposium, ISAAC 2012, Proceedings. Springer Verlag, p. 4-13 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7676 LNCS).

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

    1 Scopus citations
  • Unique-maximum and conflict-free coloring for hypergraphs and tree graphs

    Cheilaris, P., Keszegh, B. & Pálvölgyi, D., 25 Jan 2012, SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. p. 190-201 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7147 LNCS).

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

    3 Scopus citations
  • Which multi-peg tower of Hanoi problems are exponential?

    Berend, D. & Sapir, A., 2 Nov 2012, Graph-Theoretic Concepts in Computer Science - 38th International Workshop, WG 2012, Revised Selcted Papers. p. 81-90 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7551 LNCS).

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

    2 Scopus citations
  • 2011

    Desalination Shocks and Overlimiting Current in Microstructures

    Mani, A., Dydek, E. V., Deng, D. S., Zaltzman, B., Rubinstein, I. & Bazant, M. Z., 2011, ECS Meeting Abstracts. p. 1640 1 p.

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

  • Hitting sets online and vertex ranking

    Even, G. & Smorodinsky, S., 20 Sep 2011, Algorithms, ESA 2011 - 19th Annual European Symposium, Proceedings. p. 347-357 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6942 LNCS).

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

    2 Scopus citations
  • Scaling invariant interpolation for singularly perturbed vector fields (SPVF)

    Bykov, V., Gol'Dshtein, V. & Maas, U., 1 Jan 2011, Coping with Complexity: Model Reduction and Data Analysis. p. 91-111 21 p. (Lecture Notes in Computational Science and Engineering; vol. 75 LNCSE).

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

    5 Scopus citations
  • The Milnor fibre signature is not semi-continuous

    Kerner, D. & Némethi, A., 2011, Topology of Algebraic Varieties and Singularities. Cogolludo-Agustín, J. I. & Hironaka, E. (eds.). American Mathematical Society, p. 369-376 (Contemporary Mathematics; vol. 538).

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

    Open Access
  • The potential to improve the choice: List conflict-free coloring for geometric hypergraphs

    Cheilaris, P., Smorodinsky, S. & Sulovský, M., 15 Jul 2011, Proceedings of the 27th Annual Symposium on Computational Geometry, SCG'11. p. 424-432 9 p. (Proceedings of the Annual Symposium on Computational Geometry).

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

    6 Scopus citations
  • 2010

    Characteristic Functions, Scattering Functions and Transfer Functions: The Moshe Livsic Memorial Volume

    Alpay, D. & Vinnikov, V., 1 Jan 2010, Characteristic Functions, Scattering Functions and Transfer Functions. Alpay, D. & Vinnikov, V. (eds.). Springer International Publishing, (Operator Theory: Advances and Applications; vol. 197).

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

  • Colorful strips

    Aloupis, G., Cardinal, J., Collette, S., Imahori, S., Korman, M., Langerman, S., Schwartz, O., Smorodinsky, S. & Taslakian, P., 18 Jun 2010, LATIN 2010: Theoretical Informatics - 9th Latin American Symposium, Proceedings. p. 2-13 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6034 LNCS).

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

    1 Scopus citations
  • Conflict-free coloring made stronger

    Horev, E., Krakovski, R. & Smorodinsky, S., 21 Jul 2010, Algorithm Theory - SWAT 2010 - 12th Scandinavian Symposium and Workshops on Algorithm Theory, Proceedings. p. 105-117 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6139 LNCS).

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

    20 Scopus citations
  • Convexity of ranges and connectedness of level sets of quadratic forms

    Feldman, I., Krupnik, N. & Markus, A., 1 Jan 2010, Characteristic Functions, Scattering Functions and Transfer Functions. Alpay, D. & Vinnikov, V. (eds.). Springer International Publishing, p. 149-179 31 p. (Operator Theory: Advances and Applications; vol. 197).

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

    1 Scopus citations
  • Differential-difference equations in entire functions

    Belitskii, G. & Tkachenko, V., 1 Jan 2010, Characteristic Functions, Scattering Functions and Transfer Functions. Alpay, D. & Vinnikov, V. (eds.). Springer International Publishing, p. 1-19 19 p. (Operator Theory: Advances and Applications; vol. 197).

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

  • Finding mobile data under delay constraints with searching costs

    Bar-Noy, A., Cheilaris, P., Feng, Y. & Levin, A., 8 Sep 2010, PODC'10 - Proceedings of the 2010 ACM Symposium on Principles of Distributed Computing. p. 297-304 8 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

  • Fluidic rectification due to asymmetric concentration polarization at nano-microfluidic interface

    Schiffbauer, J., Reschke, K., Zaltzman, B., Edwards, B., Rubinstein, I., Booth, W. & Timperman, A., 2010, APS March Meeting 2010. Vol. 2010.

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

  • Graph unique-maximum and conflict-free colorings

    Cheilaris, P. & Tóth, G., 25 Jun 2010, Algorithms and Complexity - 7th International Conference, CIAC 2010, Proceedings. p. 143-154 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6078 LNCS).

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

    2 Scopus citations
  • Higman ideals and verlinde-type formulas for hopf algebras

    Cohen, M. & Westreich, S., 1 Jan 2010, Ring and Module Theory. Albu, T., Birkenmeier, G. F., Erdoǧan, A. & Tercan, A. (eds.). Springer International Publishing, p. 91-114 24 p. (Trends in Mathematics; vol. 50).

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

    11 Scopus citations
  • Impossibility of differentially private universally optimal mechanisms

    Brenner, H. & Nissim, K., 1 Jan 2010, Proceedings - 2010 IEEE 51st Annual Symposium on Foundations of Computer Science, FOCS 2010. Institute of Electrical and Electronics Engineers, p. 71-80 10 p. 5670945. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

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

    Open Access
    48 Scopus citations
  • Paging multiple users in cellular network: Yellow page and conference call problems

    Bar-Noy, A., Cheilaris, P. & Feng, Y., 1 Dec 2010, Experimental Algorithms - 9th International Symposium, SEA 2010, Proceedings. p. 361-372 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6049 LNCS).

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

  • Polychromatic coloring for half-planes

    Smorodinsky, S. & Yuditsky, Y., 21 Jul 2010, Algorithm Theory - SWAT 2010 - 12th Scandinavian Symposium and Workshops on Algorithm Theory, Proceedings. p. 118-126 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6139 LNCS).

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

    2 Scopus citations
  • The one-sided ergodic Hilbert transform of normal contractions

    Cohen, G. & Lin, M., 1 Jan 2010, Characteristic Functions, Scattering Functions and Transfer Functions. Alpay, D. & Vinnikov, V. (eds.). Springer International Publishing, p. 77-98 22 p. (Operator Theory: Advances and Applications; vol. 197).

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

    9 Scopus citations
  • The stable rank of a nest algebra and strong stabilization of linear time-varying systems

    Feintuch, A., 1 Jan 2010, Characteristic Functions, Scattering Functions and Transfer Functions. Alpay, D. & Vinnikov, V. (eds.). Springer International Publishing, p. 139-148 10 p. (Operator Theory: Advances and Applications; vol. 197).

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

    3 Scopus citations
  • 2009

    Rational functions in noncommutating variables, their realizations, and applications to linear matrix inequalities

    Vinnikov, V., 18 Nov 2009, 2009 International Workshop on Multidimensional (nD) Systems, nDS 2009. 5196046. (2009 International Workshop on Multidimensional (nD) Systems, nDS 2009).

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

  • State feedback for overdetermined 2D systems: pole placement for bundle maps over an algebraic curve

    Shaul, L. & Vinnikov, V., 18 Nov 2009, 2009 International Workshop on Multidimensional (nD) Systems, nDS 2009. 5191853. (2009 International Workshop on Multidimensional (nD) Systems, nDS 2009).

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

    2 Scopus citations
  • 2008

    An improved Algorithm for the Black-and-White Coloring Problem on Trees.

    Berend, D. & Zucker, S., 2008, Proceedings of the 19th International Workshop on Combinatorial Algorithms, IWOCA: September 13-15, 2008, Nagoya, Japan. Miller, M. & Wada, K. (eds.). College Publications, p. 173-181

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

  • On center regions and balls containing many points

    Smorodinsky, S., Sulovský, M. & Wagner, U., 4 Aug 2008, Computing and Combinatorics - 14th Annual International Conference, COCOON 2008, Proceedings. p. 363-373 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5092 LNCS).

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

    6 Scopus citations
  • Power efficient resilience and lifetime in wireless ad-hoc networks

    Berend, D., Segal, M. & Shpungin, H., 15 Dec 2008, 9th ACM International Symposium on Mobile Ad Hoc Networking and Computing - Proceeding of the 1st ACM International Workshop on Foundations of Wireless Ad Hoc and Sensor Networking and Computing 2008. p. 17-24 8 p. (Proceedings of the International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc)).

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

    4 Scopus citations
  • 2007

    On computing the centroid of the vertices of an arrangement and related problems

    Ajwani, D., Ray, S., Seidel, R. & Tiwary, H. R., 1 Jan 2007, Algorithms and Data Structures - 10th International Workshop, WADS 2007, Proceedings. Springer Verlag, p. 519-528 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4619 LNCS).

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

    7 Scopus citations
  • Tensored polynomial models

    Fuhrmann, P. A. & Helmke, U., 31 Oct 2007, Modeling, Estimation and Control: Festschrift in Honor of Giorgio Picci on the Occasion of his sixty-fifth Birthday. Chiuso, A., Pinzoni, S. & Ferrante, A. (eds.). p. 97-112 16 p. (Lecture Notes in Control and Information Sciences; vol. 364).

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

  • Weakening the Online Adversary Just Enough to get Optimal Conflict-free Colorings for Intervals

    Bar-Noy, A., Cheilaris, P., Olonetsky, S. & Smorodinsky, S., 2007, Proceedings Of The Nineteenth Annual Symposium On Parallelism In Algorithms And Architectures. p. 194-195 2 p.

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

  • 2005

    A direct frequency domain approach to stability of linear systems with time-varying delays

    Fridman, E. & Gil, M., 1 Dec 2005, Proceedings of the 20th IEEE International Symposium on Intelligent Control, ISIC '05 and the 13th Mediterranean Conference on Control and Automation, MED '05. p. 1544-1547 4 p. 1469811. (Proceedings of the 20th IEEE International Symposium on Intelligent Control, ISIC '05 and the 13th Mediterranean Conference on Control and Automation, MED '05; vol. 2005).

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

    6 Scopus citations
  • Chaotic bound state of localized structures in the complex ginzburg-landau equation

    Turaev, D., Zelik, S. & Vladimirov, A. G., 1 Jan 2005, Nonlinear Guided Waves and Their Applications, NLGW 2005. Optical Society of America, (Optics InfoBase Conference Papers).

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

  • Chaotic bound state of localized structures in the complex Ginzburg-Landau equation

    Turaev, D., Zelik, S. & Vladimirov, A. G., 1 Jan 2005, Nonlinear Guided Waves and Their Applications, NLGW 2005. Optical Society of America (OSA), (Nonlinear Guided Waves and Their Applications, NLGW 2005).

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

    Open Access
  • Classification of linear planar systems with hybrid feedback control

    Litsyn, E., Myasnikova, M., Nepomnyashchikh, Y. & Ponosov, A., 1 Dec 2005, Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. p. 6522-6526 5 p. 1583208. (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05; vol. 2005).

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

  • Complexity of the path multi-peg Tower of Hanoi

    Berend, D. & Sapir, A., 1 Dec 2005, Proceedings of the Seventh Workshop on Algorithm Engineering and Experiments and the Second Workshop on Analytic Algorithms and Combinatorics. Demetrescu, C., Sedgewick, R. & Tamassia, R. (eds.). p. 212-215 4 p. (Proceedings of the Seventh Workshop on Algorithm Engineering and Experiments and the Second Workshop on Analytic Algorithms and Combinatorics).

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