471 - 480 out of 1,005Page size: 10
  1. 2018

  2. Non-commutative localizations of additive categories and weight structures

    Bondarko, M. V. & Sosnilo, V. A., 1 Sep 2018, In: Journal of the Institute of Mathematics of Jussieu. 17, 4, p. 785-821 37 p.

    Research output: Contribution to journal › Article › peer-review

  3. Polynomial Computability of Fields of Algebraic Numbers

    Alaev, P. E. & Selivanov, V. L., 1 Jul 2018, In: Doklady Mathematics. 98, 1, p. 341-343 3 p.

    Research output: Contribution to journal › Article › peer-review

  4. Monotone circuit lower bounds from resolution

    Garg, A., Kamath, P., Göös, M. & Sokolov, D., 20 Jun 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 801-814 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

  5. Preface

    Kari, J. & Okhotin, A., 1 Jun 2018, In: International Journal of Foundations of Computer Science. 29, 4, p. 457-459 3 p.

    Research output: Contribution to journal › Editorial

  6. Reordering rule makes OBDD proof systems stronger

    Buss, S., Itsykson, D., Knop, A. & Sokolov, D., 1 Jun 2018, 33rd Computational Complexity Conference, CCC 2018. Servedio, R. A. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 161-1624 1464 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 102).

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

  7. Introduction to tropical series and wave dynamic on them

    Kalinin, N. & Shkolnikov, M., Jun 2018, In: Discrete and Continuous Dynamical Systems- Series A. 38, 6, p. 2827-2849 23 p.

    Research output: Contribution to journal › Article › peer-review

  8. Improving circuit size upper bounds using SAT-solvers

    Kulikov, A. S., 19 Apr 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers Inc., p. 305-308 4 p. (Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018; vol. 2018-January).

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

  9. Gate elimination: Circuit size lower bounds and #SAT upper bounds

    Golovnev, A., Kulikov, A. S., Smal, A. V. & Tamaki, S., 6 Apr 2018, In: Theoretical Computer Science. 719, p. 46-63 18 p.

    Research output: Contribution to journal › Article › peer-review

  10. Preface to the Special Issue on Computer Science in Russia 2016

    Kulikov, A. S. & Woeginger, G. J., 1 Apr 2018, In: Theory of Computing Systems. 62, 3, p. 465-466 2 p.

    Research output: Contribution to journal › Editorial › peer-review

  11. Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (Extended abstract)

    Selivanova, S. V. & Selivanov, V. L., 1 Jan 2018, Sailing Routes in the World of Computation. p. 376-385 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10936).

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

Previous 1...44 45 46 47 48 49 50 51 ...101 Next

ID: 45528956