1. 1999
  2. Задачи Санкт-Петербургской олимпиады школьников по математике, 1999 год

    Берлов, С. Л., Иванов, С. В., Карпов, Д. В., Кохась, К. П. & Храбров, А. И., 1999, Санкт-Петербург: Издательство Санкт-Петербургского университета. 78 p.

    Research output: Book/Report/AnthologyTeaching materials

  3. 1998
  4. Interactive protocols on the reals

    Ivanov, S. & De Rougemont, M., 1 Dec 1998, STACS 98 - 15th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. p. 499-510 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1373 LNCS).

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

  5. Two new upper bounds for SAT

    Hirsch, E. A., 1 Dec 1998, p. 521-530. 10 p.

    Research output: Contribution to conferencePaperpeer-review

  6. The bulk-synchronous parallel random access machine

    Tiskin, A., 6 Apr 1998, In: Theoretical Computer Science. 196, 1-2, p. 109-130 22 p.

    Research output: Contribution to journalArticlepeer-review

  7. Fine hierarchy of regular ω-languages

    Selivanov, V., 30 Jan 1998, In: Theoretical Computer Science. 191, 1-2, p. 37-59 23 p.

    Research output: Contribution to journalArticlepeer-review

  8. Bulk-synchronous parallel multiplication of Boolean matrices

    Tiskin, A., 1 Jan 1998, Automata, Languages and Programming (ICALP 1998). p. 494-506 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1443).

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

  9. Local search algorithms for SAT: Worst-case analysis

    Hirsch, E. A., 1 Jan 1998, Algorithm Theory — SWAT 1998 - 6th Scandinavian Workshop on Algorithm Theory, Proceedings. Arnborg, S. & Ivansson, L. (eds.). Springer Nature, p. 246-254 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1432).

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

  10. Mirror configurations of points and lines and algebraic surfaces of degree four

    Podkorytov, S. S., 1 Jan 1998, In: Journal of Mathematical Sciences . 91, 6, p. 3526-3531 6 p.

    Research output: Contribution to journalArticlepeer-review

  11. On asymptotic isoperimetric constant of tori

    Burago, D. & Ivanov, S., 1 Jan 1998, In: Geometric and Functional Analysis. 8, 5, p. 783-787 5 p.

    Research output: Contribution to journalArticlepeer-review

  12. 1997
  13. Shadowing in Structurally Stable Flows

    Pilyugin, S. Y., 1 Nov 1997, In: Journal of Differential Equations. 140, 2, p. 238-265 28 p.

    Research output: Contribution to journalArticlepeer-review

ID: 45528956