Department of Computer Science

Research output

Research output per year 1977 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

• 56084 Citations
• 89 h-index
• 1534 Conference contribution
• 1467 Article
• 163 Patent
• 143 Conference article
• 462 More
  • 107 Preprint
  • 100 Paper
  • 97 Chapter
  • 56 Editorial
  • 29 Book
  • 22 Review article
  • 8 Foreword/postscript
  • 8 Meeting Abstract
  • 6 Letter
  • 5 Report
  • 5 Working paper
  • 4 Entry for encyclopedia/dictionary
  • 3 Comment/debate
  • 2 Anthology
  • 2 Abstract
  • 2 Poster
  • 2 Book/Arts/Article review
  • 2 Book/Film/Article review
  • 1 Short survey
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2023

  Learning and identity testing of Markov chains

  Wolfer, G. & Kontorovich, A., 1 Jan 2023, Artificial Intelligence. Krantz, S. G., Srinivasa Rao, A. S. R. & Rao, C. R. (eds.). Elsevier B.V., p. 85-102 18 p. (Handbook of Statistics; vol. 49).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Markov chains 100%
  • Learning 93%
  • Markov chain 84%
  • Testing 72%
  • State Transition 42%

• Purifying Data by Machine Learning with Certainty Levels

  Dolev, S. & Leshem, G., 1 Jan 2023, Springer Optimization and Its Applications. Boris, G. & Sergei, K. (eds.). Springer, p. 89-102 14 p. (Springer Optimization and Its Applications; vol. 202).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Machine Learning 100%
  • Input Devices 31%
  • Random Forest 24%
  • Autonomic Computing 16%
  • Learning Process 11%
• 2022

  Is a deep learning algorithm effective for the classification of medieval Hebrew Scripts?

  Shapira, D. V., Rabaev, I., Droby, A., Barakat, B. K. & El Sana, J., 2022, Jewish Studies in the Digital Age. De Gruyter Oldenbourg, p. 349-362 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Deep learning 100%
  • Learning algorithms 92%
  • Testing 38%
  • Deep neural networks 36%
  • Entropy 31%

• Towards Simplification of ME-Maps

  Maraee, A. & Sturm, A., 30 May 2022, Lecture Notes in Business Information Processing. Cham: Springer Science and Business Media Deutschland GmbH, p. 279-294 16 p. (Lecture Notes in Business Information Processing; vol. 450).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Indexing 100%
  • Simplification 83%
  • Knowledge Mapping 63%
  • User Studies 59%
  • Scalability 52%
• 2021

  Interweaving AI and Behavioral Programming Towards Better Programming Environments

  Elyasaf, A., Weinstock, M. & Weiss, G., 1 Jan 2021, Artificial Intelligence: Methods for Software Engineering. World Scientific Publishing Co., p. 3-27 25 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  1 Scopus citations

• On Multicolour Ramsey Numbers and Subset-Colouring of Hypergraphs

  Jartoux, B., Keller, C., Smorodinsky, S. & Yuditsky, Y., 1 Jan 2021, Trends in Mathematics. Springer Science and Business Media Deutschland GmbH, p. 503-508 6 p. (Trends in Mathematics; vol. 14).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Ramsey number 100%
  • Hypergraph 82%
  • Colouring 73%
  • Subset 48%
  • Discrete mathematics 35%
• 2020

  Efficient Graph Minors Theory and Parameterized Algorithms for (Planar) Disjoint Paths

  Lokshtanov, D., Saurabh, S. & Zehavi, M., 1 Jan 2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 112-128 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12160 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Graph Minors 100%
  • Parameterized Algorithms 93%
  • Disjoint Paths 84%
  • Graph theory 79%
  • Terminology 19%
  1 Scopus citations

• Engaging Students in Covariational Reasoning within an Augmented Reality Environment

  Swidan, O., Schacht, F., Sabena, C., Fried, M., El-Sana, J. & Arzarello, F., 2020, Augmented Reality in Educational Settings. Brill, p. 147-167 21 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Augmented reality 100%
  • Students 71%
  • student 23%
  • experience 10%
  3 Scopus citations
• 2019

  A Survey of Neural Models for Abstractive Summarization

  Baumel, T. & Elhadad, M., 1 Jan 2019, Multilingual Text Analysis: Challenges, Models, and Approaches. World Scientific Publishing Co., p. 175-199 25 p. (Multilingual Text Analysis).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Copying 100%
  • Neural networks 96%
  • Reinforcement learning 79%
  • Redundancy 67%
  1 Scopus citations

• New Pathways in Coevolutionary Computation.

  Sipper, M., Moore, J. H. & Urbanowicz, R. J., 8 May 2019, Genetic Programming Theory and Practice XVII. Banzhaf, W., Goodman, E., Sheneman, L., Trujillo, L. & Worzel, B. (eds.). Cham: Springer, p. 295-305

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Evolutionary algorithms 100%

• Overlay Security: Quantum-Safe Communication over the Internet Infrastructure

  Dolev, S., 2019, Modern Cryptography: Theory, Technology, Adaptation and Integration. Domb, M. (ed.). IntechOpen

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Internet 100%
  • Communication 73%
  • Blockchain 42%
  • Cryptography 30%
• 2018

  CalCul: A Python-Based Workspace for High-Performance Parameters-Sweep in Scientific Legacy Codes

  Oren, G. & Malamud, G., 1 Jan 2018, Parallel Computing is Everywhere. Joubert, G. R., Dazzi, P., Peters, F., Danelutto, M. & Bassini, S. (eds.). IOS Press BV, p. 242-251 10 p. (Advances in Parallel Computing; vol. 32).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Mirrors 100%

• Dominance certificates for combinatorial optimization problems

  Berend, D., Skiena, S. S. & Twitto, Y., 1 Jan 2018, Springer Optimization and Its Applications. Springer International Publishing, p. 107-122 16 p. (Springer Optimization and Its Applications; vol. 139).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Certificate 100%
  • Combinatorial Optimization Problem 87%
  • Usability 53%
  • Travelling salesman 53%
  • Simulated Annealing 48%

• Functional specification of hardware via temporal logic

  Eisner, C. & Fisman, D., 18 May 2018, Handbook of Model Checking. Springer International Publishing, p. 795-829 35 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Hardware 100%
  • Temporal Logic 97%
  • Temporal logic 96%
  • Specification 73%
  • Semantics 70%
  6 Scopus citations

• Grammatical evolution strategies for bioinformatics and systems genomics

  Moore, J. H. & Sipper, M., 12 Sep 2018, Handbook of Grammatical Evolution. Springer International Publishing, p. 395-405 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Biological systems 100%
  • Bioinformatics 94%
  • Genomics 89%
• 2017

  Low overhead RFID security

  Dolev, S., Kopeetsky, M., Clouser, T. & Nesterenko, M., 1 Jan 2017, RFID Handbook: Applications, Technology, Security, and Privacy. CRC Press, p. 589-602 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • readers 100%
  • Radio frequency identification (RFID) 83%
  • radio frequencies 75%
  • low frequencies 61%
  • Radio communication 34%

• Node-centric detection of overlapping communities in social networks

  Cohen, Y., Hendler, D. & Rubin, A., 1 Jan 2017, Springer Proceedings in Complexity. Springer, p. 1-10 10 p. (Springer Proceedings in Complexity).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Community Detection 100%
  • Social Networks 79%
  • Overlapping 69%
  • Community 66%
  • Community Structure 50%
  11 Scopus citations

• WEM: A new family of white-box block ciphers based on the even-mansour construction

  Cho, J., Choi, K. Y., Dinur, I., Dunkelman, O., Keller, N., Moon, D. & Veidberg, A., 1 Jan 2017, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 293-308 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10159).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Cipher 100%
  • Block Ciphers 99%
  • Cryptography 64%
  • Encryption 61%
  • Countermeasures 41%
  25 Scopus citations
• 2016

  Constructing Counters Through Evolution

  Sipper, M., 6 Jan 2016, Designing Beauty: The Art of Cellular Automata. Adamatzky, A. & Martínez, G. (eds.). Cham: Springer, p. 75-77 ( Emergence, Complexity and Computation (ECC); vol. 20).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • counters 100%
  • clocks 56%
  • synchronism 49%
  • engineering 41%
  • cycles 37%

• Development of Counting Ability: An Evolutionary Computation Point of View

  Katz, G. B., Benbassat, A. & Sipper, M., 1 Jan 2016, Continuous Issues in Numerical Cognition: How Many or How Much. Elsevier Inc., p. 123-145 23 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Evolutionary algorithms 100%
  • Neural networks 66%
  1 Scopus citations

• Learning heuristics for mining RNA sequence-structure motifs

  Elyasaf, A., Vaks, P., Milo, N., Sipper, M. & Ziv-Ukelson, M., 22 Dec 2016, Genetic Programming Theory and Practice XIII. Riolo, R., Worzel, W., Kotanchek, M. & Kordon, A. (eds.). Springer, p. 21-38 ( Genetic and Evolutionary Computation ).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • RNA 100%
  • Molecules 35%
  • Preforming 13%
  • Conservation 8%

• ShapeLearner: Towards Shape-Based Visual Knowledge Harvesting

  Xu, H., Wang, Y., Feng, K., De Melo, G., Wu, W., Sharf, A. & Chen, B., 2016, Frontiers in Artificial Intelligence and Applications. Kaminka, G. A., Dignum, F., Hullermeier, E., Bouquet, P., Dignum, V., Fox, M. & van Harmelen, F. (eds.). IOS Press, Vol. 285. p. 435-443 9 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Image understanding 100%
  • Taxonomies 78%
  • Linear programming 68%
  • Labels 63%
  • Semantics 50%
  2 Scopus citations

• Synchronizers, Spanners

  Elkin, M., 2016, Encyclopedia of Algorithms. p. 2189-2191 3 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
• 2015

  Syntax-Guided Synthesis

  Alur, R., Bodik, R., Dallal, E., Fisman, D., Garg, P., Juniwal, G., Kress-Gazit, H., Madhusudan, P., Martin, M. M. K., Raghothaman, M., Saha, S., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E. & Udupa, A., 2015, DEPENDABLE SOFTWARE SYSTEMS ENGINEERING. Vol. 40. p. 1-25 (Nato Science for Peace and Security Series D-Information and Communication Security).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Specifications 100%
  • Syntactics 79%
  • Semantics 26%
• 2014

  AgentZero: A framework for simulating and evaluating multi-agent algorithms

  Lutati, B., Gontmakher, I., Lando, M., Netzer, A., Meisels, A. & Grubshtein, A., 1 Feb 2014, Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks. Springer Berlin Heidelberg, Vol. 9783642544323. p. 309-327 19 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Multi agent systems 100%
  • Application programming interfaces (API) 33%
  • Software engineering 28%
  • Visualization 27%
  • Simulators 25%
  15 Scopus citations

• Brief announcement: Entropy adaptive on-line compression

  Dolev, S., Frenkel, S. & Kopeetsky, M., 1 Jan 2014, Stabilization, Safety and Security of Distributed Systems. Felber, P. & Garg, V. K. (eds.). Springer Verlag, p. 366-368 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8756).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

• Sustainability and Human Resource Managemen: Enterprise sustainability and HRM in small and medium-sized enterprises

  Hirsig, N., Rogovsky, N. & Elkin, M., 2014, Sustainability and Human Resource Managemen: Enterprise Sustainability and HRM in Small and Medium-Sized Enterprises. Springer Nature, p. 127-152 26 p. (CSR, Sustainability, Ethics and Governance).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Small and Medium-sized Enterprises (SMEs) 100%
  • small and medium-sized enterprise 99%
  • Human Resources 81%
  • human resource 75%
  • Sustainability 66%
  19 Scopus citations
• 2013

  More or less? two approaches to evolving game-playing strategies

  Benbassat, A., Elyasaf, A. & Sipper, M., 19 Apr 2013, Genetic Programming Theory and Practice X. Riolo, R., Vladislavleva, E., Ritchie, M. & Moore, J. (eds.). Springer New York, p. 171-185 (Genetic and Evolutionary Computation).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

• Search in Real-Time Video Games.

  Cowling, P. I., Buro, M., Bída, M., Botea, A., Bouzy, B., Butz, M. V., Hingston, P., Muñoz-Avila, H., Nau, D. S. & Sipper, M., 2013, Artificial and Computational Intelligence in Games. Simon, M., Mateas, L. . M., Preuss, M., Spronck, P. & Togelius, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 6. p. 1-19

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
• 2012

  Genetic and evolutionary algorithms and programming: General introduction and application to game playing

  Orlov, M., Sipper, M. & Hauptman, A., 1 Nov 2012, Computational Complexity: Theory, Techniques, and Applications. Springer New York, Vol. 9781461418009. p. 1309-1320 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Evolutionary algorithms 100%
  • Genetic algorithms 77%

• TTled random walks for collaborative monitoring in mobile and social networks

  Altshuler, Y., Dolev, S. & Elovici, Y., 1 Jan 2012, Springer Optimization and Its Applications. Springer International Publishing, p. 507-538 32 p. (Springer Optimization and Its Applications; vol. 57).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Mobile Networks 100%
  • Mobile Devices 92%
  • Social Networks 73%
  • Monitoring 61%
  • Random walk 52%
  2 Scopus citations
• 2011

  Adaptable Network Infrastructure

  Amaxilatis, D., Dolev, S. & Koninis, C., 2011, Distributed Self-organized Societies of Tiny Artifacts: Design & Implementation. Chatzigiannakis, I. & Spirakis, P. (eds.). Raleigh, N.C: Lulu Publisher

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

• A distributed cooperative approach for optimizing a family of network games

  Grubshtein, A. & Meisels, A., 22 Nov 2011, Intelligent Distributed Computing V: Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, The Netherlands - October 2011. Brazier, F. M. T., Nieuwenhuis, K., Pavlin, G., Warnier, M. & Badica, C. (eds.). p. 49-62 14 p. (Studies in Computational Intelligence; vol. 382).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
  7 Scopus citations

• Automatic evaluation of search ontologies in the entertainment domain using natural language processing

  Elhadad, M., Gabay, D. & Netzer, Y., 1 Jan 2011, Applied Semantic Web Technologies. CRC Press, p. 275-295 21 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  1 Scopus citations

• Distributed search by constrained agents

  Meisels, A., 22 Nov 2011, Intelligent Distributed Computing V: Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, The Netherlands - October 2011. Brazier, F. M. T., Nieuwenhuis, K., Pavlin, G., Warnier, M. & Badica, C. (eds.). p. 5-9 5 p. (Studies in Computational Intelligence; vol. 382).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Constraint satisfaction problems 100%
  • Students 14%
  • Scheduling 13%
  1 Scopus citations

• Finch: A System for Evolving Java (Bytecode)

  Orlov, M. & Sipper, M., 20 Oct 2011, Genetic Programming Theory and Practice VIII. New York, NY: Springer New York, Vol. 8. p. 1-16 (Genetic and Evolutionary Computation; vol. 8).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Genetic programming 100%
  • Harvesters 33%
  • Engineers 20%

• Let the Games Evolve!

  Sipper, M., 7 Oct 2011, Genetic Programming Theory and Practice IX. Riolo, R., Vladislavleva, E. & Moore, J. (eds.). Springer, p. 17-36 (Genetic and Evolutionary Computation).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

• Non-Blocking Algorithms

  Hendler, D., 2011, Encyclopedia of Parallel Computing. Padua, D. (ed.). Boston, MA: Springer US, p. 1321-1329 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

• SOCIAL DCOP - Social choice in distributed constraints optimization

  Netzer, A. & Meisels, A., 22 Nov 2011, Intelligent Distributed Computing V: Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, The Netherlands - October 2011. Brazier, F. M. T., Nieuwenhuis, K., Pavlin, G., Warnier, M. & Badica, C. (eds.). p. 35-47 13 p. (Studies in Computational Intelligence; vol. 382).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Local search (optimization) 100%
  • Pickups 48%
  • Costs 15%
  7 Scopus citations
• 2010

  Against partitioned readings of reciprocals

  Sabato, S. & Winter, Y., 2010, The Linguistics Enterprise: From knowledge of language to knowledge in linguistics. Everaert, M., Lentz, T., De Mulder, H., Nilsen, Ø. & Zondervan, A. (eds.). John Benjamins Publishing Company, p. 283-290

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

• Self-Stabilizing and Self-Organizing Virtual Infrastructures for Mobile Networks

  Dolev, S. & Tzachar, N., 8 Nov 2010, Theoretical Aspects of Distributed Computing in Sensor Networks. Nikoletseas, S. & Rolim, J. D. P. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 621-653 33 p. (Monographs in Theoretical Computer Science. An EATCS Series).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Wireless networks 100%
  • Parallel algorithms 59%
  • Communication 31%
• 2009

  Cost of cooperation for scheduling meetings

  Grubshtein, A. & Meisels, A., 1 Dec 2009, Intelligent Distributed Computing III: Proceedings of the 3rd International Symposium on Intelligent Distributed Computing - IDC 2009, Ayia Napa, Cyprus,October 2009. Papadopoulos, G. (ed.). p. 227-236 10 p. (Studies in Computational Intelligence; vol. 237).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Scheduling 100%
  • Costs 55%
  1 Scopus citations
• 2008

  Asynchronous Backtracking (ABT)

  Meisels, A., 1 Jan 2008, Advanced Information and Knowledge Processing. Springer, p. 37-51 15 p. (Advanced Information and Knowledge Processing).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

• Asynchronous Forward-Bounding

  Meisels, A., 1 Jan 2008, Advanced Information and Knowledge Processing. Springer, p. 183-191 9 p. (Advanced Information and Knowledge Processing).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

• Asynchronous Forward-Checking

  Meisels, A., 1 Jan 2008, Advanced Information and Knowledge Processing. Springer, p. 53-61 9 p. (Advanced Information and Knowledge Processing).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

• Asynchronous Optimization for DisCOPs

  Meisels, A., 1 Jan 2008, Advanced Information and Knowledge Processing. Springer, p. 169-182 14 p. (Advanced Information and Knowledge Processing).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

• Asynchronous Ordering Heuristics

  Meisels, A., 1 Jan 2008, Advanced Information and Knowledge Processing. Springer, p. 89-104 16 p. (Advanced Information and Knowledge Processing).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

• Concurrent Dynamic Backtracking

  Meisels, A., 1 Jan 2008, Advanced Information and Knowledge Processing. Springer, p. 63-82 20 p. (Advanced Information and Knowledge Processing).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

• Constraints Optimization Problems - COPs

  Meisels, A., 1 Jan 2008, Advanced Information and Knowledge Processing. Springer, p. 19-26 8 p. (Advanced Information and Knowledge Processing).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
  4 Scopus citations

• Constraints Satisfaction Problems - CSPs

  Meisels, A., 1 Jan 2008, Advanced Information and Knowledge Processing. Springer, p. 7-17 11 p. (Advanced Information and Knowledge Processing).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review