Department of Computer Science

Filter
Conference contribution

Search results

  • 2003

    Interactive self-replicating, self-incrementing and self-decrementing loops

    Stauffer, A. & Sipper, M., 2003, Artificial Life VIII: Proceedings of the 8th International Conference on the Simulation and Synthesis of Living Systems. Standish, R. K., Bedau, M. A. & Abbass, H. A. (eds.). Cambridge, Massachusetts: The MIT Press, p. 53-56 4 p.

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

  • Policy and state based secure wrapper and its application to mobile agents

    Binun, A. & Gudes, E., 1 Jan 2003, Proceedings - 1st Latin American Web Congress: Empowering our Web, LA-WEB 2003. Institute of Electrical and Electronics Engineers, p. 14-26 13 p. 1250278. (Proceedings - 1st Latin American Web Congress: Empowering our Web, LA-WEB 2003).

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

  • Recommendation as a Stochastic Sequential Decision Problem

    Brafman, R. I., Heckerman, D. & Shani, G., 2003, Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy. Giunchiglia, E., Muscettola, N. & Nau, D. S. (eds.). AAAI press, p. 164-173 10 p.

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

    Open Access

  • Self-stabilizing autonomic recoverer for eventual Byzantine software

    Brukman, O., Dolev, S. & Kolodner, E. K., 1 Jan 2003, Proceedings - IEEE International Conference on Software- Science, Technology and Engineering, SwSTE 2003. Institute of Electrical and Electronics Engineers, p. 20-29 10 p. 1245312. (Proceedings - IEEE International Conference on Software- Science, Technology and Engineering, SwSTE 2003).

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

    17 Scopus citations

  • Separating the power of monotone span programs over different fields

    Beimel, A. & Weinreb, E., 1 Jan 2003, Proceedings - 44th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2003. Institute of Electrical and Electronics Engineers, p. 428-437 10 p. 1238216. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2003-January).

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

    Open Access
    1 Scopus citations
  • 2002

    Answering cooperative recursive queries in web federated databases

    Balaban, M., Berezansky, N. & Gudes, E., 1 Jan 2002, Next Generation Information Technologies and Systems - 5th International Workshop, NGITS 2002, Proceedings. Halevy, A. & Gal, A. (eds.). Springer Verlag, p. 14-28 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2382).

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

  • Combining norms to prove termination

    Genaim, S., Codish, M., Gallagher, J. & Lagoon, V., 1 Jan 2002, Verification, Model Checking, and Abstract Interpretation - Third International Workshop, VMCAI 2002, Revised Papers. Cortesi, A. (ed.). Springer Verlag, p. 126-138 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2294 LNCS).

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

    20 Scopus citations

  • Computing frequent graph patterns from semistructured data

    Vanetik, N., Gudes, E. & Shimony, S. E., 1 Dec 2002, Proceedings - 2002 IEEE International Conference on Data Mining, ICDM 2002. p. 458-465 8 p. (Proceedings - IEEE International Conference on Data Mining, ICDM).

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

    120 Scopus citations

  • CP-nets: Reasoning and Consistency Testing.

    Domshlak, C. & Brafman, R. I., Apr 2002, Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, Inc., p. 121-132 12 p.

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

  • Determining similarity of conformational polymorphs

    Enosh, A., Kedem, K. & Bernstein, J., 1 Jan 2002, Algorithms - ESA 2002 - 10th Annual European Symposium, Proceedings. Möhring, R. & Raman, R. (eds.). Springer Verlag, p. 436-448 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2461).

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

  • Discovering associations in XML data

    Meisels, A., Orlov, M. & Maor, T., 1 Jan 2002, WISE 2002 - Proceedings of the 3rd International Conference on Web Information Systems Engineering Workshops. Huang, B., Ling, T. W., Wen, J.-R., Gupta, S. K., Ng, W. K. & Mohania, M. (eds.). Institute of Electrical and Electronics Engineers, p. 178-183 6 p. 1177861. (WISE 2002 - Proceedings of the 3rd International Conference on Web Information Systems Engineering Workshops).

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

    1 Scopus citations

  • Efficient Learning Equilibrium

    Brafman, R. I. & Tennenholtz, M., 1 Jan 2002, NIPS 2002: Proceedings of the 15th International Conference on Neural Information Processing Systems. Becker, S., Thrun, S. & Obermayer, K. (eds.). MIT Press Journals, p. 1603-1610 8 p. (NIPS 2002: Proceedings of the 15th International Conference on Neural Information Processing Systems).

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

    10 Scopus citations

  • Emergence of self-replicating loops in an interactive, hardware-implemented game-of-life environment

    Stauffer, A. & Sipper, M., 26 Sep 2002, Cellular Automata - 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Proceedings. Bandini, S., Chopard, B. & Tomassini, M. (eds.). Springer Verlag, p. 123-131 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2493 LNCS).

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

    1 Scopus citations

  • Random walk for self-stabilitzing group communication in ad hoc networks

    Dolev, S., Schiller, E. & Welch, J. L., Jun 2002, Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, PODC 2002, Monterey, California, USA, July 21-24, 2002. Ricciardi, A. (ed.). ACM, p. 259-259 1 p.

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

  • Remote conferencing with multimedia objects

    Gudes, E., Domshlak, C. & Orlov, N., 1 Jan 2002, XML-Based Data Management and Multimedia Engineering - EDBT 2002 Workshops XMLDM, MDDE, and YRWS, Revised Papers. Chaudhri, A. B., Unland, R., Djeraba, C. & Lindner, W. (eds.). Springer Verlag, p. 526-543 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2490 LNCS).

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

    2 Scopus citations

  • Reuse of results in termination analysis of typed logic programs

    Bruynooghe, M., Codish, M., Genaim, S. & Vanhoof, W., 1 Jan 2002, Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings. Hermenegildo, M. V. & Puebla, G. (eds.). Springer Verlag, p. 477-492 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2477).

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

    9 Scopus citations

  • Semantics and Knowledge Acquisition in Bayesian Knowledge-Bases

    Jr., E. S., Santos, E. S. & Shimony, E. S., May 2002, Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2002). Haller, S. M. & Simmons, G. (eds.). AAAI press, p. 524-528 5 p.

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

    Open Access

  • Structure and Complexity in Planning with Unary Operators

    Domshlak, C. & Brafman, R. I., 1 Jan 2002, Proceedings of the 6th International Conference on Artificial Intelligence Planning Systems, AIPS 2002. AAAI press, p. 34-43 10 p. (Proceedings of the 6th International Conference on Artificial Intelligence Planning Systems, AIPS 2002).

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

    11 Scopus citations

  • TSP with neighborhoods of Varying size

    de Berg, M., Gudmundsson, J., Katz, M. J., Levcopoulos, C., Overmars, M. H. & van der Stappen, A. F., 1 Jan 2002, Algorithms - ESA 2002 - 10th Annual European Symposium, Proceedings. Möhring, R. & Raman, R. (eds.). Springer Verlag, p. 187-199 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2461).

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

    Open Access
    7 Scopus citations

  • View-Dependent Rendering for Polygonal Datasets.

    El-Sana, J., Floriani, L. D., Puppo, E. & Shamir, A., 2002, The European Association for Computer Graphics 23rd Annual Conference. Eurographics Association

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

  • Visibility preserving terrain simplification - An experimental study

    Ben-Moshe, B., Katz, M., Mitchell, J. S. B. & Nir, Y., 1 Jan 2002, Proceedings of the 18th Annual Symposium on Computational Geometry (SCG'02) . p. 303-311 9 p.

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

  • Visibility Queries among Horizontal Segments - A Dynamic Data Structure

    Bespamyatnikh, S., Katz, M., Nielsen, F. & Segal, M., 13 Dec 2002, Sony Computer Science Laboratories, Inc..

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

  • 2001

    Assigning resources to constrained activities

    Meisels, A. & Ovadia, E., 1 Jan 2001, Practice and Theory of Automated Timetabling III - Third International Conference, PATAT 2000, Selected Papers. Burke, E. & Erben, W. (eds.). Springer Verlag, p. 213-223 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2079 LNCS).

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

  • Buses for anonymous message delivery

    Beimel, A. & Dolev, S., 2001, FUN with Algorithms conference. p. 1-13 13 p.

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

  • Communication adaptive self-stabilizing group membership service (extended abstract)

    Dolev, S. & Schiller, E., 1 Jan 2001, Self-Stabilizing Systems - 5th InternationalWorkshop, WSS 2001 Lisbon, Portugal, October 1-2, 2001 Proceedings. Herman, T. & Datta, A. K. (eds.). Springer Verlag, p. 82-97 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2194).

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

    3 Scopus citations

  • Dijkstra’s self-stabilizing algorithm in unsupportive environments

    Dolev, S. & Herman, T., 1 Jan 2001, Self-Stabilizing Systems - 5th InternationalWorkshop, WSS 2001 Lisbon, Portugal, October 1-2, 2001 Proceedings. Herman, T. & Datta, A. K. (eds.). Springer Verlag, p. 67-81 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2194).

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

    12 Scopus citations

  • Easy stabilization with an agent

    Beauquier, J., Hérault, T. & Schiller, E., 1 Jan 2001, Self-Stabilizing Systems - 5th InternationalWorkshop, WSS 2001 Lisbon, Portugal, October 1-2, 2001 Proceedings. Herman, T. & Datta, A. K. (eds.). Springer Verlag, p. 35-50 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2194).

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

    11 Scopus citations

  • Higher-precision groundness analysis

    Codish, M., Genaim, S., Søndergaard, H. & Stuckey, P. J., 1 Jan 2001, Logic Programming - 17th International Conference, ICLP 2001, Proceedings. Codognet, P. (ed.). Springer Verlag, p. 135-149 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2237).

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

    3 Scopus citations

  • Inferring termination conditions for logic programs using backwards analysis

    Genaim, S. & Codish, M., 1 Jan 2001, Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Proceedings. Nieuwenhuis, R. & Voronkov, A. (eds.). Springer Verlag, p. 685-694 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2250).

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

    21 Scopus citations

  • Information-theoretic Private Information Retrieval: A unified construction (extended abstract)

    Beimel, A. & Ishai, Y., 1 Jan 2001, Automata, Languages and Programming - 28th International Colloquium, ICALP 2001, Proceedings. Orejas, F., Spirakis, P. G. & van Leeuwen, J. (eds.). Springer Verlag, p. 912-926 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2076 LNCS).

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

    79 Scopus citations

  • Ordering circumstantials for multi-document summarization

    Elhadad, M., Netzer, Y., Barzilay, R. & McKeown, K., 2001, In Proceedings of BISFAI'01, June 2001.

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

    Open Access

  • Planarity of the 2-level cactus model

    Cornelsen, S., Dinitz, Y. & Wagner, D., 1 Jan 2001, Graph-Theoretic Concepts in Computer Science - 27th International Workshop, WG 2001, Proceedings. Brandstadt, A. & Le, V. B. (eds.). Springer Verlag, p. 91-102 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2204).

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

  • Pos(T ): Analyzing dependencies in typed logic programs

    Bruynooghe, M., Vanhoof, W. & Codish, M., 1 Jan 2001, Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Revised Papers. Bjørner, D., Broy, M. & Zamulin, Z. (eds.). Springer Verlag, p. 406-420 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2244 LNCS).

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

    7 Scopus citations

  • Remote View-Dependent Rendering

    El-Sana, J., 1 Jan 2001, Proceedings of the 7th EG Workshop on Virtual Environments and 5th Immersive Projection Technology Workshop, EGVE-IPT 2001. Froehlich, B., Deisinger, J. & Bullinger, H.-J. (eds.). The Eurographics Association, (Proceedings of the 7th EG Workshop on Virtual Environments and 5th Immersive Projection Technology Workshop, EGVE-IPT 2001).

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

  • Safety assurance via on-line monitoring

    Dolev, S. & Stomp, F., 1 Jan 2001, Proceedings - 5th International Symposium on Autonomous Decentralized Systems, ISADS 2001. Institute of Electrical and Electronics Engineers, p. 101-108 8 p. 917400. (Proceedings - 5th International Symposium on Autonomous Decentralized Systems, ISADS 2001).

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

    3 Scopus citations

  • The Client-Server 2-Spanner Problem with Applications to Network Design

    Elkin, M. & Peleg, D., 2001, SIROCCO 8, Proceedings of the 8th International Colloquium on Structural Information and Communication Complexity, Vall de Núria, Girona-Barcelona, Catalonia, Spain, 27-29 June, 2001. Comellas, F., Fàbrega, J. & Fraigniaud, P. (eds.). Carleton Scientific, Vol. 8. p. 117-132 16 p. (Proceedings in Informatics).

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

  • The def-inite approach to dependency analysis

    Genaim, S. & Codish, M., 1 Jan 2001, Programming Languages and Systems - 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Proceedings. Sands, D. (ed.). Springer Verlag, p. 417-431 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2028).

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

    Open Access
    3 Scopus citations

  • UCP-Networks: A Directed Graphical Representation of Conditional Utilities

    Boutilier, C., Bacchus, F. & Brafman, R. I., 2001, UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, University of Washington, Seattle, Washington, USA, August 2-5, 2001. Breese, J. S. & Koller, D. (eds.). Morgan Kaufmann Publishers, Inc., p. 56-64 9 p.

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

  • Wrappers - a mechanism to support state-based authorization in web applications

    Olivier, M. S. & Gudes, E., 1 Jan 2001, Data and Applications Security: Developments and Directions - IFIP TC11 / WG11.3 Fourteenth Annual Working Conference on Database Security. Springer New York LLC, p. 149-160 12 p. (IFIP Advances in Information and Communication Technology; vol. 73).

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

    1 Scopus citations
  • 2000

    A Self-Replicating Universal Turing Machine: From von Neumann's Dream to New Embryonic Circuits

    Restrepo, H. F., Mange, D. & Sipper, M., 2000, Artificial Life VII: Proceedings of the Seventh International Conference on Artificial Life. Bedau, M. A., McCaskill, J. S., Packard, N. H. & Rasmussen, S. (eds.). Cambridge, Massachusetts: The MIT Press, Vol. 7. p. 3-12

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

  • Engineering, emergent engineering, and artificial life: Unsurprise, unsurprising surprise, and surprising surprise

    Ronald, E. M. A. & Sipper, M., 2000, Artificial Life VII: Proceedings of the Seventh International Conference on Artificial Life. Bedau, M. A., McCaskill, J. S., Packard, N. H. & Rasmussen, S. (eds.). Cambridge, Massachusetts: The MIT Press, Vol. 7. p. 523-528

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

  • Incremental maintenance of the 5-edge-connectivity classes of a graph

    Dinitz, Y. & Nossenson, R., 1 Jan 2000, Algorithm Theory - SWAT 2000 - 7th Scandinavian Workshop on Algorithm Theory, 2000, Proceedings. Halldórsson, M. M. (ed.). Springer Verlag, p. 272-285 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1851).

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

    Open Access
    5 Scopus citations

  • INLG 2000 - Proceedings of the First International Natural Language Generation Conference, June 12-16, 2000, Mitzpe Ramon, Israel

    Elhadad, M., 2000, Proceedings of the First International Natural Language Generation Conference, June 12-16, 2000, Mitzpe Ramon, Israel. Association for Computational Linguistics (ACL)

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Integrating a large-scale, reusable lexicon with a natural language generator

    Jing, H., Netzer, Y. D., Elhadad, M. & McKeown, K. R., 1 Jan 2000, INLG 2000 - Proceedings of the 1st International Conference on Natural Language Generation. Elhadad, M. (ed.). Association for Computational Linguistics (ACL), p. 209-216 8 p. (INLG 2000 - Proceedings of the 1st International Conference on Natural Language Generation).

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

    5 Scopus citations

  • Maintenance of a piercing set for intervals with applications

    Katz, M. J., Nielsen, F. & Segal, M., 1 Jan 2000, Algorithms and Computation - 11th International Conference, ISAAC 2000, Proceedings. Lee, D. T., Teng, S.-H. & Teng, S.-H. (eds.). Springer Verlag, p. 552-563 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1969).

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

    2 Scopus citations

  • Meta-queries - computation and evaluation

    Ben-Eliyahu-Zohary, R. & Gudes, E., 1 Jan 2000, Data Warehousing and Knowledge Discovery - 2nd International Conference, DaWaK 2000, Proceedings. Kambayashi, Y., Mohania, M. & Tjoa, A. M. (eds.). Springer Verlag, p. 265-275 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1874).

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

    1 Scopus citations

  • Reducing the servers computation in private information retrieval: PIR with preprocessing

    Beimel, A., Ishai, Y. & Malkin, T., 1 Jan 2000, Advances in Cryptology - CRYPTO 2000 - 20th Annual International Cryptology Conference, Proceedings. Bellare, M. (ed.). Springer Verlag, p. 55-73 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1880).

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

    Open Access
    75 Scopus citations

  • Romero's odyssey to Santa Fe: From simulation to real life

    Teuscher, C., Sanchez, E. & Sipper, M., 2000, Robotic and Manufacturing Systems: Recent Results in Research, Development and Applications. Jamshidi, M., Maciejewski, A. A., Lumia, R. & Nahavandi, S. (eds.). Albuquerque, NM , Vol. 10. p. 262-267 6 p. (TSI Press Series).

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

  • Smooth and adaptive forward erasure correcting

    Dolev, S., Fitingof, B., Melkman, A. & Tubman, O., 1 Jan 2000, 21st IEEE Convention of the Electrical and Electronic Engineers in Israel, Proceedings. Institute of Electrical and Electronics Engineers, p. 483-486 4 p. 924482. (21st IEEE Convention of the Electrical and Electronic Engineers in Israel, Proceedings).

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

  • Solving employee timetabling problems by generalized local search

    Schaerf, A. & Meisels, A., 1 Jan 2000, AI*IA 99: Advances in Artificial Intelligence - 6th Congress of Italian Association for Artificial Intelligence, Selected Papers. Lamma, E. & Mello, P. (eds.). Springer Verlag, p. 380-389 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1792).

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

    17 Scopus citations