Department of Computer Science

Filter
Chapter

Search results

  • 2004

    A secure workflow model based on distributed constrained role and task assignment for the internet

    Moodahi, I., Gudes, E., Lavee, O. & Meisels, A., 1 Jan 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lopez, J., Qing, S. & Okamoto, E. (eds.). Springer Verlag, p. 171-186 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3269).

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

    7 Scopus citations

  • A structure preserving database encryption scheme

    Elovici, Y., Waisenberg, R., Shmueli, E. & Gudes, E., 1 Jan 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jonker, W. & Petkovic, M. (eds.). Springer Verlag, p. 28-40 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3178).

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

    27 Scopus citations

  • Concurrent dynamic backtracking for distributed CSPs

    Zivan, R. & Meisels, A., 1 Jan 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wallace, M. (ed.). Springer Verlag, p. 782-787 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3258).

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

    9 Scopus citations

  • Hierarchical Threshold Secret Sharing

    Tassa, T., 1 Jan 2004, Theory of Cryptography: First Theory of Cryptography Conference, TCC 2004, Proceedings. Naor, M. (ed.). Springer Verlag, p. 473-490 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2951).

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

    Open Access
    51 Scopus citations

  • Optimal Preemptive Scheduling for General Target Functions

    Epstein, L. & Tassa, T., 1 Jan 2004, Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Proceedings. Fiala, J., Kratochvíl, J. & Koubek, V. C. (eds.). Springer Verlag, p. 562-573 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3153).

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

  • Power Assignment in Radio Networks with Two Power Levels

    Carmi, P. & Katz, M. J., 1 Jan 2004, Algorithm Theory - SWAT 2004: 9th Scandinavian Workshop on Algorithm Theory. Hagerup, T. & Katajainen, J. (eds.). Springer Verlag, p. 431-441 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3111).

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

    Open Access
    1 Scopus citations

  • Self-stabilizing microprocessor analyzing and overcoming soft-errors (Extended abstract)

    Dolev, S. & Haviv, Y. A., 1 Jan 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Müller-Schloer, C., Ungerer, T. & Bauer, B. (eds.). Springer Verlag, p. 31-46 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2981).

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

    8 Scopus citations
  • 2003

    Fuzzy CoCo: Balancing accuracy and interpretability of fuzzy models by means of coevolution

    Pena-Reyes, C.-A. & Sipper, M., 2003, Accuracy improvements in linguistic fuzzy modeling. Casillas, J., Cordón, O., Herrera, F. & Magdalena, L. (eds.). Springer-Verlag Berlin Heidelberg, p. 119-146 28 p. (Studies in Fuzziness and Soft Computing; vol. 129).

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

  • GeoQuorums: Implementing atomic memory in mobile ad hoc networks: (Extended abstract)

    Dolev, S., Gilbert, S., Lynch, N. A., Shvartsman, A. A. & Welch, J. L., 1 Jan 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Fich, F. E. (ed.). Springer Verlag, p. 306-320 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2848).

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

    36 Scopus citations

  • Greedy edge-disjoint paths in complete graphs

    Carmi, P., Erlebach, T. & Okamoto, Y., 1 Jan 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Bodlaender, H. L. (ed.). Springer Verlag, p. 143-155 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2880).

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

    8 Scopus citations

  • Maintaining dominance consistency

    Razgon, I. & Meisels, A., 1 Jan 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rossi, F. (ed.). Springer Verlag, p. 945-949 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2833).

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

    3 Scopus citations

  • Scheduling agents - Distributed Timetabling Problems

    Meisels, A. & Kaplansky, E., 1 Jan 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Burke, E. & De Causmaecker, P. (eds.). Springer Verlag, p. 166-177 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2740).

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

    12 Scopus citations

  • Self-stabilizing group communication in directed networks (extended abstract)

    Dolev, S. & Schiller, E., 1 Jan 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Huang, S.-T. & Herman, T. (eds.). Springer Verlag, p. 61-76 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2704).

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

    2 Scopus citations
  • 2002

    A symmetric approach to compilation and decompilation

    Sig Ager, M., Danvy, O. & Goldberg, M., 1 Jan 2002, The Essence of Computation: Complexity, Analysis, Transformation. Springer Verlag, p. 296-331 36 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2566 LNCS).

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

    2 Scopus citations

  • Combining evolutionary and fuzzy techniques in medical diagnosis

    Pena-Reyes, C. A. & Sipper, M., 2002, Computational Intelligence Processing in Medical Diagnosis. Schmitt, M., Teodorescu, H.-N., Jain, A. & Jain, S. (eds.). Heidelberg: Physica-Verlag, Vol. 96. p. 391-426 36 p.

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

  • Enforcing cardinality constraints in the ER model with integrity methods

    Shoval Stangel, P. & Balaban, M., 2002, Advanced Topics in Database Research, Volume 1. Siau , K. (ed.). IGI Global, p. 1-16 16 p.

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

  • Meta-circular abstract interpretation in prolog

    Codish, M. & Søndergaard, H., 1 Jan 2002, The Essence of Computation: Complexity, Analysis, Transformation. Springer Verlag, p. 109-134 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2566 LNCS).

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

    11 Scopus citations
  • 2000

    From Configurable Circuits to Bio-Inspired Systems

    Sipper, M., Sanchez, E., Haenni, J. O., Beuchat, J.-L., Stauffer, A. & Perez-Uribe, A., Feb 2000, Intelligent Systems and Interfaces. Teodorescu, H.-N., Mlynek, D., Kandel, A. & Zimmermann, H.-J. (eds.). Springer, Vol. 15. p. 91-128 38 p. (International Series in Intelligent Technologies; vol. 15).

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

  • 1999

    Elucidation of the bioactive site and potential applications of sodium channel modifiers from scorpion venom

    Gurevitz, M., Froy, O., Zilberberg, N., Shaanan, B., Adams, M., Anglister, J., Palhate, M., Chejanovsky, N. & Gordon, D., 1999, Progress in neuropharmacology and neurotoxicology of pesticides and drugs. Beadle, D. (ed.). Cambridge: The Royal Society of Chemistry, p. 67-80

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

  • Using lexical chains for text summarization

    Barzilay, R. & Elhadad, M., 1999, Advances in automatic text summarization. Mani, I. & Maybury, M. T. (eds.). The MIT Press, p. 111-121 11 p.

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

  • 1998

    An Introduction To Bio-Inspired Machines

    Sipper, M., Sanchez, E., Mange, D., Tomassini, M., Pérez-Uribe, A. & Stauffer, A., Mar 1998, Bio-Inspired Computing Machines: Toward Novel Computational Architectures. Tomassini , M. & Mange, D. (eds.). Lausanne, Switzerland: Presses Polytechniques et Universitaires Romandes, p. 1-20

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

  • An introduction to cellular automata

    Sipper, M., Mar 1998, Bio-Inspired Computing Machines: Toward Novel Computational Architectures. Tomassini , M. & Mange, D. (eds.). Lausanne, Switzerland: Presses Polytechniques et Universitaires Romandes, p. 49-58

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

  • L-hardware: Modeling and implementing cellular development using L-systems

    Sipper, M., 1998, Bio-Inspired Computing Machines: Toward Novel Computational Architectures. Tomassini , M. & Mange, D. (eds.). Lausanne, Switzerland: Presses Polytechniques et Universitaires Romandes, p. 269-287

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

  • Programming cellular machines by cellular programming

    Sipper, M., 1998, Bio-Inspired Computing Machines: Toward Novel Computational Architectures. Tomassini , M. & Mange, D. (eds.). Lausanne, Switzerland: Presses Polytechniques et Universitaires Romandes, p. 99-119

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

  • 1997

    Fast computation in hamming and hopfield networks

    Meilijson, I., Ruppin, E. & Sipper, M., Oct 1997, Algorithms and Architectures. Leondes, C. T. (ed.). Academic Press, Vol. 1. p. 123-154 32 p. (Neural network systems techniques and applications).

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

  • 1995

    Abstracting Unification: A Key Step in the Design of Logic Program Analyses

    Bruynooghe, M., Codish, M. & Mulkers, A., 1995, Computer Science Today: Recent Trends and Developments. Leeuwen, J. V. (ed.). Springer, p. 406-425 20 p. (Lecture Notes in Computer Science; vol. 1000).

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

  • 1990

    CONFORMAL FIELD-THEORIES AND CATEGORY THEORY

    BRUSTEIN, R., NEEMAN, Y. & STERNBERG, S., 1990, DIFFERENTIAL GEOMETRIC METHODS IN THEORETICAL PHYSICS. Vol. 245. p. 271-278 (NATO ADVANCED SCIENCE INSTITUTES SERIES, SERIES B, PHYSICS).

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

  • INCREASE OF HEAT-TRANSFER AND NEGATIVE EDDY VISCOSITY IN TURBULENT FLOWS INFLUENCED BY A MAGNETIC-FIELD

    HENOCH, C., HOFFERT, M., BARON, A., KLAIMAN, D., SUKORIANSKY, S. & BRANOVER, H., 1990, HEAT TRANSFER 1990, VOLS 1-7. p. 9-13

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

  • 1988

    On Polygonal Chain Approximation

    Melkman, A. & O'ROURKE, J., 1 Jan 1988, Machine Intelligence and Pattern Recognition. C ed. p. 87-95 9 p. (Machine Intelligence and Pattern Recognition; vol. 6, no. C).

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

    78 Scopus citations
  • 1977

    n-Widths and Optimal Interpolation of Time- and Band-Limited Functions

    Melkman, A. A., 1977, Optimal Estimation in Approximation Theory. Micchelli, C. A. & Rivlin, T. J. (eds.). Boston, MA: Springer US, p. 55-68 14 p.

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