Filter
Conference contribution

Search results

  • 2015

    Archiving programs for the future

    Binun, A., Dolev, S. & Li, Y., 1 Jan 2015, SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015. Exman, I., Llorens, J. & Fraga, A. (eds.). SciTePress, p. 53-57 5 p. (SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, in conjuction with IC3K 2015).

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

    Open Access
  • A topology based flow model for computing domain reputation

    Mishsky, I., Gal-Oz, N. & Gudes, E., 1 Jan 2015, Data and Applications Security and Privacy XXIX - 29th Annual IFIP WG 11.3 Working Conference, DBSec 2015, Proceedings. Samarati, P. (ed.). Springer Verlag, p. 277-292 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9149).

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

    Open Access
    12 Scopus citations
  • Batched point location in sinr diagrams via algebraic tools

    Aronov, B. & Katz, M. J., 1 Jan 2015, Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Proceedings. Halldorsson, M. M., Kobayashi, N., Speckmann, B. & Iwama, K. (eds.). Springer Verlag, p. 65-77 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9134).

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

    5 Scopus citations
  • Birds of a feather flock together: The accidental communities of spammers

    Cohen, Y. & Hendler, D., 25 Aug 2015, Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2015. Pei, J., Tang, J. & Silvestri, F. (eds.). Association for Computing Machinery, Inc, p. 986-993 8 p.

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

  • Bold automatic game design

    Ashlock, D., Colton, J. S., Eladhari, M., Van Kreveld, M., Lanzi, P. & Sipper, M., 2015, Artificial and computational intelligence in games: Integration. Lucas, S. M., Mateas, M., Preuss, M., Spronck, P. & Togelius, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 5. p. 212-213

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

  • Brief announcement: Vehicle to vehicle authentication

    Dolev, S., Krzywiecki, L., Panwar, N. & Segal, M., 1 Jan 2015, Stabilization, Safety and Security of Distributed Systems - 17th International Symposium, SSS 2015, Proceedings. Pelc, A. & Schwarzmann, A. A. (eds.). Springer Verlag, p. 275-277 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9212).

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

  • Brief announcement: Data stabilization enforcement via active monitoring the cloud infrastructure consistency case

    Binun, A., Coupaye, T., Dolev, S., Kassi-Lahlou, M., Lacoste, M., Palesandro, A., Wailly, A., Yagel, R. & Yankulin, L., 1 Jan 2015, Stabilization, Safety and Security of Distributed Systems - 17th International Symposium, SSS 2015, Proceedings. Pelc, A. & Schwarzmann, A. A. (eds.). Springer Verlag, p. 278-279 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9212).

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

  • Brief announcement: Robust and private distributed shared atomic memory in message passing networks

    Dolev, S., Petig, T. & Schiller, E. M., 21 Jul 2015, PODC 2015 - Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 311-313 3 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. 2015-July).

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

    Open Access
    7 Scopus citations
  • Brief announcement: Self-stabilizing virtual synchrony

    Dolev, S., Georgiou, C., Marcoullis, I. & Schiller, E. M., 1 Jan 2015, Distributed Computing - 29th International Symposium, DISC 2015, Proceedings. Moses, Y. (ed.). Springer Verlag, p. 655-656 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9363).

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

  • Brief announcement: Meta-mapreduce a technique for reducing communication in mapreduce computations

    Afrati, F., Dolev, S., Sharma, S. & Ullman, J. D., 1 Jan 2015, Stabilization, Safety and Security of Distributed Systems - 17th International Symposium, SSS 2015, Proceedings. Pelc, A. & Schwarzmann, A. A. (eds.). Springer Verlag, p. 272-274 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9212).

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

  • Choice is hard

    Arkin, E. M., Banik, A., Carmi, P., Citovsky, G., Katz, M. J., Mitchell, J. S. B. & Simakov, M., 1 Jan 2015, Algorithms and Computation - 26th International Symposium, ISAAC 2015, Proceedings. Elbassioni, K. & Makino, K. (eds.). Springer Verlag, p. 318-328 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9472).

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

    18 Scopus citations
  • Compatible connectivity-augmentation of planar disconnected graphs

    Aloupis, G., Barba, L., Carmi, P., Dujmović, V., Frati, F. & Morin, P., 1 Jan 2015, Proceedings of the 26th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015. January ed. Association for Computing Machinery, p. 1602-1615 14 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2015-January, no. January).

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

    Open Access
    2 Scopus citations
  • Complete characterization of fairness in secure two-party computation of Boolean functions

    Asharov, G., Beimel, A., Makriyannis, N. & Omri, E., 1 Jan 2015, Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Proceedings. Dodis, Y. & Nielsen, J. B. (eds.). Springer Verlag, p. 199-228 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9014).

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

    Open Access
    31 Scopus citations
  • Differentially Private Release and Learning of Threshold Functions

    Bun, M., Nissim, K., Stemmer, U. & Vadhan, S., 11 Dec 2015, Proceedings - 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015. Institute of Electrical and Electronics Engineers, p. 634-649 16 p. 7354419. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2015-December).

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

    Open Access
    131 Scopus citations
  • Estimating the probability of meeting a deadline in hierarchical plans

    Cohen, L., Shimony, S. E. & Weiss, G., 1 Jan 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (eds.). International Joint Conferences on Artificial Intelligence, p. 1551-1557 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2015-January).

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

    5 Scopus citations
  • Exploiting geometry in the SINRk model

    Aschner, R., Citovsky, G. & Katz, M. J., 1 Jan 2015, Algorithms for Sensor Systems - 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Revised Selected Papers. Gao, J., Efrat, A., Fekete, S. P. & Zhang, Y. (eds.). Springer Verlag, p. 125-135 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8847).

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

    1 Scopus citations
  • Fair information sharing for treasure hunting

    Chen, Y., Nissim, K. & Waggoner, B., 1 Jun 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, p. 851-857 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

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

    4 Scopus citations
  • Functional encryption for cascade automata (Extended abstract)

    Brownstein, D., Dolev, S. & Gilboa, N., 1 Jan 2015, Stabilization, Safety and Security of Distributed Systems - 17th International Symposium, SSS 2015, Proceedings. Pelc, A. & Schwarzmann, A. A. (eds.). Springer Verlag, p. 94-108 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9212).

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

  • GRECS: Graph EnCryption for approximate Shortest distance queries

    Meng, X., Kamara, S., Nissim, K. & Kollios, G., 12 Oct 2015, CCS 2015 - Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 504-517 14 p. (Proceedings of the ACM Conference on Computer and Communications Security; vol. 2015-October).

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

    129 Scopus citations
  • ICBS: The Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding: Extended Abstract

    Boyarski, E., Felner, A., Stern, R., Sharon, G., Betzalel, O., Tolpin, D. & Shimony, E., 1 Jan 2015, Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015. Lelis, L. & Stern, R. (eds.). AAAI press, p. 223-225 3 p. (Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015; vol. 2015-January).

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

    59 Scopus citations
  • Learning parametric-output hmms with two aliased states

    Weiss, R. & Nadler, B., 1 Jan 2015, 32nd International Conference on Machine Learning, ICML 2015. Bach, F. & Blei, D. (eds.). International Machine Learning Society (IMLS), p. 635-644 10 p. (32nd International Conference on Machine Learning, ICML 2015; vol. 1).

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

    3 Scopus citations
  • Learning privately with labeled and unlabeled examples

    Beimel, A., Nissim, K. & Stemmer, U., 1 Jan 2015, Proceedings of the 26th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015. January ed. Association for Computing Machinery, p. 461-477 17 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2015-January, no. January).

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

    Open Access
    18 Scopus citations
  • On the bounded-hop range assignment problem

    Carmi, P., Chaitman-Yerushalmi, L. & Trabelsi, O., 1 Jan 2015, Algorithms and Data Structures - 14th International Symposium, WADS 2015, Proceedings. Dehne, F., Sack, J.-R. & Stege, U. (eds.). Springer Verlag, p. 140-151 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9214).

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

    2 Scopus citations
  • On the chain pair simplification problem

    Fan, C., Filtser, O., Katz, M. J., Wylie, T. & Zhu, B., 1 Jan 2015, Algorithms and Data Structures - 14th International Symposium, WADS 2015, Proceedings. Dehne, F., Sack, J.-R. & Stege, U. (eds.). Springer Verlag, p. 351-362 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9214).

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

    2 Scopus citations
  • On the minimum cost range assignment problem

    Carmi, P. & Chaitman-Yerushalmi, L., 1 Jan 2015, Algorithms and Computation - 26th International Symposium, ISAAC 2015, Proceedings. Elbassioni, K. & Makino, K. (eds.). Springer Verlag, p. 95-105 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9472).

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

    3 Scopus citations
  • On the Richter-Thomassen conjecture about pairwise intersecting closed curves

    Pach, J., Rubin, N. & Tardos, G., 1 Jan 2015, Proceedings of the 26th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015. Association for Computing Machinery, Vol. 2015-January. p. 1506-1516 11 p.

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

    Open Access
    6 Scopus citations
  • On the succinctness of idioms for concurrent programming

    Harel, D., Katz, G., Lampert, R., Marron, A. & Weiss, G., 1 Aug 2015, 26th International Conference on Concurrency Theory, CONCUR 2015. Aceto, L. & de Frutos Escrig, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 85-99 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 42).

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

    20 Scopus citations
  • 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
  • Output feedback control of Micro Aerial Vehicle in indoor environment

    Efraim, H., Arogeti, S., Shapiro, A. & Weiss, G., 14 Jul 2015, 2015 23rd Mediterranean Conference on Control and Automation, MED 2015 - Conference Proceedings. Munoz, V., Quevedo, J., Martinez, J. L. & Morales, J. (eds.). Institute of Electrical and Electronics Engineers, p. 688-694 7 p. 7158826. (2015 23rd Mediterranean Conference on Control and Automation, MED 2015 - Conference Proceedings).

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

  • Prioritized metric structures and embedding

    Elkin, M., Filtser, A. & Neiman, O., 14 Jun 2015, STOC 2015 - Proceedings of the 2015 ACM Symposium on Theory of Computing. Association for Computing Machinery, p. 489-498 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. 14-17-June-2015).

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

    Open Access
    14 Scopus citations
  • Rationality authority for provable rational behavior

    Dolev, S., Panagopoulou, P. N., Rabie, M., Schiller, E. M. & Spirakis, P. G., 1 Jan 2015, Algorithms, Probability, Networks, and Games - Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday. Zaroliagis, C., Kontogiannis, S. & Pantziou, G. (eds.). Springer Verlag, p. 33-48 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9295).

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

  • Reducer capacity and communication cost in MapReduce algorithms design

    Afrati, F., Dolev, S., Korach, E., Sharma, S. & Ullman, J. D., 26 May 2015, SYSTOR 2015 - Proceedings of the 8th ACM International Systems and Storage Conference. Association for Computing Machinery, Inc, 2778188. (SYSTOR 2015 - Proceedings of the 8th ACM International Systems and Storage Conference).

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

  • Reputation - from social perception to internet security

    Gudes, E., 1 Jan 2015, Trust Management IX - 9th IFIP Working Group 11.11 International Conference on Trust Management, IFIPTM 2015, Proceedings. Marsh, S., Dimitrakos, T., Jensen, C. D. & Murayama, Y. (eds.). Springer New York LLC, p. 3-10 8 p. (IFIP Advances in Information and Communication Technology; vol. 454).

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

    Open Access
    1 Scopus citations
  • SceneNet: A perceptual ontology for scene understanding

    Kadar, I. & Ben-Shahar, O., 1 Jan 2015, Computer Vision - ECCV 2014 Workshops, Proceedings. Rother, C., Bronstein, M. M. & Agapito, L. (eds.). Springer Verlag, p. 385-400 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8926).

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

    Open Access
    5 Scopus citations
  • Securing the infrastructure and the workloads of linux containers

    Mattetti, M., Shulman-Peleg, A., Allouche, Y., Corradi, A., Dolev, S. & Foschini, L., 3 Dec 2015, 2015 IEEE Conference on Communications and NetworkSecurity, CNS 2015. Institute of Electrical and Electronics Engineers, p. 559-567 9 p. 7346869. (2015 IEEE Conference on Communications and NetworkSecurity, CNS 2015).

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

    52 Scopus citations
  • Self-stabilizing virtual synchrony

    Dolev, S., Georgiou, C., Marcoullis, I. & Schiller, E. M., 1 Jan 2015, Stabilization, Safety and Security of Distributed Systems - 17th International Symposium, SSS 2015, Proceedings. Pelc, A. & Schwarzmann, A. A. (eds.). Springer Verlag, p. 248-264 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9212).

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

    8 Scopus citations
  • SHREC'15 track: Non-rigid 3D shape retrieval

    Lian, Z., Zhang, J., Choi, S., ElNaghy, H., El-Sana, J., Furuya, T., Giachetti, A., Guler, R. A., Lai, L., Li, C., Li, H., Limberger, F. A., Martin, R., Nakanishi, R. U., Neto, A. P., Nonato, L. G., Ohbuchi, R., Pevzner, K., Pickup, D. & Rosin, P. & 6 others, Sharf, A., Sun, L., Sun, X., Tari, S., Unal, G. & Wilson, R. C., 1 Jan 2015, EG 3DOR 2015 - Eurographics 2015 Workshop on 3D Object Retrieval. Spagnuolo, M., Van Gool, L., Pratikakis, I., Theoharis, T. & Veltkamp, R. (eds.). Eurographics Association, p. 107-120 14 p. (Eurographics Workshop on 3D Object Retrieval, EG 3DOR).

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

    69 Scopus citations
  • Simplifying the reading of historical manuscripts

    Asi, A., Cohen, R., Kedem, K. & El-Sana, J., 20 Nov 2015, 13th IAPR International Conference on Document Analysis and Recognition, ICDAR 2015 - Conference Proceedings. Institute of Electrical and Electronics Engineers, p. 826-830 5 p. 7333877. (Proceedings of the International Conference on Document Analysis and Recognition, ICDAR; vol. 2015-November).

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

    17 Scopus citations
  • Sorting networks: The end game

    Codish, M., Cruz-Filipe, L. & Schneider-Kamp, P., 1 Jan 2015, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Proceedings. Dediu, A.-H., Martín-Vide, C., Formenti, E. & Truthe, B. (eds.). Springer Verlag, p. 664-675 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8977).

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

    7 Scopus citations
  • Stabilizing server-based storage in Byzantine asynchronous message-passing systems

    Bonomi, S., Dolev, S., Potop-Butucaru, M. & Raynal, M., 21 Jul 2015, PODC 2015 - Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 471-479 9 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. 2015-July).

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

    Open Access
    12 Scopus citations
  • Synthesizing parallel graph programs via automated planning

    Prountzos, D., Manevich, R. & Pingali, K., 3 Jun 2015, PLDI 2015 - Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. Blackburn, S. & Grove, D. (eds.). Association for Computing Machinery, p. 533-544 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 2015-June).

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

    Open Access
    12 Scopus citations
  • Terminal embeddings

    Elkin, M., Filtser, A. & Neiman, O., 1 Aug 2015, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 18th International Workshop, APPROX 2015, and 19th International Workshop, RANDOM 2015. Garg, N., Jansen, K., Rao, A. & Rolim, J. D. P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 242-264 23 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 40).

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

    7 Scopus citations
  • The effect of concurrent programming idioms on verification: A position paper

    Harel, D., Katz, G., Marron, A. & Weiss, G., 1 Jan 2015, MODELSWARD 2015 - 3rd International Conference on Model-Driven Engineering and Software Development, Proceedings. Hammoudi, S., Pires, L. F., Desfray, P., Filipe, J. & Filipe, J. (eds.). SciTePress, p. 363-369 7 p. (MODELSWARD 2015 - 3rd International Conference on Model-Driven Engineering and Software Development, Proceedings).

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

    Open Access
    18 Scopus citations
  • The power of linear algebra: Breaking block ciphers using linearization

    Dinur, I., 1 Jan 2015, Progress in Cryptology – INDOCRYPT 2015 - 16th International Conference on Cryptology in India, Proceedings. Biryukov, A. & Goyal, V. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9462).

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

  • The price of being adaptive

    Ben-Baruch, O. & Hendler, D., 21 Jul 2015, PODC 2015 - Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, Vol. 2015-July. p. 183-192 10 p.

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

    1 Scopus citations
  • The quest for optimal sorting networks: Efficient generation of two-layer prefixes

    Codish, M., Cruz-Filipe, L. & Schneider-Kamp, P., 5 Feb 2015, Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014. Winkler, F., Negru, V., Ida, T., Jebelean, T., Petcu, D., Watt, S. M. & Zaharie, D. (eds.). Institute of Electrical and Electronics Engineers, p. 359-366 8 p. 7034705. (Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014).

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

    Open Access
    11 Scopus citations
  • The reality game theory imposes (Short summary)

    Dolev, S., 1 Jan 2015, Algorithms, Probability, Networks, and Games - Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday. Zaroliagis, C., Kontogiannis, S. & Pantziou, G. (eds.). Springer Verlag, p. 25-26 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9295).

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

  • Tradeoffs between incentive mechanisms in boolean games

    Levit, V., Komarovsky, Z., Grinshpoun, T. & Meisels, A., 1 Jan 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (eds.). International Joint Conferences on Artificial Intelligence, p. 68-74 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2015-January).

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

    5 Scopus citations
  • Trading fences with RMRs and separating memory models

    Attiya, H., Hendler, D. & Woelfel, P., 21 Jul 2015, PODC 2015 - Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, Vol. 2015-July. p. 173-182 10 p.

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

    2 Scopus citations
  • Type System Based Rational Lazy IDA*

    Betzalel, O., Felner, A. & Shimony, S. E., 1 Jan 2015, Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015. Lelis, L. & Stern, R. (eds.). AAAI press, p. 151-155 5 p. (Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015; vol. 2015-January).

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

    5 Scopus citations