1. 2019
  2. Adventures in monotone complexity and TFNP

    Göös, M., Kamath, P., Robere, R. & Sokolov, D., 1 Jan 2019, 10th Innovations in Theoretical Computer Science, ITCS 2019. Blum, A. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 38. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 124).

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

  3. Boolean spectral analysis in categorical reservoir modelling

    Ismagilov, N., Borovitskiy, V., Lifshits, M. & Platonova, M., 1 Jan 2019, 4th EAGE Conference on Petroleum Geostatistics. European Association of Geoscientists and Engineers, ThPG14

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

  4. Computability on Quasi-Polish Spaces

    Hoyrup, M., Rojas, C., Selivanov, V. & Stull, D. M., 1 Jan 2019, Descriptional Complexity of Formal Systems. p. 171-183 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11612).

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

  5. Lamperti-type theorems for random fields

    Davydov, Y. & Paulauskas, V., 1 Jan 2019, In: Theory of Probability and its Applications. 63, 3, p. 426-446 21 p.

    Research output: Contribution to journalArticlepeer-review

  6. Maxwell operator in a cylinder with coefficients that do not depend on the longitudinal variable

    Filonov, N., 1 Jan 2019, In: St. Petersburg Mathematical Journal. 30, 3, p. 545-572

    Research output: Contribution to journalArticlepeer-review

  7. On Classes of Regular Languages Related to Monotone WQOs

    Ogawa, M. & Selivanov, V., 1 Jan 2019, Descriptional Complexity of Formal Systems. p. 235-247 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11612).

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

  8. On Happy Colorings, Cuts, and Structural Parameterizations

    Bliznets, I. & Sagunov, D., 1 Jan 2019, Graph-Theoretic Concepts in Computer Science - 45th International Workshop, WG 2019, Revised Papers. Sau, I. & Thilikos, D. M. (eds.). Springer Nature, p. 148-161 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11789 LNCS).

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

  9. On ranks and cranks of partitions modulo 4 and 8

    Mortenson, E. T., 1 Jan 2019, In: Journal of Combinatorial Theory. Series A. 161, p. 51-80 30 p.

    Research output: Contribution to journalArticlepeer-review

  10. On the length of shortest strings accepted by two-way finite automata

    Dobronravov, E., Dobronravov, N. & Okhotin, A., 1 Jan 2019, Developments in Language Theory - 23rd International Conference, DLT 2019, Proceedings. Hofman, P. & Skrzypczak, M. (eds.). Springer Nature, p. 88-99 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11647 LNCS).

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

  11. On tseitin formulas, read-once branching programs and treewidth

    Glinskih, L. & Itsykson, D., 1 Jan 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. van Bevern, R. & Kucherov, G. (eds.). Springer Nature, p. 143-155 13 p. (Lecture Notes in Computer Science; vol. 11532).

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

ID: 45528956