Статьи на конференциях
-
Annual ACM Symposium on Theory of Computing (STOC 2021)
-
Annual ACM Symposium on Theory of Computing (STOC 2021)
-
28th International Conference on Computer Science Logic (CSL 2020)
-
ACM-SIAM Symposium on Discrete Algorithms (SODA 2019)
-
33rd Computational Complexity Conference (CCC 2018)
-
34th Symposium on Theoretical Aspects of Computer Science (STACS 2017)
-
Theory and Applications of Satisfiability Testing (SAT 2017)
-
41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)
-
27th International Symposium on Algorithms and Computation (ISAAC 2016)
-
26th International Symposium on Algorithms and Computation (ISAAC 2015)
-
10th International Computer Science Symposium in Russia (CSR 2015)
Доклады
-
Proof Complexity, Banff, Canada, 2020
-
SODA 2019, San Diego, USA, 2019
-
Theory and Practice of Satisfiability Solving, Oaxaca, Mexico, 2018
-
Proof Complexity Workshop, FLOC, Oxford, UK, 2018
-
MFCS 2016, Krakow, Poland, 2016
-
ISAAC 2016, Sydney, Australia, 2016
-
ISAAC 2015, Nagoya, Japan, 2015
-
ELC Mini Workshop, Tokyo, Japan, 03.12.2015
-
Circuit Lower Bounds for Average-Case MACSR 2015, Irkutsk, Russia, 2015
-
Diophantine HierarchyFranco-Russian workshop on Algorithms, complexity and applications, Moscow, Russia, 2013
-
Circuit Lower Bounds for Average-Case MAEighth International Conference on Computability, Complexity and Randomness (CCR 2013), Moscow, Russia, 2013
-
Discrete Mathematics seminar, Saint Petersburg, 2011
Журнальные статьи
-
Foundations of Computational Mathematics, том 2022, страницы 1-97, 2022
-
Transformative Dialogues: Teaching and Learning Journal, том 14, страницы 1-10, 2022
-
ACM Transactions on Computational Logic, том 22(4), страницы 26:1-26:30, 2021
-
SIGACT News, том 52, страницы 46--70, 2021
-
Journal of Symbolic Logic, том 85, страницы 1-41, 2020
-
Journal of Computer and System Sciences, том 96, страницы 107-119, 2018
-
Journal of Mathematical Sciences, том 188, страницы 59-69, 2013
Препринты
-
ArXiv, abs/2011.04259, 2020
-
Electronic Colloquium on Computational Complexity (ECCC), 155, 2020
-
Electronic Colloquium on Computational Complexity (ECCC), 001, 2019
-
CoRR, abs/1801.04641, 2018
-
Electronic Colloquium on Computational Complexity (ECCC), 041, 2018
-
Electronic Colloquium on Computational Complexity (ECCC), 177, 2018
-
Electronic Colloquium on Computational Complexity (ECCC), 176, 2017
-
Electronic Colloquium on Computational Complexity (ECCC), 179, 2017
-
Electronic Colloquium on Computational Complexity (ECCC), 119, 2016
-
Electronic Colloquium on Computational Complexity (ECCC), 174, 2015
-
Electronic Colloquium on Computational Complexity (ECCC), 178, 2014
-
Electronic Colloquium on Computational Complexity (ECCC), 037, 2013