1. 2004
  2. Absolute continuity of the spectrum of a Schrödinger operator with a potential which is periodic in some directions and decays in others

    Filonov, N. & Klopp, F., 1 Dec 2004, In: Documenta Mathematica. 9, 1, p. 107-121 15 p.

    Research output: Contribution to journalArticlepeer-review

  3. Algorithms for SAT based on search in hamming balls

    Dantsin, E., Hirsch, E. A. & Wolpert, A., 1 Dec 2004, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2996, p. 141-151 11 p.

    Research output: Contribution to journalArticlepeer-review

  4. Automated proofs of upper bounds on the running time of splitting algorithms

    Fedin, S. S. & Kulikov, A. S., 1 Dec 2004, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3162, p. 248-259 12 p.

    Research output: Contribution to journalArticlepeer-review

  5. Erratum: Absolute continuity of the spectrum of a Schrödinger operator with a potential which is periodic in some directions and decays in others (Documenta Mathematica (2004) 9 (107-121))

    Filonov, N. & Klopp, F., 1 Dec 2004, In: Documenta Mathematica. 9, 1, p. 135-136 2 p.

    Research output: Contribution to journalComment/debatepeer-review

  6. Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas

    Alekhnovich, M., Hirsch, E. A. & Itsykson, D., 1 Dec 2004, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3142, p. 84-96 13 p.

    Research output: Contribution to journalArticlepeer-review

  7. Dynamic BSP: Towards a flexible approach to parallel computing over the grid

    Martin, J. M. R. & Tiskin, A. V., 14 Oct 2004, In: Concurrent Systems Engineering Series. 62, p. 219-226 8 p.

    Research output: Contribution to journalArticlepeer-review

  8. A reducibility for the dot-depth hierarchy

    Selivanov, V. L. & Wagner, K. W., 1 Jan 2004, Mathematical Foundations of Computer Science 2004 (MFCS 2004). p. 783-793 11 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 proceedingConference contributionResearchpeer-review

  9. Boolean hierarchies of partitions over a reducible base

    Selivanov, V. L., 1 Jan 2004, In: Algebra and Logic. 43, 1, p. 44-61 18 p.

    Research output: Contribution to journalArticlepeer-review

  10. Communication lower bounds for distributed-memory matrix multiplication

    Irony, D., Toledo, S. & Tiskin, A., 1 Jan 2004, In: Journal of Parallel and Distributed Computing. 64, 9, p. 1017-1026 10 p.

    Research output: Contribution to journalArticlepeer-review

  11. Gaussian images of surfaces and ellipticity of surface area functionals

    Burago, D. & Ivanov, S., 1 Jan 2004, In: Geometric and Functional Analysis. 14, 3, p. 469-490 22 p.

    Research output: Contribution to journalArticlepeer-review

ID: 45528956