1. 2010
  2. Optimal acceptors and optimal proof systems

    Hirsch, E. A., 15 Jul 2010, Theory and Applications of Models of Computation - 7th Annual Conference, TAMC 2010, Proceedings. p. 28-39 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6108 LNCS).

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

  3. Boundary rigidity and filling volume minimality of metrics close to a flat one

    Burago, D. & Ivanov, S., 6 Jul 2010, In: Annals of Mathematics. 171, 2, p. 1183-1211 29 p.

    Research output: Contribution to journalArticlepeer-review

  4. Definability in the structure of words with the inclusion relation

    Kudinov, O. V., Selivanov, V. L. & Yartseva, L. V., 1 Jul 2010, In: Siberian Mathematical Journal. 51, 3, p. 456-462 7 p.

    Research output: Contribution to journalArticlepeer-review

  5. From the editors

    Borodin, A. N., Zaitsev, A. Y., Ibragimov, I. A. & Lifshits, M. A., 1 Jun 2010, In: Journal of Mathematical Sciences . 167, 4, p. 435 1 p.

    Research output: Contribution to journalEditorialpeer-review

  6. Definability of closure operations in the h-quasiorder of labeled forests

    Zhukov, A. V., Kudinov, O. V. & Selivanov, V. L., 1 May 2010, In: Algebra and Logic. 49, 2, p. 120-129 10 p.

    Research output: Contribution to journalArticlepeer-review

  7. On convex complexity measures

    Hrubeš, P., Jukna, S., Kulikov, A. & Pudlák, P., 28 Mar 2010, In: Theoretical Computer Science. 411, 16-18, p. 1842-1854 13 p.

    Research output: Contribution to journalArticlepeer-review

  8. Limit shapes of young diagrams. Two elementary approaches

    Petrov, F., 1 Mar 2010, In: Journal of Mathematical Sciences . 166, 1, p. 63-74 12 p.

    Research output: Contribution to journalArticlepeer-review

  9. New upper bounds on the Boolean circuit complexity of symmetric functions

    Demenkov, E., Kojevnikov, A., Kulikov, A. & Yaroslavtsev, G., 1 Mar 2010, In: Information Processing Letters. 110, 7, p. 264-267 4 p.

    Research output: Contribution to journalArticlepeer-review

  10. Computing alignment plots efficiently

    Krusche, P. & Tiskin, A., 1 Jan 2010, In: Advances in Parallel Computing. 19, p. 158-165 8 p.

    Research output: Contribution to journalArticlepeer-review

  11. Fast distance multiplication of unit-Monge matrices

    Tiskin, A., 1 Jan 2010, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. p. 1287-1296 10 p.

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

ID: 45528956