CS@BIU

Research output

Research output per year 1963 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

• 73687 Citations
• 121 h-index
• 2000 Conference contribution
• 1323 Article
• 232 Paper
• 183 Chapter
• 426 More
  • 126 Conference article
  • 79 Editorial
  • 73 Book
  • 43 Preprint
  • 40 Patent
  • 15 Foreword/postscript
  • 15 Review article
  • 15 Other contribution
  • 12 Comment/debate
  • 4 Letter
  • 2 Anthology
  • 1 Entry for encyclopedia/dictionary
  • 1 Meeting Abstract

Research output per year

Research output per year

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

  • Teaching 100%
  • Data structures 62%
  • Graph algorithms 47%
  • Textbooks 47%
  • Data compression 41%

• Introduction

  Roth, M., Tsarfaty, R. & Goldberg, Y., 2021, Association for Computational Linguistics (ACL).

  Research output: Book/Report › Book › peer-review

• Rov++: Improved Deployable Defense against BGP Hijacking

  Morillo, R., Furuness, J., Morris, C., Breslin, J., Herzberg, A. & Wang, B., 2021

  Research output: Book/Report › Book › peer-review

  Open Access
• 2020

  Artificial Intelligence. IJCAI 2019 International Workshops

  Sarne, D. (ed.) & Seghrouchni, A. E. F. (ed.), 2020, Cham, Switzerland: Springer International Publishing.

  Research output: Book/Report › Book › peer-review

• Disco: Sidestepping RPKI's Deployment Barriers

  Hlavacek, T., Cunha, I., Gilad, Y., Herzberg, A., Katz-Bassett, E., Schapira, M. & Shulman, H., 2020

  Research output: Book/Report › Book › peer-review

  Open Access
• 2019

  Proceedings of the International Joint Conferences on Artificial Intelligence

  Kraus, S. (ed.), Aug 2019, Macao: IJCAI.

  Research output: Book/Report › Book › peer-review
• 2018

  Language and Automata Theory and Applications

  Klein, ST. (ed.), Martín-Vide, C. (ed.) & Shapira, D. (ed.), 4 Mar 2018, Cham: Springer. 321 p. (Lecture Notes in Computer Science; vol. 10792)

  Research output: Book/Report › Book › peer-review

  Open Access

• LaVAN: Localized and Visible Adversarial Noise

  Karmon, D., Zoran, D., Dy, J. (ed.), Krause, A. (ed.) & Goldberg, Y., 2018

  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., 2017

  Research output: Book/Report › Book › peer-review

• Dependable Software Systems Engineering

  Pretschner, A. (ed.), Peled, D. (ed.) & Hutzelmann, T. (ed.), 1 Jan 2017, IOS Press. 242 p.

  Research output: Book/Report › Book › peer-review

  • Systems engineering 100%
  • Software engineering 81%
  • Cyber Physical System 75%
  • Computer programming languages 30%
  • Automation 25%

• Tutorials on the Foundations of Cryptography: Dedicated to Oded Goldreich

  Lindell, Y. (ed.), 2017, 1 ed. Springer. 450 p. (Information Security and Cryptography)

  Research output: Book/Report › Book › peer-review

  • self-study 100%
  • graduate 55%
  • educator 53%
• 2016

  22nd European Conference on Artificial Intelligence (ECAI 2016)

  Kaminka, G. (ed.), Fox, M. (ed.), Bouquet, P. (ed.), H¨ullermeier, E. (ed.), Dignum, V. (ed.), Dignum, F. (ed.) & Harmelen, F. V. (ed.), Sep 2016, IOS Press. 1860 p. (Frontiers in Artificial Intelligence and Applications; vol. 285)

  Research output: Book/Report › Book › peer-review

  • Artificial intelligence 100%
  • Intelligent systems 47%
  • Computer science 22%

• 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

  • Formal logic 100%
  • Nonmonotonic Logic 99%
  • Logic 52%
  • Mathematical Logic 43%
  • Formal Logic 41%
  1 Scopus citations

• Basic Concepts in Data Structures

  Klein, S., 28 Oct 2016, 1 ed. Cambridge University Press. 232 p.

  Research output: Book/Report › Book › peer-review

  • Data structures 100%
  • Computer program listings 74%
  • Students 59%
  • Sorting 39%

• CDN-on-Demand: An Affordable DDoS Defense via Untrusted Clouds

  Gilad, Y., Herzberg, A., Sudkovitch, M. & Goberman, M., 2016

  Research 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, MU., Mermer, C., Varadi, T., Kirchmeier-Andersen, S., Stickel, G., Jones, MP., Oeter, S., Gramstad, S., Calzolari, N. (ed.), Choukri, K. (ed.), Declerck, T. (ed.), Loftsson, H. (ed.), Maegaard, B. (ed.), Mariani, J. (ed.), Moreno, A. (ed.), Odijk, J. (ed.), & 1 othersPiperidis, S. (ed.), 2014

  Research 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

  • Philosophical Logic 100%
  • Handbook 69%
  • Computer Science 55%
  • Artificial Intelligence 34%
  • Computational Linguistics 22%
  30 Scopus citations

• Introduction to Modern Cryptography

  Katz, J. & Lindell, Y., 18 Dec 2014, Israel: CRC Press. 603 p.

  Research output: Book/Report › Book › peer-review

  • public 100%
  • book 87%
  • computer system 61%
  • textbook 61%
  • code 38%

• INTRODUCTION TO MODERN CRYPTOGRAPHY: Second Edition

  Katz, J. & Lindell, Y., 1 Jan 2014, CRC Press. 577 p.

  Research output: Book/Report › Book › peer-review

  • Cryptography 100%
  • Integrity 40%
  • Computer systems 26%
  4 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

  • Multi agent systems 100%
  • Computer science 53%
  • Artificial intelligence 46%
  • Students 39%
  • Economics 33%
  88 Scopus citations

• The Responsa Project: Some Promising Future Directions

  Koppel, M., Dershowitz, N. (ed.) & Nissan, E. (ed.), 2014

  Research 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

  • Model checking 100%
  • Software engineering 76%
  • Risk analysis 51%
  • Computer science 47%
  • Security of data 44%

• Reactive Kripke Semantics

  Gabbay, D. M., 2013, Berlin, Germany: Springer.

  Research output: Book/Report › Book › peer-review

  • Kripke Semantics 100%
  • Monographs 66%

• Software reliability methods

  Peled, D., 2013, 1 ed. Springer. 332 p. (Texts in Computer Science)

  Research output: Book/Report › Book › peer-review

  Open Access

  • Software reliability 100%
  • Formal methods 92%
  • Software engineering 21%
  • Computer hardware 15%
  • Industry 11%
• 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

  • linguistics 100%
  • scientific findings 40%
  • phonology 35%
  • syntax 31%
  • historian 30%
  2 Scopus citations
• 2011

  Belief Revision

  Rodrigues, O., Gabbay, D. (ed.), Russo, A., Gabbay, D. (ed.) & Guenthner, F. (ed.), 2011

  Research 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

  • Modularity 100%
  • Interpolation 99%
  • Neighbourhood Semantics 64%
  • Many-valued Logic 57%
  • Non-classical Logics 57%

• Image Registration for Remote Sensing

  Netanyahu, N. (ed.), Le Moigne, J. (ed.) & Eastman, R. D. (ed.), 1 Mar 2011, Cambridge University Press,.

  Research output: Book/Report › Book › peer-review

  • Image registration 100%
  • Remote sensing 92%
  • Image processing 46%
  • Satellites 45%
  • Planets 34%

• 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

  Open Access

  • Cryptography 100%
  • Computer science 60%
  • Sampling 42%
  • Testing 31%

• 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

  • Electronic money 100%
  • Electronic voting 97%
  • Distributed computer systems 71%
  • Cryptography 55%
  • Set theory 43%

• 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

  • Computer Communication Networks 100%
  • Mentors 85%
  • Decision Trees 85%
  • Social Responsibility 80%
  • Psychology Recognition 60%
• 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

  • cation 100%
  • program 84%
  • advice 42%
  • method 17%
  • analysis 10%
• 2007

  Introduction to modern cryptography

  Katz, J. & Lindell, Y., 31 Aug 2007, CRC Press. 527 p.

  Research output: Book/Report › Book › peer-review

  • Cryptography 100%
  • Block Ciphers 46%
  • Encryption 43%
  • Message Authentication 32%
  • Advanced Encryption Standard 32%
  1092 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