Research output per year
Research output per year
Search results
-
2017
Efficient construction of diamond structures
Weizmann, A., Dunkelman, O. & Haber, S., 2017, Progress in Cryptology – INDOCRYPT 2017 - 18th International Conference on Cryptology in India, Proceedings. Patra, A. & Smart, N. P. (eds.). Springer Verlag, p. 166-185 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10698 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Scopus citations -
2015
An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers
Haber, S. & Shelah, S., 2015, Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Blass, A., Finkbeiner, B., Dershowitz, N., Schulte, W. & Beklemishev, L. D. (eds.). Springer Verlag, p. 226-236 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9300).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
2012
Optimal social choice functions: A utilitarian view
Boutilier, C., Caragiannis, I., Haber, S., Lu, T., Procaccia, A. D. & Sheffet, O., 2012, EC '12 - Proceedings of the 13th ACM Conference on Electronic Commerce. p. 197-214 18 p. (Proceedings of the ACM Conference on Electronic Commerce).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
34 Scopus citations