Papers, talks and posters
Papers
34th Symposium on Theoretical Aspects of Computer Science (STACS 2017)
Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melburn, Australia, August 28-September 1, 2017, Proceedings
Electronic Colloquium on Computational Complexity (ECCC), volume 176, 2017
Electronic Colloquium on Computational Complexity (ECCC), volume 179, 2017
41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland
Electronic Colloquium on Computational Complexity (ECCC), volume 119, 2016
27th International Symposium on Algorithms and Computation (ISAAC 2016)
Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Algorithms and Computation - 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings
Electronic Colloquium on Computational Complexity (ECCC), volume 174, 2015
Electronic Colloquium on Computational Complexity (ECCC), volume 178, 2014
Electronic Colloquium on Computational Complexity (ECCC), volume 37, 2013
Journal of Mathematical Sciences, volume 188, pages 59-69
, 2013
Записки научных семминаров ПОМИ, volume 399, pages 109-127
, 2012
Talks
ISAAC 2016, Sydney, Australia, 2016
MFCS 2016, Krakow, Poland, 2016
ISAAC 2015, Nagoya, Japan, 2015
ELC Mini Workshop, Tokyo, Japan, 03.12.2015
CSR 2015, Irkutsk, Russia, 2015.
Eighth International Conference on Computability, Complexity and Randomness (CCR 2013), Moscow,
Russia, 2013.
Franco-Russian workshop on Algorithms, complexity and applications, Moscow, Russia, 2013.
Discrete Mathematics seminar, Saint Petersburg, 2011