• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Laboratory of Theoretical Computer Science

Publications
Book
Special Issue on Computer Science Symposium in Russia

Edited by: Ф. В. Фомин, V. V. Podolskii.

Vol. 64. Iss. 1. Springer, 2020.

Article
Optimal monomial quadratization for ODE systems: extended abstract
In press

Bychkov A., Pogudin G.

ACM Communications in Computer Algebra. 2021. Vol. 54. No. 3. P. 119-123.

Book chapter
A Linear-Time Simulation of Deterministic d-Limited Automata

Rubtsov A. A.

In bk.: Developments in Language Theory 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings. Switzerland: Springer International Publishing, 2021. P. 342-354.

Working paper
A family of non-periodic tilings of the plane by right golden triangles

Vereshchagin N.

arxiv.org. math. Cornell University, 2020

About the Laboratory

The Laboratory  of Theoretical Computer Science  was founded in December 2015. Structurally, it is a part of Big Data and Information Retrieval School at the Faculty of Computer Science.

The main research directions of the laboratory are computational complexity, algorithmic information theory, algorithmic statistics, combinatorial optimization, algorithmic aspects of game theory.