Department of Computer Science

Filter
Chapter

Search results

  • 2025

    A Computational Approach for Designing Synthetic Riboswitches for Next-Generation RNA Therapeutics

    Mukherjee, S., Mukherjee, S. B. & Barash, D., 1 Jan 2025, Methods in Molecular Biology. Humana Press Inc., p. 193-204 12 p. (Methods in Molecular Biology; vol. 2847).

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

  • Distributed Oblivious Transfer

    Beimel, A., 1 Jan 2025, Encyclopedia of Cryptography, Security and Privacy, Third Edition. Springer Nature, p. 686-688 3 p.

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

  • RNA Design Using incaRNAfbinv Demonstrated with the Identification of Functional RNA Motifs in Hepatitis Delta Virus

    Zakh, R., Churkin, A. & Barash, D., 1 Jan 2025, Methods in Molecular Biology. Humana Press Inc., p. 109-120 12 p. (Methods in Molecular Biology; vol. 2847).

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

  • Robust Private Information Retrieval

    Beimel, A., 1 Jan 2025, Encyclopedia of Cryptography, Security and Privacy, Third Edition. Springer Nature, p. 2122-2124 3 p.

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

  • 2024

    MUSIC DESCRIPTION LANGUAGES

    Balaban, M., 1 Jan 2024, Encyclopedia of Microcomputers: Volume 12: Multistrategy Learning to Operations Research, Microcomputer Applications. CRC Press, Vol. 12. p. 71-90 20 p.

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

  • 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

  • Nearest-Neighbor Methods: A Modern Perspective

    Kontorovich, A. & Kpotufe, S., 1 Jan 2023, Machine Learning for Data Science Handbook: Data Mining and Knowledge Discovery Handbook, Third Edition. Springer International Publishing, p. 75-92 18 p.

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

    1 Scopus citations

  • Purifying Data by Machine Learning with Certainty Levels

    Dolev, S. & Leshem, G., 1 Jan 2023, Data Analysis and Optimization: In Honor of Boris Mirkin's 80th Birthday. Boris, G. & Sergei, K. (eds.). Springer Cham, p. 89-102 14 p. (Springer Optimization and Its Applications; vol. 202).

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

  • 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

  • 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

  • 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

    Open Access

  • Parameterized Algorithms

    Fomin, F. V., Lokshtanov, D., Saurabh, S. & Zehavi, M., 1 Jan 2021, Beyond the Worst-Case Analysis of Algorithms. Cambridge University Press, p. 27-51 25 p.

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

    2 Scopus citations
  • 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

    6 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

    12 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.

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

    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

  • 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

  • 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

  • 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

    10 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

    2 Scopus citations
  • 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

  • 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

    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

    27 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.). Springer Cham, p. 75-77 ( Emergence, Complexity and Computation (ECC); vol. 20).

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

  • 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

    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

  • 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., Fox, M., Bouquet, P., Hullermeier, E., Dignum, V., Dignum, F. & van Harmelen, F. (eds.). IOS Press BV, 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

    2 Scopus citations
  • 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. Irlbeck, M. & Peled, D. (eds.). IOS Press, 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

  • 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, p. 309-327 19 p.

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

    14 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

  • Stateless stabilization bootstrap

    Dolev, S., Kahil, R. M. & Yagel, R., 1 Jan 2014, Stabilization, Safety and Security of Distributed Systems. Felber, P. & Garg, V. K. (eds.). Springer Verlag, p. 180-194 15 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

    2 Scopus citations

  • 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

    26 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

  • 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

    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

    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

  • 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

  • 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

    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

  • 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

    1 Scopus citations
  • 2008

    Discrete spacetime and its applications

    Bachmat, E. & Baik, J., 2008, Integrable Systems and Random Matrices: In Honor of Percy Deift. Kenneth, D., McLaughlin, T.-R., Tomei, C., Chau Li, L., Kriecherbauer, T. & Baik, J. (eds.). New York, Vol. 458. p. 347-360 (Contemporary Mathematics).

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

  • 2006

    Artificial Life: From Life-As-We-Know-It to Life-As-It-Could-Be

    Sipper, M. & Umiel, N., 2006, Life as We Know It. Seckbach, J. (ed.). Dordrecht: Springer Netherlands, p. 707-733 27 p. (Cellular Origin, Life in Extreme Habitats and Astrobiology; vol. 10).

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

  • Asynchronous forward-bounding for distributed constraints optimization

    Gershman, A., Meisels, A. & Zivan, R., 1 Jan 2006, ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy. Brewka, G., Coradeschi, S., Perini, A. & Traverso, P. (eds.). IOS Press BV, p. 103-107 5 p. (Frontiers in Artificial Intelligence and Applications; vol. 141).

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

    26 Scopus citations