Faculty of Exact Sciences

Filter
Conference contribution

Search results

  • 2000

    Application of multifocusing seismic processing to the GPR data analysis

    Berkovitch, A., Eppelbaum, L. & Basson, U., 2000, Proceedings of the symposium on the Application of geophysics to engineering and environmental problems, February 20-24, 2000, Arlington, VA: The Annual Meeting of the Environmental and Engineering Geophysical Society. Powers, M. H., Ibrahim, A-B. & Cramer, L. (eds.). Wheat Ridge, CO: Environmental and Engineering Geophysical Society (EEGS), p. 597-606 10 p. (Proceedings of SAGEEP; vol. 2000).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Approximating the independence number and the chromatic number in expected polynomial time

    Krivelevich, M. & Vu, V. H., 2000, Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Proceedings. Montanari, U., Rolim, J. D. P. & Welzl, E. (eds.). Springer Verlag, p. 13-24 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1853).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Approximating the maximum quadratic assignment problem

    Arkin, E. M. & Hassin, R., 2000, SODA '00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. Society for Industrial and Applied Mathematics (SIAM), p. 889-890 2 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Approximation algorithms for a capacitated network design problem

    Hassin, R., Ravi, R. & Salman, F. S., 2000, Approximation Algorithms for Combinatorial Optimization - 3rd International Workshop, APPROX 2000, Proceedings. Jansen, K. & Khuller, S. (eds.). Springer Verlag, p. 167-176 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1913).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Approximation algorithms for maximum linear arrangement

    Hassin, R. & Rubinstein, S., 2000, Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5–7, 2000 Proceedings. Halldórsson, M. M. (ed.). Springer Verlag, p. 231-236 6 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 proceedingConference contributionpeer-review

  • Approximations of one-sided Lipschitz differential inclusions with discontinuous right-hand sides

    Donchev, T. & Farkhi, E., 2000, Calculus of variations and differential equations. Chapman Hall/CRC, Boca Raton, FL, p. 101-118 18 p. (Research notes in mathematics; vol. 410).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Apprximate planning in large POMDPs via reusable trajectories

    Kearns, M., Mansour, Y. & Ng, A. Y., 2000, Advances in Neural Information Processing Systems 12 - Proceedings of the 1999 Conference, NIPS 1999. Neural information processing systems foundation, p. 1001-1007 7 p. (Advances in Neural Information Processing Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A tableau system for Gödel-Dummett Logic based on a hypersequent calculus

    Avron, A., 2000, Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2000, Proceedings. p. 98-111 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1847 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Automatic removal of array memory leaks in java

    Shaham, R., Kolodner, E. K. & Sagiv, M., 2000, Compiler Construction - 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Proceedings. Watt, D. A. (ed.). Springer Verlag, p. 50-66 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1781).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Better algorithms for unfair metrical task systems and applications

    Fiat, A. & Mendel, M., 2000, Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, STOC 2000. p. 725-734 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Checking cleanness in linked lists

    Dor, N., Rodeh, M. & Sagiv, M., 2000, Static Analysis - 7th International Symposium, SAS 2000, Proceedings. Palsberg, J. (ed.). Springer Verlag, p. 115-135 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1824 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Color image enhancement by a forward-and-backward adaptive beltrami flow

    Sochen, N. A., Gilboa, G. & Zeevi, Y. Y., 2000, Algebraic Frames for the Perception-Action Cycle - 2nd International Workshop, AFPAC 2000, Proceedings. Sommer, G. & Zeevi, Y. Y. (eds.). Springer Verlag, p. 319-328 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1888).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Compression of indoor video sequences using homography-based segmentation

    Park, T. J., Fleishman, S., Cohen-Or, D. & Lischinski, D., 2000, Proceedings - 8th Pacific Conference on Computer Graphics and Applications, PG 2000. Barsky, B. A., Shinagawa, Y. & Wang, W. (eds.). IEEE Computer Society, p. 290-299 and 450 883952. (Proceedings - Pacific Conference on Computer Graphics and Applications; vol. 2000-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Computing the penetration depth of two convex polytopes in 3d

    Agarwal, P. K., Guibas, L. J., Har-Peled, S., Rabinovitch, A. & Sharir, M., 2000, Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5–7, 2000 Proceedings. Halldórsson, M. M. (ed.). Springer Verlag, p. 328-338 11 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 proceedingConference contributionpeer-review

  • Development of the initial physico-archaeological model of the Nahal-Zehora site (Central Israel) using modern magnetic data interpretation.

    Eppelbaum, L., Itkis, S. E. & Gopher, A., 2000, Selected Papers presented at the Ann. SAGEEP Conference. p. 379-388

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Distributed synchrony of spiking neurons in a Hebbian cell assembly

    Horn, D., Levy, N., Meilijson, I. & Ruppin, E., 2000, Advances in Neural Information Processing Systems 12 - Proceedings of the 1999 Conference, NIPS 1999. Neural information processing systems foundation, p. 129-135 7 p. (Advances in Neural Information Processing Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Dynamic maintenance of wavelet-based histograms

    Matias, Y., Vitter, J. S. & Wang, M., 2000, Proceedings of the 26th International Conference on Very Large Data Bases, VLDB'00. p. 101-110 10 p. (Proceedings of the 26th International Conference on Very Large Data Bases, VLDB'00).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Exact topological density in the lattice Skyrme model

    Svetitsky, B. & Schramm, A. J., 1 Jun 2000, 4th International Conference on Strong and Electroweak Matter. Korthals-Altes, C. P. (ed.). World Scientific Publishing Co. Pte Ltd, p. 359-363 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Experimental and theoretical study of chirped pulse excitation

    Huppert, D., Segal, J. & Fainberg, B. D., 2000, International Conference on Ultrafast Phenomena, UP 2000. Optica Publishing Group (formerly OSA), p. 368-370 3 p. (Optics InfoBase Conference Papers).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Fair versus unrestricted bin packing

    Azar, Y., Boyar, J., Favrholdt, L. M., Larsen, K. S. & Nielsen, M. N., 2000, Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5–7, 2000 Proceedings. Halldórsson, M. M. (ed.). Springer Verlag, p. 200-213 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 proceedingConference contributionpeer-review

  • Gabor-space geodesic active contours

    Sagiv, C., Sochen, N. A. & Zeevi, Y. Y., 2000, Algebraic Frames for the Perception-Action Cycle - 2nd International Workshop, AFPAC 2000, Proceedings. Sommer, G. & Zeevi, Y. Y. (eds.). Springer Verlag, p. 309-318 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1888).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Maximizing job benefits on-line

    Awerbuch, B., Azar, Y. & Regev, O., 2000, Approximation Algorithms for Combinatorial Optimization - 3rd International Workshop, APPROX 2000, Proceedings. Jansen, K. & Khuller, S. (eds.). Springer Verlag, p. 42-50 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1913).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Multidimensional parallel spectral solver for Navier-Stokes equations

    Averbuch, A., Ioffe, L., Israeli, M. & Vozovoi, L., 2000, Parallel solution of partial differential equations . Bjørstad, P. & Luskin, M. (eds.). Springer New York, Vol. 120. p. 123-158 36 p. (IMA Vol. Math. Appl.).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • On-line scheduling with precedence constraints

    Azar, Y. & Epstein, L., 2000, Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5–7, 2000 Proceedings. Halldórsson, M. M. (ed.). Springer Verlag, p. 164-174 11 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 proceedingConference contributionpeer-review

  • On the effectiveness of GC in java

    Shaham, R., Kolodner, E. K. & Sagiv, M., 2000, Proceedings of the International Symposium on Memory Management. Association for Computing Machinery (ACM), p. 12-17 6 p. (Proceedings of the International Symposium on Memory Management).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Putting static analysis to work for verification: A case study

    Lev-Ami, T., Reps, T., Sagiv, M. & Wilhelm, R., 2000, Proceedings of the ACM SIGSOFT 2000 International Symposium on Software Testing and Analysis. Harrold, M. J. & Harrold, M. J. (eds.). p. 26-38 13 p. (Proceedings of the ACM SIGSOFT 2000 International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Resource augmentation in load balancing

    Azar, Y., Epstein, L. & Van Stee, R., 2000, Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5–7, 2000 Proceedings. Halldórsson, M. M. (ed.). Springer Verlag, p. 189-199 11 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 proceedingConference contributionpeer-review

  • Robust matchings and maximum clustering

    Hassin, R. & Rubinstein, S., 2000, Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5–7, 2000 Proceedings. Halldórsson, M. M. (ed.). Springer Verlag, p. 251-258 8 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 proceedingConference contributionpeer-review

  • Scalable secure storage when half the system is faulty

    Alon, N., Kaplan, H., Krivelevich, M., Malkhi, D. & Stern, J., 2000, Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Proceedings. Montanari, U., Rolim, J. D. P. & Welzl, E. (eds.). Springer Verlag, p. 576-587 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1853).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Shape analysis

    Wilhelm, R., Sagiv, M. & Reps, T., 2000, Compiler Construction - 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Proceedings. Watt, D. A. (ed.). Springer Verlag, p. 1-17 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1781).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Supernova rates in Abell galaxy clusters and implications for metallicity

    Gal-Yan, A. & Maoz, D., 2000, Cosmic Explosions. Tenth Astrophysics Conference. USA, p. 107 - 10

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • TVLA: A system for implementing static analyses

    Lev-Ami, T. & Sagiv, M., 2000, Static Analysis - 7th International Symposium, SAS 2000, Proceedings. Palsberg, J. (ed.). Springer Verlag, p. 280-302 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1824 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Virtual Occluders: An Efficient Intermediate PVS Representation

    Koltun, V., Chrysanthou, Y. & Cohen-Or, D., 2000, Rendering Techniques 2000: Proceedings of the Eurographics Workshop in Brno, Czech Republic, June 26–28, 2000. Peroche, B. & Rushmeier, H. (eds.). Springer Vienna, p. 59-70 (Eurographics).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Why so many temporal logics climb up the trees

    Rabinovich, A. & Maoz, S., 2000, Mathematical Foundations of Computer Science 2000 - 25th International Symposium, MFCS 2000 , Proceedings. Rovan, B. & Nielsen, M. (eds.). Springer Verlag, p. 629-639 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1893).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1999

    Active Views for Electronic Commerce

    Abiteboul, S., Amann, B., Cluet, S., Eyal, A., Mignet, L. & Milo, T., 1999, VLDB'99, Proceedings of 25th International Conference on Very Large Data Bases, September 7-10, 1999, Edinburgh, Scotland, UK. Atkinson, M. P., Orlowska, M. E., Valduriez, P., Zdonik, S. B. & Brodie, M. L. (eds.). Morgan Kaufmann, p. 138-149 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A decidable logic for describing linked data structures

    Benedikt, M., Reps, T. & Sagiv, M., 1999, Programming Languages and Systems - 8th European Symposium on Programming, ESOP 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings. Swierstra, S. D. (ed.). Springer Verlag, p. 2-19 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1576).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • A framework for decidable metrical logics

    Hirshfeld, Y. & Rabinovich, A., 1999, Automata, Languages and Programming - 26th International Colloquium, ICALP 1999, Proceedings. Springer Verlag, p. 422-432 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1644 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A fully dynamic algorithm for recognizing and representing proper interval graphs

    Hell, P., Shamir, R. & Sharan, R., 1999, Algorithms - ESA 1999 - 7th Annual European Symposium, Proceedings. Nešetřil, J. (ed.). Springer Verlag, p. 527-539 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1643).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Approximation algorithms for MAX 4-SAT and rounding procedures for semidefinite programs

    Halperin, E. & Zwick, U., 1999, Integer Programming and Combinatorial Optimization - 7th International IPCO Conference, 1999, Proceedings. Cornuejols, G., Burkard, R. E. & Woeginger, G. J. (eds.). Springer Verlag, p. 202-217 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1610).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A Survey of Out-of-Core Algorithms in Numerical Linear Algebra

    Toledo, S., 1999, External Memory Algorithms. Abello, J. M. & Vitter, J. S. (eds.). USA: American Mathematical Society, p. 161–179 19 p. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science; vol. 50).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Automatic camera placement for image-based modeling

    Fleishman, S., Cohen-Or, D. & Lischinski, D., 1999, Proceedings - 7th Pacific Conference on Computer Graphics and Applications, Pacific Graphics 1999. Institute of Electrical and Electronics Engineers Inc., p. 12-20 9 p. 803344. (Proceedings - 7th Pacific Conference on Computer Graphics and Applications, Pacific Graphics 1999).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Bisimulation equivalence is decidable for normed process algebra (extended abstract)

    Hirshfeld, Y. & Jerrum, M., 1999, Automata, Languages and Programming - 26th International Colloquium, ICALP 1999, Proceedings. Springer Verlag, p. 412-421 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1644 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cell identification codes for tracking mobile users

    Naor, Z. & Levy, H., 1999, Proceedings - IEEE INFOCOM'99: The Conference on Computer Communications - 18th Annual Joint Conference of the IEEE Computer and Communications Societies: The Future is Now. p. 28-35 8 p. 749249. (Proceedings - IEEE INFOCOM; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Clustering with spiking neurons

    Opher, I., Horn, D. & Quenet, B., 1999, IEE Conference Publication. 470 ed. IEE, p. 485-490 6 p. (IEE Conference Publication; vol. 1, no. 470).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Complexity classification of some edge modification problems

    Natanzon, A., Shamir, R. & Sharan, R., 1999, Graph-Theoretic Concepts in Computer Science - 25th International Workshop, WG 1999, Proceedings. Widmayer, P., Neyer, G. & Eidenbenz, S. (eds.). Springer Verlag, p. 65-77 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1665).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Constants in comonotone polynomial approximation - a survey

    Leviatan, L. & Shevchuk, I. A., 1999, New developments in approximation theory (Dortmund, 1998): 2nd International Dortmund Meeting (IDoMAT) ’98, Germany, February 23–27, 1998. Müller, M. W., Buhmann, M. D., Mache, D. & Felten, M. (eds.). Birkhäuser Basel, Vol. 132. p. 145-158 14 p. (Internat. Ser. Numer. Math.).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Deep compression for streaming texture intensive animations

    Cohen-Or, D., Mann, Y. & Fleishman, S., 1 Jul 1999, Proceedings of the 26th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1999. Association for Computing Machinery, Inc, p. 260-266 7 p. (Proceedings of the 26th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1999).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Directed sets and differences of convex compact sets

    Baier, R. & Farkhi, E., 1999, Systems modelling and optimization . Polis, M. P., Dontchev, A. L., Kall, P., Lasiecka, I. & Olbrot, A. W. (eds.). Chapman Hall/CRC, Boca Raton, FL, p. 135-143 9 p. (Research notes in mathematics; vol. 396).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Dynamic traitor tracing

    Fiat, A. & Tassa, T., 1999, Advances in Cryptology – CRYPTO 1999 - 19th Annual International Cryptology Conference, Proceedings. Wiener, M. (ed.). Springer Verlag, p. 354-371 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1666).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Independent sets in hypergraphs with applications to routing via fixed paths

    Alon, N., Arad, U. & Azar, Y., 1999, Randomization, Approximation, and Combinatorial Optimization: Algorithms and Techniques - 3rd International Workshop on Randomization and Approximation Techniques in Computer Science and 2nd International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, RANDOM-APPROX 1999, Proceedings. Rolim, J. D. P., Sinclair, A., Hochbaum, D. & Jansen, K. (eds.). Springer Verlag, p. 16-27 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1671).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review