Research output per year
Research output per year
Research output
- 1 - 50 out of 73 results
Search results
-
2021
BASIC CONCEPTS IN ALGORITHMS
Klein, S. T., 1 Jan 2021, World Scientific Publishing Co. 343 p.Research output: Book/Report › Book › peer-review
Open Access -
Introduction
Roth, M., Tsarfaty, R. & Goldberg, Y., 2021, Association for Computational Linguistics (ACL).Research output: Book/Report › Book › peer-review
-
משחק: איך הוא משפיע על מציאות חיינו
Translated title of the contribution :Title on title page verso: Game: what role does it play in our life? Research output: Book/Report › Book › peer-review
-
2020
Artificial Intelligence. IJCAI 2019 International Workshops
Sarne, D. (Editor) & Seghrouchni, A. E. F. (Editor), 2020, Cham, Switzerland: Springer International Publishing.Research output: Book/Report › Book › peer-review
-
Engineering dependable and secure machine learning systems : third international workshop, EDSMLS 2020, New York City, NY, USA, February 7, 2020, revised selected papers
Barash, G., Farchi, E. & Shehory, O. M., 2020, Cham, Switzerland: Springer. 141 p. (Communications in computer and information science ; 1272)Research output: Book/Report › Book › peer-review
-
2019
Proceedings of the International Joint Conferences on Artificial Intelligence
Kraus, S. (Editor), Aug 2019, Macao: IJCAI.Research output: Book/Report › Book › peer-review
-
2018
Language and Automata Theory and Applications
Klein, S. (Editor), Martín-Vide, C. (Editor) & Shapira, D. (Editor), 4 Mar 2018, Cham: Springer. 321 p. (Lecture Notes in Computer Science; vol. 10792)Research output: Book/Report › Book › peer-review
-
LaVAN: Localized and Visible Adversarial Noise
Karmon, D., Zoran, D., Dy, J. (Editor), Krause, A. (Editor) & Goldberg, Y., 2018Research output: Book/Report › Book › peer-review
-
Model checking, 2nd Edition.
Clarke, E. M., Grumberg, O., Kroening, D., Peled, D. A. & Veith, H., 2018, MIT Press,.Research output: Book/Report › Book › peer-review
-
2017
Are We There Yet? On RPKI's Deployment and Security
Gilad, Y., Cohen, A., Herzberg, A., Schapira, M. & Shulman, H., 2017Research output: Book/Report › Book › peer-review
-
Dependable Software Systems Engineering
Pretschner, A. (Editor), Peled, D. (Editor) & Hutzelmann, T. (Editor), 1 Jan 2017, IOS Press. 242 p.Research output: Book/Report › Book › peer-review
-
Tutorials on the Foundations of Cryptography: Dedicated to Oded Goldreich
Lindell, Y. (Editor), 2017, 1 ed. Springer. 450 p. (Information Security and Cryptography)Research output: Book/Report › Book › peer-review
-
2016
22nd European Conference on Artificial Intelligence (ECAI 2016)
Kaminka, G. (Editor), Fox, M. (Editor), Bouquet, P. (Editor), H¨ullermeier, E. (Editor), Dignum, V. (Editor), Dignum, F. (Editor) & Harmelen, F. V. (Editor), Sep 2016, IOS Press. 1860 p. (Frontiers in Artificial Intelligence and Applications; vol. 285)Research output: Book/Report › Book › peer-review
-
A new perspective on nonmonotonic logics
Gabbay, D. M. & Schlechta, K., 1 Jan 2016, Springer International Publishing. 365 p.Research output: Book/Report › Book › peer-review
3 Scopus citations -
Basic Concepts in Data Structures
Klein, S. T., 1 Jan 2016, Cambridge University Press. 220 p.Research output: Book/Report › Book › peer-review
6 Scopus citations -
CDN-on-Demand: An Affordable DDoS Defense via Untrusted Clouds
Gilad, Y., Herzberg, A., Sudkovitch, M. & Goberman, M., 2016Research output: Book/Report › Book › peer-review
Open Access -
2014
An Update and Extension of the META-NET Study "Europe's Languages in the Digital Age"
Rehm, G., Uszkoreit, H., Dagan, I., Goetcherian, V., Dogan, M., Mermer, C., Varadi, T., Kirchmeier-Andersen, S., Stickel, G., Jones, M., Oeter, S., Gramstad, S., Calzolari, N. (Editor), Choukri, K. (Editor), Declerck, T. (Editor), Loftsson, H. (Editor), Maegaard, B. (Editor), Mariani, J. (Editor), Moreno, A. (Editor) & Odijk, J. (Editor) & 1 others, , 2014Research output: Book/Report › Book › peer-review
-
Handbook of philosophical logic
Gabbay, D. M. & Guenthner, F., 1 Jan 2014, Springer Netherlands. 269 p.Research output: Book/Report › Book › peer-review
31 Scopus citations -
INTRODUCTION TO MODERN CRYPTOGRAPHY: Second Edition
Katz, J. & Lindell, Y., 1 Jan 2014, CRC Press. 577 p.Research output: Book/Report › Book › peer-review
14 Scopus citations -
Principles of automated negotiation
Fatima, S., Kraus, S. & Wooldridge, M., 1 Jan 2014, Cambridge University Press. 269 p.Research output: Book/Report › Book › peer-review
99 Scopus citations -
The Responsa Project: Some Promising Future Directions
Koppel, M., Dershowitz, N. (Editor) & Nissan, E. (Editor), 2014Research output: Book/Report › Book › peer-review
-
2013
Engineering Dependable Software Systems
Broy, M., Peled, D. & Kalus, G., 19 Jun 2013, IOS Press. 365 p.Research output: Book/Report › Book › peer-review
-
Reactive Kripke Semantics
Gabbay, D. M., 2013, Berlin, Germany: Springer.Research output: Book/Report › Book › peer-review
-
Software reliability methods
Peled, D., 2013, 1 ed. Springer. 332 p. (Texts in Computer Science)Research output: Book/Report › Book › peer-review
Open Access -
2012
Improved bound for the union of locally fat objects in the plane,
Aronov, B., de, B. M., Ezra, E. & Sharir, M., 2012, Citeseer,.Research output: Book/Report › Book › peer-review
-
Philosophy of Linguistics
Gabbay, D. M., Thagard, P., Woods, J., Kempson, R., Fernando, T. & Asher, N., 2012, Elsevier.Research output: Book/Report › Book › peer-review
3 Scopus citations -
2011
Belief Revision
Rodrigues, O., Gabbay, D. (Editor), Russo, A., Gabbay, D. (Editor) & Guenthner, F. (Editor), 2011Research output: Book/Report › Book › peer-review
-
Conditionals and Modularity in General Logics
Gabbay, D. M. & Schlechta, K., 2011, Berlin, Germany: Springer. (Cognitive Technologies)Research output: Book/Report › Book › peer-review
-
Image Registration for Remote Sensing
Netanyahu, N. (Editor), Le Moigne, J. (Editor) & Eastman, R. D. (Editor), 1 Mar 2011, Cambridge University Press,.Research output: Book/Report › Book › peer-review
-
Studies in complexity and cryptography: miscellanea on the interplay between randomness and computation
Avigad, L., Bellare, M., Brakerski, Z., Goldreich, O., Goldwasser, S., Halevi, S., Kaufman, T., Levin, L., Nisan, N., Ron, D., Sudan, M., Trevisan, L., Vadhan, S., Wigderson, A. & Zuckerman, D., 2011, Berlin, Germany: Springer. (Lecture Notes in Computer Science)(Studies in Complexity and Cryptography)Research output: Book/Report › Book › peer-review
-
Temporal Logic in the Talmud
Abraham, M., Belfer, I., Gabbay, D. & Schild, U., 1 Apr 2011, London: College Publications. 668 p.Research output: Book/Report › Book › peer-review
-
2010
AAMAS 2010: Proceedings of the Ninth International Conference on Autonomous Agents and Multi-Agent Systems
Hoek, W. V. D., Kaminka, G. A., Lesp´erance, Y., Luck, M. & Sen, S., 2010, Toronto, Canada: IFAAMAS: Internatioal Foundation for Autonomous Agents and Multiagent Systems.Research output: Book/Report › Book › peer-review
-
Combinatorial Pattern Matching, 21th Annual Symposium, CPM 2010
Amihood, A. & Parida, L., 2010, Springer.Research output: Book/Report › Book › peer-review
-
Dear Sir/Madam, I am currently a postdoc researcher at the Computer Science Department of Courant,
Ezra, E., 2010, Tel-Aviv University,.Research output: Book/Report › Book › peer-review
-
Efficient Secure Two-Party Protocols
Hazay, C. & Lindell, Y., 2010, ,Israel: Springer. 262 p.Research output: Book/Report › Book › peer-review
-
TASE 2010, 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
Liu, J., Peled, D., Wang, B. Y. & Wang, F., 2010, IEEE.Research output: Book/Report › Book › peer-review
-
Time for Verification: Essays in Memory of Amir Pnueli
Manna, Z. & Peled, D., 2010, Springer Science & Business Media. 413 p. (Lecture Notes in Computer Science)Research output: Book/Report › Book › peer-review
-
2009
Automatic speech and speaker recognition: Large margin and kernel methods
Keshet, J. & Bengio, S., 2009, John Wiley & Sons.Research output: Book/Report › Book › peer-review
-
Journal of Natural Language Engineering Special Issue on Textual Entailment
Mitkov, R., Tait, J., Branimir K, B., Palmer, M., Dagan, I., Dolan, B., Magnini, B. & Roth, D., 2009, Oxfor University Press.Research output: Book/Report › Book › peer-review
-
Weak ε-nets for axis-parallel boxes in d-space,
Ezra, E., 2009, pdfs.semanticscholar.org,.Research output: Book/Report › Book › peer-review
-
2008
Keep the Adversary Guessing: Agent Security by Policy Randomization
Kraus, S., 2008, ,United States: VDM Verlag, USA.Research output: Book/Report › Book › peer-review
-
On the cover of convex polyhedra in d-space,
Ezra, E. & Fine, S., 2008, researchgate.net,.Research output: Book/Report › Book › peer-review
-
String Processing and Information Retrieval
Amihood, A., Turpin, A. & Moffat, A., 2008, Springer.Research output: Book/Report › Book › peer-review
-
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Logozzo, F., Peled, D. & Zuck, L. D., 2008, Springer Science & Business Media. 325 p. (Lecture Notes in Computer Science)Research output: Book/Report › Book › peer-review
-
2007
Introduction to modern cryptography
Katz, J. & Lindell, Y., 31 Aug 2007, CRC Press. 527 p.Research output: Book/Report › Book › peer-review
1296 Scopus citations -
Introduction to Modern Cryptography, 1st edition
Katz, J. & Lindell, Y., 2007, ,Israel: CRC Press. 530 p.Research output: Book/Report › Book › peer-review
-
2006
Combinatorial Pattern Matching,
Kopelowitz, T., Lewenstein, M. & Valiente, G., 2006, Springer Berlin/Heidelberg.,.Research output: Book/Report › Book › peer-review
-
Computers and Games: 4th International Conference, CG 2004
Björnsson, Y. & Netanyahu, N. S., 2006, Springer Science & Business Media.Research output: Book/Report › Book › peer-review
-
Machine Learning Challenges
Quiñonero-Candela, J., Dagan, I., Magnini, B. & d'Alché-Buc, F., 2006, Springer.Research output: Book/Report › Book › peer-review
-
2005
4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005)
Kraus, S., Dignum, F., Dignum, V., Koenig, S., Singh, M. P. & Wooldridge, M., 2005, ,Israel: AAMAS 2005.Research output: Book/Report › Book › peer-review