Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

Jeferson Zapata

Vladimir Kolmogorov

Mikhail Karapetyants

Pouyan Shirzadian

Pavel Arkhipov

Asaf Lev-Ran

Martin Dvorak

Alexandr Kazda

Yekini Shehu

Paul Swoboda

Neel Shah

Ivan Sergeev

Michal Rolinek

Rustem Takhanov

Senanayak Karri

Nasim Samei



82 Publications

2026 | Published | Conference Paper | IST-REx-ID: 21140 | OA
Arkhipov, Pavel, and Vladimir Kolmogorov. “Faster Algorithms for Packing Forests in Graphs and Related Problems.” In Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, 4023–42. Society for Industrial and Applied Mathematics, 2026. https://doi.org/10.1137/1.9781611978971.148.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2026 | Submitted | Preprint | IST-REx-ID: 21400 | OA
Sergeev, Ivan, Martin Dvorak, Cameron Rampell, Mark Sandey, and Pietro Monticone. “A Blueprint for the Formalization of Seymour’s Matroid Decomposition Theorem.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2601.01255.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 18855 | OA
Harris, David G., and Vladimir Kolmogorov. “Parameter Estimation for Gibbs Distributions.” ACM Transactions on Algorithms. Association for Computing Machinery, 2025. https://doi.org/10.1145/3685676.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 10045 | OA
Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” Mathematical Programming. Springer Nature, 2025. https://doi.org/10.1007/s10107-024-02064-5.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21007 | OA | PlanS
Kolmogorov, Vladimir. “A Simpler and Parallelizable O(√log n)-Approximation Algorithm for SPARSEST CUT.” ACM Transactions on Algorithms. Association for Computing Machinery, 2025. https://doi.org/10.1145/3748723.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21143 | OA | PlanS
Harris, David G., Fotios Iliopoulos, and Vladimir Kolmogorov. “A New Notion of Commutativity for the Algorithmic Lovász Local Lemma.” Theory of Computing. University of Chicago Press, 2025. https://doi.org/10.4086/toc.2025.v021a005.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21144 | OA
Kolmogorov, Vladimir, Simone Naldi, and Jeferson Zapata. “Certifying Solutions of Degenerate Semidefinite Programs.” SIAM Journal on Optimization. Society for Industrial and Applied Mathematics, 2025. https://doi.org/10.1137/24m1664691.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Submitted | Preprint | IST-REx-ID: 21399 | OA
Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 10.48550/arXiv.2512.07087.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
Dvorak, Martin, Tristan Figueroa-Reid, Rida Hamadani, Byung-Hak Hwang, Evgenia Karunus, Vladimir Kolmogorov, Alexander Meiburg, et al. “Composition Direction of Seymour’s Theorem for Regular Matroids — Formally Verified.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2509.20539.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 17236 | OA
Kolmogorov, Vladimir. “A Simpler and Parallelizable O(√log n)-Approximation Algorithm for Sparsest Cut.” In Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, 403–14. Association for Computing Machinery, 2024. https://doi.org/10.1145/3626183.3659969.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Draft | Preprint | IST-REx-ID: 20071 | OA
Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally  Verified.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2409.08119.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14084 | OA
Harris, David G., and Vladimir Kolmogorov. “Parameter Estimation for Gibbs Distributions.” In 50th International Colloquium on Automata, Languages, and Programming, Vol. 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.72.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14448 | OA
Kolmogorov, Vladimir. “Solving Relaxations of MAP-MRF Problems: Combinatorial in-Face Frank-Wolfe Directions.” In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2023:11980–89. IEEE, 2023. https://doi.org/10.1109/CVPR52729.2023.01153.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13120 | OA
Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” In 14th International Conference on Interactive Theorem Proving, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ITP.2023.15.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10737 | OA
Takhanov, Rustem, and Vladimir Kolmogorov. “Combining Pattern-Based CRFs and Weighted Context-Free Grammars.” Intelligent Data Analysis. IOS Press, 2022. https://doi.org/10.3233/IDA-205623.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 9365
Ogbuisi, Ferdinard U., Yekini Shehu, and Jen Chih Yao. “Convergence Analysis of New Inertial Method for the Split Common Null Point Problem.” Optimization. Taylor and Francis, 2022. https://doi.org/10.1080/02331934.2021.1914035.
View | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 9469
Iyiola, Olaniyi S., Cyril D. Enyi, and Yekini Shehu. “Reflected Three-Operator Splitting Method for Monotone Inclusion Problem.” Optimization Methods and Software. Taylor and Francis, 2022. https://doi.org/10.1080/10556788.2021.1924715.
View | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 7577 | OA
Shehu, Yekini, and Olaniyi S. Iyiola. “Weak Convergence for Variational Inequalities with Inertial-Type Method.” Applicable Analysis. Taylor & Francis, 2022. https://doi.org/10.1080/00036811.2020.1736287.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10552 | OA
Kolmogorov, Vladimir, and Thomas Pock. “One-Sided Frank-Wolfe Algorithms for Saddle Problems.” In 38th International Conference on Machine Learning, 2021.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10072 | OA
Harris, David G., Fotis Iliopoulos, and Vladimir Kolmogorov. “A New Notion of Commutativity for the Algorithmic Lovász Local Lemma.” In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Vol. 207. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.31.
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

type<>research_data

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed